niesprzeczność
Korpus Języka Polskiego PWN
Autentyczne przykłady użycia w piśmie i mowie zgromadzone w Korpusie
- ... na
oświecenie' okazują się uzasadnione teoretycznie.
'Logika paradoksu' odrzuca prawo niesprzeczności i dlatego dotyczy jej
następująca krytyka Willarda van Orman Quine'a... - ... iż tak zwane 'nieortodoksyjne logiki' (ang. deviant logic)
podważające zasadę niesprzeczności są związane z chęcią uporania się
z paradoksami, które występują... - ... czy użyteczny, "nie jest ani konieczny, ani wystarczający dowód jego niesprzeczności" (por. Outlines of a Formalist Philosophy of Mathematics, ). Na poparcie...
- ... nowiny", jedna polityczna filozofia chrześcijańska, chrześcijańska estetyka. Czy ze względnej niesprzeczności doktryny religijnej musi wynikać niesprzeczność dających się z nią pogodzić...
- ... nauki, stawiają niezbędnym w praktyce systemom klasyfikacyjnym tylko dwa wymagania: niesprzeczności (ale nie identyczności) z filogenezą i wygody w użyciu.
Pierwsze... - ... monografii D. Hilberta i P. Bernaysa Grundlagen der Mathematik). Problem niesprzeczności sprowadza się do wykazania za pomocą metod finitystycznych, że matematyka...
- ... wynikającą z braku jakichkolwiek wątpliwości, co do słuszności wybranej drogi, niesprzeczności wyznawanych ideałów oraz podporządkowania ich celowi ostatecznemu i konsekwencji w...
- ... ze zdaniami klasy % , to - jak pokazał G. Kreisel - rozwiązanie problemu niesprzeczności daje też rozwiązanie problemu zachowawczości.
Hilbert zaproponował konkretny program, zwany... - ... na swoje dwie podstawowe cechy. Po pierwsze, nie uznaje zasady
niesprzeczności logiki formalnej, uważając sądy paradoksowe za prawdziwe;
po drugie, traktuje... - ... twierdzenie, zwane dziś II twierdzeniem Gödla, a głoszące, że dowód niesprzeczności teorii sformalizowanej zawierającej arytmetykę liczb naturalnych nie może być przeprowadzony...
- ... zdania realnego na dowód finitystyczny. Oba te zagadnienia, tzn. problem niesprzeczności i problem zachowawczości, są zresztą wzajemnie powiązane: jeśli bowiem utożsamić...
- ... Narzędziem rozumu klasycznego jest dwuwartościowa logika Arystotelesa,
uznająca zasady tożsamości, niesprzeczności i tertium non datur. Rozum
klasyczny uważa za prawdę zgodność... - ... zwyczajnego
postrzegania świata. Przyczyną takiego stanowiska filozofii zachodniej jest
zasada niesprzeczności logiki klasycznej, według której przeciwieństwa (a więc
także przeciwieństwo sacrum... - ... zupełny układ aksjomatów.
Drugi etap programu Hilberta polegał na wykazaniu niesprzeczności i zachowawczości matematyki (infinitystycznej). Należało to zrobić oczywiście za pomocą... - ... np. z P13 wynika negacja P8. Głębszy wynik w badaniu niesprzeczności wymienionych postulatów ujęty został w znanym twierdzeniu Chernoffa. Chernoff udowodnił...
- ... o nich obu, zwykle jednak akcentuje się jednostronnie tylko kwestię niesprzeczności (por. na przykład tom I monografii D. Hilberta i P...
- ... ulega wątpliwości, iż podważał on adekwatność
do rzeczywistości logicznej zasady niesprzeczności, uważanej za regulatywną
zasadę myślenia, a takie stanowisko jest punktem... - ... poprawnych wyników. Można wyróżnić dwa aspekty tego zagadnienia: 1) problem niesprzeczności i 2) problem zachowawczości. W pewnych swych publikacjach Hilbert mówił...
- ... A = nie-A), co oznacza, iż nie jest zachowana zasada niesprzeczności,
wyznaczająca granice myślenia logiki klasycznej. Z punktu widzenia zdroworozsądkowej logiki... - ... prawami - nie może już wrócić do postrzegania
zgodnego z zasadą niesprzeczności logiki klasycznej. Z tego powodu także
po 'oświeceniu' pojawia się...