Претпоставка затвореног света

Претпоставка затвореног света се у формалним система логике користи за представљање знања. Она је претпоставка да је изјава која је истинита такође позната као истинита. Стога оно што се тренутно не зна да је тачно, лажно је. Исти назив се такође односи на логичку формализацију ове претпоставке од стране Рејмонда Рајтера.^[1] Супротно од претпоставке затвореног света је претпоставка отвореног света, у којој се наводи да недостатак знања не имплицира лаж. Одлуке за и против ових претпоставки одређују разумевање стварне семантике концептуалног израза са истим нотацијама концепата. Успешна формализација семантике природног језика обично не може избећи експлицитно откриће да ли је имплицитна логичка позадина заснована на претпоставци отвореног или затвореног света.

Негација као неуспех^[2]^[3] повезана је са претпоставком затвореног света, јер се своди на веровање да је лажан сваки предикат за који се не може доказати да је истинит.

Референце

^ Реитер, Раyмонд . "Он Цлосед Wорлд Дата Басес". Ин Галлаире, Хервé; Минкер, Јацк. Логиц анд Дата Басес. Пленум Пресс. . 1978. стр. 119—140. ИСБН 9780306400605. Недостаје или је празан параметар |титле= (помоћ).
^ Бíлковá, M.; Цолацито, А. (2020). „Прооф Тхеорy фор Поситиве Логиц wитх Wеак Негатион”. Студиа Логица. 108 (4): 649—686. С2ЦИД 195886568. арXив:1907.05411 . дои:10.1007/с11225-019-09869-y.
^ Wагнер, Г. (2003). „Wеб Рулес Неед Тwо Киндс оф Негатион” (ПДФ). Ур.: Брy, Ф.; Хензе, Н.; Малусзyнски, Ј. Принциплес анд Працтице оф Семантиц Wеб Реасонинг. ППСW3 2003. Лецтуре Нотес ин Цомпутер Сциенце. 2901. Лецтуре Нотес ин Цомпутер Сциенце: Спрингер. стр. 33—50. ИСБН 978-3-540-24572-8. дои:10.1007/978-3-540-24572-8_3. Архивирано из оригинала (ПДФ) 05. 07. 2022. г. Приступљено 09. 09. 2024.

Спољашње везе

[1] Реитер, Раyмонд . "Он Цлосед Wорлд Дата Басес". Ин Галлаире, Хервé; Минкер, Јацк. Логиц анд Дата Басес. Пленум Пресс. . 1978. стр. 119—140. ИСБН 9780306400605. Недостаје или је празан параметар |титле= (помоћ).

[2] Бíлковá, M.; Цолацито, А. (2020). „Прооф Тхеорy фор Поситиве Логиц wитх Wеак Негатион”. Студиа Логица. 108 (4): 649—686. С2ЦИД 195886568. арXив:1907.05411 . дои:10.1007/с11225-019-09869-y.

[3] Wагнер, Г. (2003). „Wеб Рулес Неед Тwо Киндс оф Негатион” (ПДФ). Ур.: Брy, Ф.; Хензе, Н.; Малусзyнски, Ј. Принциплес анд Працтице оф Семантиц Wеб Реасонинг. ППСW3 2003. Лецтуре Нотес ин Цомпутер Сциенце. 2901. Лецтуре Нотес ин Цомпутер Сциенце: Спрингер. стр. 33—50. ИСБН 978-3-540-24572-8. дои:10.1007/978-3-540-24572-8_3. Архивирано из оригинала (ПДФ) 05. 07. 2022. г. Приступљено 09. 09. 2024.

[1]

[2]

[3]