Інтуїтивна логіка (інколи конструктивна логіка) — система символічної логіки, яка відрізняється від класичної логіки, замінюючи традиційне поняття істини...
41 KB (3,169 words) - 05:04, 29 May 2024
Некласична логіка (альтернативна логіка) — це назва формальних систем, що суттєво відрізняються від класичної логіки, такої, як логіка числення висловлень...
14 KB (958 words) - 09:22, 20 January 2024
Семантика Кріпке (category Логіка)
Кріпке є поширеною семантикою для некласичних логік, таких як інтуїціоністська логіка і модальна логіка. Її створив Саул Кріпке в кінці 1950-х — початку...
3 KB (311 words) - 10:02, 29 June 2021
Інтуїціонізм (category Математична логіка)
розумова переконливість. В інтуїціоністській математиці відкидається підхід теорії множин і ряд міркувань класичної логіки. Абстракція потенційної здійсненності...
10 KB (523 words) - 18:09, 22 May 2023
хоча й абстракні, тобто існують незалежно від розуму математика. Інтуїціоністська логіка, напротивагу, наводиться як приклад міркувань, на які може спертися...
3 KB (155 words) - 11:06, 16 May 2023
Тарського 13672 Тарскі — астероїд головного поясу Портал «Математика» Львівсько-варшавська школа Інтуїціоністська логіка (розділ «Подібна семантика Тарскі»)...
1 KB (60 words) - 17:34, 2 August 2023
математичної логіки: Теорія обчислюваності (рекурсії) Теорія моделей Теорія доведення Теорія множин. Математична логіка по суті є формальною логікою, що використовує...
15 KB (811 words) - 17:46, 2 July 2024
Типізоване лямбда-числення (category Логіка в інформатиці)
тип — це формула певної системи числення, як-от (інтуїціоністської) пропозиційної логіки або логіки першого порядку. Типізоване Лямбда-числення з простими...
1 KB (74 words) - 10:30, 4 October 2022
Закон Пірса (category Математична логіка)
тавтологією класичної логіки, однак водночас здебільшого не виконується у некласичних логіках, зокрема в інтуїціоністській логіці. Водночас додавання закону...
3 KB (181 words) - 04:11, 18 June 2022
Відповідність Каррі — Говарда (category Логіка в інформатиці)
(тобто, доведення в інтуїціоністській логіці) схожа на програму, яка обчислює висновок, а саме висловлювання конструктивної логіки за своєю структурою...
5 KB (341 words) - 21:18, 28 December 2022
Заперечення (category Логіка)
над судженням. Синонім: логічне «НЕ». Як у класичній, так і в інтуїціоністській логіці «подвійне заперечення» ¬¬A — наслідок судження A, тобто має місце...
17 KB (1,262 words) - 22:03, 22 March 2022
вона могла б стати частиною математичної логіки. Гейтінг дав перший офіційний розвиток інтуїціоністській логіці для того, щоб кодифікувати спосіб Брауэра...
9 KB (659 words) - 15:03, 25 May 2022
Позити́вна ло́гіка — частина числення висловлювань, у певному розумінні незалежна від наявності заперечення. Позитивну логіку побудували Давид Гільберт...
2 KB (114 words) - 10:50, 29 November 2019
Криза основ математики (category Математична логіка)
Ці розбіжності сприяли створенню «некласичних логік». Найважливішою з них є інтуїціоністська логіка. Криза все ще не пройдена, але затихла. Більшість...
12 KB (751 words) - 15:56, 12 February 2024
Закон виключеного третього (category Класична логіка)
логічної системи перетворює її на двозначну логіку. В багатозначних системах логіки (див. Багатозначна логіка) цей закон місця не має. Багато сучасних логічних...
13 KB (1,050 words) - 08:26, 3 April 2023
напрямі логіку математики можна розглядати як частину філософії математики, у складі якої використовується. Є кілька версій інтуїціоністської теорії типів...
3 KB (149 words) - 12:21, 21 September 2022
Принцип вибуху (category Класична логіка)
«з протиріччя, що завгодно (слідує)») — правило класичної логіки, інтуїціоністської логіки та подібних логічних систем для яких, будь-яке твердження можна...
10 KB (744 words) - 18:43, 24 March 2022
кількісних змінних є логіка предикативного функтора Квайна. Хоча виразність комбінаторної логіки зазвичай перевищує за цим параметром логіку першого порядку...
59 KB (4,821 words) - 10:34, 28 June 2024
Теорія можливостей (category Нечітка логіка)
багатозначної логіки, таких як інтуїціоністська логіка, ніж класична двозначна логіка. Зауважте, що на відміну від ймовірності, нечітка логіка композиційна...
12 KB (1,086 words) - 22:51, 13 August 2024
як самої теорії множин, так і альтернативних теорій та логік, наприклад, інтуїціоністську логіку. Елементарний топос — це декартово замкнута повна категорія...
8 KB (689 words) - 15:04, 18 September 2023
Числення висловів мінімальне (category Системи формальної логіки)
Чи́слення ви́словів мініма́льне (мінімальна логіка) — числення висловів, що відрізняється від інтуїціоністського тим, що в нім відсутня аксіома ¬ a ⊃ ( a...
2 KB (148 words) - 03:47, 2 October 2023
Нарис з філософії (section Логіка)
порядку Логіка вищого порядку Некласична логіка Описова логіка Цифрова логіка Нечітка логіка Інтуїціоністська логіка Багатозначна логіка Модальна логіка Алетична...
19 KB (961 words) - 08:02, 17 May 2023
Шрамко Ярослав Владиславович (category Логіки)
«Релевантні варіанти інтуїціоністської логіки» на здобуття наукового ступеня кандидата філософських наук (спеціальність — логіка) в МДУ ім. М. В. Ломоносова...
13 KB (809 words) - 06:48, 18 July 2023
американський логік і математик, праці якого заклали основи теоретичної інформатики. Автор ряду широко відомих монографій з математичної логіки, основах математики...
4 KB (181 words) - 07:46, 4 July 2024
Закон подвійного заперечення (category Математична логіка)
будь-якого з них в аксіоматику одразу приводить до класичної логіки. Водночас існують логіки в яких всі три закони нееквівалентні. Закон подвійного заперечення...
5 KB (399 words) - 04:55, 18 June 2022
Теорія типів (category Математична логіка)
парадоксів формальної логіки. Однією з найвідоміших теорій типів є типізоване лямбда-числення Алонзо Черча та інтуїціоністська теорія типів Пера Мартіна-Льофа[en]...
37 KB (2,875 words) - 08:52, 2 August 2024
Теоретико-доказова семантика (category Філософська логіка)
Теоретико-доказова семантика — це підхід до семантики логіки, яка намагається знайти сенс пропозицій і логічних зв'язок не в термінах інтерпретацій, як...
5 KB (311 words) - 19:46, 29 May 2024
\lambda } -числення і комбінаторної логіки. Відповідність Каррі — Ховарда надає ізоморфізм між інтуїціоністською логікою, просто типізованим лямбда-численням...
13 KB (1,171 words) - 08:27, 10 January 2024
Теорія доведення (category Математична логіка)
Теорія доведення (доказів)— розділ математичної логіки, який представляє докази у вигляді формальних математичних об'єктів, здійснюючи їх аналіз за допомогою...
23 KB (1,641 words) - 16:45, 6 July 2024
формалізованої логіки для математики. Його учень Аренд Гейтінг постулював інтуїціоністську логіку, відмінну від класичної арістотелівської логіки; ця логіка не містить...
120 KB (8,021 words) - 16:31, 29 August 2024
многовиді або на спектрі кільця. Вони також виникають у теорії моделей інтуїціоністської логіки: будь-яка повна алгебра Гейтінга є алгеброю відкритих множин якогось...
27 KB (1,976 words) - 17:12, 21 June 2024