Scribd Logo
Upload

Welcome to Scribd!

  • О невыполнимости теоремы о неподвижной точке в Аристотелевской логике

    Uploaded by

    X.Y. Newberry
    16 views6 pages
    В 1950х годах П. Стросон предложил логику пресуппозиций. В этой системе считается, что утверждения с пустым субъектом не являются ни истинными, ни ложными. Стросон рассматривал только простые утверждения с двумя предикатными буквами. Но идея может быть расширена до произвольных одноместных и даже многоместных утверждений посредством истинно-релевантной логики, разработанной Ричардом Диазом. Можно показать, что самореферентная гёделева неразрешимая формула имеет пустой субъект, и поэтому в рамках логики пресуппозиций не является ни истинной, ни ложной.

    Copyright

    © Attribution Non-Commercial ShareAlike (BY-NC-SA)

    Available Formats

    PDF, TXT or read online from Scribd

    Did you find this document useful?

    Is this content inappropriate?

    Report this Document
    В 1950х годах П. Стросон предложил логику пресуппозиций. В этой системе считается, что утверждения с пустым субъектом не являются ни истинными, ни ложными. Стросон рассматривал только простые утверждения с двумя предикатными буквами. Но идея может быть расширена до произвольных одноместных и даже многоместных утверждений посредством истинно-релевантной логики, разработанной Ричардом Диазом. Можно показать, что самореферентная гёделева неразрешимая формула имеет пустой субъект, и поэтому в рамках логики пресуппозиций не является ни истинной, ни ложной.

    Copyright:

    Attribution Non-Commercial ShareAlike (BY-NC-SA)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    16 views6 pages

    О невыполнимости теоремы о неподвижной точке в Аристотелевской логике

    Uploaded by

    X.Y. Newberry
    В 1950х годах П. Стросон предложил логику пресуппозиций. В этой системе считается, что утверждения с пустым субъектом не являются ни истинными, ни ложными. Стросон рассматривал только простые утверждения с двумя предикатными буквами. Но идея может быть расширена до произвольных одноместных и даже многоместных утверждений посредством истинно-релевантной логики, разработанной Ричардом Диазом. Можно показать, что самореферентная гёделева неразрешимая формула имеет пустой субъект, и поэтому в рамках логики пресуппозиций не является ни истинной, ни ложной.

    Copyright:

    Attribution Non-Commercial ShareAlike (BY-NC-SA)
    Download as PDF, TXT or read online from Scribd
    Flag for inappropriate content
    Download as pdf or txt
    of 6

    2015-10-29

    .
    X.Y. Newberry

    . ,
    , ,

    (, ; .
    ). ,
    . .
    ? -,

    .
    . ,
    ,
    .
    4
    :
    A:
    E:
    I:
    O:

    F G
    F G
    F, G
    F, G

    .
    , A E ,
    , .
    . 4
    , 1:

    A:
    E:
    I:
    O:

    ~(x)(Fx ~ Gx)
    ~(x)(Fx Gx)
    (x)(Fx Gx)
    (x)(Fx ~Gx)

    1
    , F , ~(x)Fx. ,
    , A E .
    , [ 1] .
    .. (Strawson, 1952, . 163179)
    ,
    A:
    E:
    I:
    O:

    ~(x) (Fx ~Gx) (x)Fx (x)~Gx


    ~(x) (Fx Gx) (x)Fx (x)Gx
    (x) (Fx Gx) ~(x)Fx ~(x)Gx
    (x) (Fx Gx) ~(x)Fx ~(x)Gx

    2
    . (Strawson, 1952, . 173)
    ,
    . 2
    . (Strawson, 1952, . 173)
    (x)Fx .
    , ~(x)Fx , A . (x)Fx

    , . [
    ] (Strawson, . 174).
    (x)Fx (x)
    ~Gx. A , , ,
    (x)Fx (x) ~Gx . ,

    .
    .
    .
    -
    (Diaz, 1981) .

    (P ~P) Q
    ~(P ~P) Q
    ~((P ~P) ~Q)

    - (Diaz, 1981, p.
    67.)
    (x)(Fx Gx)
    (x)(~Fx Gx)
    ~(x) (Fx ~Gx)

    , ~(x)Fx ( .)
    - , , ,

    .
    . -
    ,
    . (Newberry, 2014)
    *****
    ,
    , .
    Diag(y, z) : y
    ,
    , z , y
    y.

    Prf(x, z) , x
    ,
    x.

    ~(x)(z)(Prf(x, z) Diag(y, z))

    (U)

    y. k
    U. k y U.

    ~(x)(z)(Prf(x, z) Diag(k, z))

    (G)

    Diag(k, z)
    G. G
    '<G>' . , , G

    ~(x)Prf(x, <G>)

    (H)

    ~(x)(z) (Prf(x, z) Diag(k, z)) ~(x) Prf(x, <G>)

    (J)

    (J)
    . z ~(x)
    Prf(x, z) ,
    ~(x) Prf(x,<>). , G.
    . G:

    ~(x)(Prf(x, 1) Diag(k, 1))

    ~(x)(Prf(x, 2) Diag(k, 2))

    ~(x)(Prf(x, 3) Diag(k, 3))

    ...

    n ~(x)(Prf (x,n)), ~(x)Diag(k, n).


    ~(x)(Prf(x, n) Diag(k, n))

    (x)(Prf(x, n) ~ Diag(k, n))

    (x)(Diag(k, n) ~Prf(x, n))

    , n = <G>,
    (x)(Prf(x, n) ~Diag(k,n))

    , ~(n = <G>),

    (x)(Diag(k, n) ~Prf(x, n))

    . n = <G>:

    ~(x)(Prf(x, <G>) Diag(k, <G>))

    (K)

    , K
    . , (x)Prf(x, <G>).
    K. , ~(x)Prf(x, <G>), K
    ! J .
    , , G
    , G .


    Diaz, M.R. (1981) Topics in the Logic of Relevance, Munich, Germany:
    Philosophia Verlag.
    Newberry, X.Y. (2014) Generalization of the Truth-relevant Semantics to the
    Predicate Calculus, http://arxiv.org/ftp/arxiv/papers/1509/1509.06837.pdf
    Strawson, P.F. (1952) Introduction to Logical Theory, London, Methuen

    Copyright X.Y. Newberry 2015



    .

    You might also like