Чексиз логика

Чексиз логика - бул чексиз узун билдирүүлөргө жана/же чексиз узун далилдерге мүмкүндүк берген логика .  Концепция 1930-жылдары Зермело тарабынан киргизилген. 

Кээ бир чексиз логика биринчи даражадагы стандарттык логикадан башка касиеттерге ээ болушу мүмкүн. Атап айтканда, чексиз логика компакт же толук болбой калышы мүмкүн. Чектүү логикада эквиваленттүү болгон компакттуулук жана толуктук түшүнүктөрү кээде чексиз логикада андай эмес. Ошондуктан чексиз логика үчүн күчтүү компакттуулук жана күчтүү толуктук түшүнүктөрү аныкталат. Бул макала Гильберт тибиндеги чексиз логикага кайрылат, анткени алар кеңири изилденген жана чектүү логиканын эң жөнөкөй кеңейтүүлөрүн түзөт. Бирок булар иштелип чыккан же изилденген жалгыз чексиз логика эмес.

Ω-логика деп аталган белгилүү бир чексиз логиканын толук экендигин эске алуу , континуум гипотезасына жарык чачууга убада берет. 

 Белгилөө жана тандоо аксиомасы жөнүндө сөз 
Чексиз узун формулалары бар тил берилип жаткандыктан, мындай формулаларды ачык жазуу мүмкүн эмес. Бул көйгөйдү чечүү үчүн, катаал айтканда, расмий тилге кирбеген бир катар нотациялык ыңгайлуулуктар колдонулат.  чексиз узун сөз айкашын көрсөтүү үчүн колдонулат. Түшүнүксүз болсо, ырааттуулуктун узундугу кийин белгиленет. Бул белги түшүнүксүз же түшүнүксүз болуп калган жерде, мисалы, суффикс  Кардиналдуулуктун формулаларынын жыйындысы боюнча чексиз дизъюнкцияны көрсөтүү үчүн колдонулат  . Ушул эле белгилөө, мисалы, кванторлорго да колдонулушу мүмкүн  . Бул кванторлордун чексиз ырааттуулугун көрсөтүү үчүн арналган: ар бири үчүн квантор  кайда  .

Суффикстердин бардык колдонулушу жана  формалдуу чексиз тилдердин бир бөлүгү эмес.

Тандоо аксиомасы болжолдонот (чексиз логиканы талкуулоодо көп учурда жасалгандай), анткени бул акылга сыярлык бөлүштүрүүчү мыйзамдарга ээ болуу үчүн зарыл.

 Гильберт тибиндеги чексиз логикалардын аныктамасы 
Биринчи даражадагы чексиз тил L α, β, α регулярдуу, β = 0 же ω ≤ β ≤ α, акыркы логика сыяктуу эле символдордун жыйындысына ээ жана акыркы логиканын формулаларын түзүү үчүн бардык эрежелерди колдоно алат кээ бир кошумчалар:

 Формулалардын жыйындысы берилген  анда  жана  формулалар болуп саналат. (Ар бир учурда ырааттуулуктун узундугу бар  .)
 Өзгөрмөлөрдүн жыйындысы берилген  жана формула  анда  жана  формулалар болуп саналат. (Ар бир учурда кванторлордун ырааттуулугу узундукка ээ  .)

Эркин жана чектелген өзгөрмөлөр түшүнүктөрү чексиз формулаларга бирдей колдонулат. Чектүү логикада болгондой эле, бардык өзгөрмөлөрү байланган формула сүйлөм деп аталат.

Чексиз тилдеги Т теориясы  логикада сүйлөмдөрдүн жыйындысы болуп саналат. Т теориясынын чексиз логикасында далил төмөнкү шарттарга баш ийген билдирүүлөрдүн (мүмкүн чексиз) ырааттуулугу болуп саналат: Ар бир пикир же логикалык аксиома, T элементи болуп саналат, же тыянак эрежеси аркылуу мурунку билдирүүлөрдөн чыгарылат. Мурдагыдай эле, акыркы логикада корутундунун бардык эрежелери кошумча менен бирге колдонулушу мүмкүн:

 Билдирүүлөрдүн жыйындысы берилген  далилде, андан кийин билдирүүдө мурда болгон  тыянак чыгарууга болот. 

Чексиз логикага мүнөздүү логикалык аксиома схемалары төмөндө келтирилген. Глобалдык схема өзгөрмөлөрү:  жана  ушундай  .


 Ар бирине , 
 Чангдын бөлүштүрүүчү мыйзамдары (ар бир  ): , кайда  же , жана 
 үчүн , , кайда  жакшы заказ болуп саналат 

Акыркы эки аксиома схемасы тандоо аксиомасын талап кылат, анткени кээ бир топтомдор жакшы иреттелиши керек. Акыркы аксиома схемасы керексиз, анткени Чангдын бөлүштүрүүчү мыйзамдары аны көрсөтүп турат , бирок ал логиканын табигый алсыздыктарына жол берүүнүн табигый жолу катары киргизилген.

 Толук, компакттуулук жана күчтүү толуктук 
Теория - бул сүйлөмдөрдүн ар кандай жыйындысы. Моделдердеги сөздөрдүн чындыгы рекурсия менен аныкталат жана экөө тең аныкталган акыркы логика үчүн аныктама менен макул болот. Берилген Т теориясына сүйлөм Т теориясынын бардык моделдеринде туура болсо, Т теориясы үчүн жарактуу деп айтылат.

Тилдеги логика  Ар бир моделде жарактуу ар бир S сүйлөмү үчүн S далили бар болсо, толук болот. Эгерде кандайдыр бир T теориясы үчүн Т-да жарактуу ар бир S сүйлөмү үчүн Т - дан Sдын далили бар болсо, анда ал толугу менен толук болот. Чексиз логика толук эмес, толук болушу мүмкүн.

Кардинал  ар бир теория Т үчүн алсыз компакттуу  көп камтыган  көптөгөн формулалар, эгерде ар бир С  караганда кардиналдуулуктун Т  модели бар, анда Т модели бар. Кардинал  ар бир теория үчүн T in болгондо күчтүү компакттуу , өлчөмү боюнча чектөөсүз, эгерде ар бир С  караганда кардиналдуулуктун Т  модели бар, анда Т модели бар.

 Чексиз логикада туюнтулган түшүнүктөр 
Көптүктөр теориясынын тилинде төмөнкү жобо негизди билдирет:



Фонддун аксиомасынан айырмаланып, бул билдирүү эч кандай стандарттуу эмес чечмелөөгө жол бербейт. Негизделгендик түшүнүгүн жеке билдирүүдө чексиз көп сандык аныктоочуларга жол берген логикада гана туюндуруу мүмкүн. Натыйжада, көптөгөн теориялар, анын ичинде Пиано арифметикасы, акыркы логикада туура аксиоматташтырууга мүмкүн эмес, ылайыктуу чексиз логикада болушу мүмкүн. Башка мисалдарга архимеддик эмес талаалардын жана бурулуусу жок топтордун теориялары кирет.  [ <span title="This claim needs references to better sources. (January 2021)">жакшы<span typeof="mw:Entity">&nbsp;</span>булак<span typeof="mw:Entity">&nbsp;</span>зарыл</span> ] Бул үч теорияны чексиз сандык аныктоону колдонбостон аныктоого болот; чексиз түйүндөр  гана керек.

Эсептелүүчү тилдер үчүн чындык предикаттары аныкталат  . 

Эки чексиз логика толуктугу менен өзгөчөлөнүп турат. Бул логика  жана  . Биринчиси стандарттуу биринчи даражадагы логика, ал эми экинчиси эсептелүүчү өлчөмдөгү билдирүүлөргө гана уруксат берген чексиз логика.

логикасы  да катуу толук, компакттуу жана катуу компакттуу.

логикасы  компакттуу боло албайт, бирок ал толук (жогоруда берилген аксиомалардын астында). Мындан тышкары, ал Крейг интерполяция касиетинин вариантын канааттандырат.

Эгерде логика  катуу толук (жогоруда берилген аксиомалардын астында) анда  абдан компакттуу (анткени бул логикадагы далилдер колдоно албайт  же берилген аксиомалардын көбү).

 Шилтемелер 









 Булактар 



Категория:Pages with unreviewed translations