10 POLISH BOOKS RELATING TO «INTUICJONISTYCZNY»
Discover the use of
intuicjonistyczny in the following bibliographical selection. Books relating to
intuicjonistyczny and brief extracts from same to provide context of its use in Polish literature.
1
Metamatematyka a epistemologia - Strona 88
Większość rozważań o LOG można również zastosować do systemów nieklasycznych, np. do logiki intuicjonistycznej. Uwaga 3 pokazuje, że logika intuicjonistyczna jest zbiorem konsekwencji pustego zbioru zdań, przy intuicjonistycznym ...
George S. Everly, Jan Woleński, Robert Rosenfeld, 1993
2
Filozoficzna szkoła lwowsko-warszawska - Strona 130
Konkluzja Łukasiewicza jest następująca: „W pierwszym Entretien de Zurich w 1938 r. wyraziłem pogląd, że intuicjonistyczny rachunek zdań jest tylko częścią klasycznego rachunku zdań i dlatego jest istotnie słabszy niż ten ostatni. Dziś widzę ...
3
Pisma z etyki i teorii wartości - Strona 299
System etyki Rossa charakteryzuje się tym, że jest intuicjonistyczny i deontyczny. Poznaniem intuicyjnym nazywa się zwykle poznanie ujmujące swój przedmiot bezpośrednio i w całości, jakby jednym rzutem oka, w przeciwieństwie do ...
Tadeusz Czeżowski, Paweł J. Smoczyński, 1989
4
Matematyka. Filozofia. Sztuka - Strona 14
13 Podobny pogląd wyraził A. Heyting w odniesieniu do programu intuicjonistycznego w matematyce, sformułowanego przez L.J. Brouwera. Program intuicjonistyczny, oparty na krytycznej akceptacji Kantowskiej teorii matematyki, zgodnie z ...
5
Mała encyklopedia logiki - Strona 75
Intuicjonizm Brouwera ma wielkie tradycje. Z jednej strony nawiązuje on do intuicjonizmu Kanta, który matematykę opierał na apriorycznych formach naoczności czasu i przestrzeni oraz pojmował ją jako naukę o możliwych strukturach ...
Witold Marciszewski, 1988
6
Wiadomości matematyczne - Tomy 32-33 - Strona 171
Cecylia Rauszer zbadała logiki intuicjonistyczne, wzbogacone o funktor dualny do negacji intuicjonistycznej i o funktor eksplikacji, dualny do intuicjonistycznej implikacji. Logikę tę nazwała logiką Heytinga-Brouwera (logika H-B). Logika ...
Polskie Towarzystwo Matematyczne, 1996
7
Z zagadnień filozofii współczesnej - Strona 18
s Wratislaviensis No 1721 □ Filozofia XXVI Wrocław 1995 Marek Łagosz Intuicjonizm wobec niektórych zasad teorii mnogości Celem tego artykułu jest wskazanie pewnych zasad i podstawowych twierdzeń klasycznej teorii ...
Krzysztof Szlachcic, 1995
8
Z badań nad filozoficznymi podstawami nauk - Strona 116
Natomiast wybitny holenderski logik Arend Heyting działający w latach trzydziestych słusznie twierdził, że żaden z kierunków, w tym także intuicjonizm nie może pretendować do stworzenia „jednolitej i prawdziwej matematyki", tj. do ...
9
O intuicjonizmie etycznym: obowiązek i wartość w systemie ...
Oskarża się również intuicjonistów 0 lekceważenie rzeczywistych rozbieżności i konfliktów postaw moralnych, o ahistoryczne podejście do zjawisk moralności. Ten rejestr zarzutów można jednak kierować tylko przeciwko pewnym wersjom ...
Stanisław Soldenhoff, 1969
10
Filozofia matematyki: antologia tekstów klasycznych - Strona 271
Z faktu, że pojęcie to ma jasne i dobrze zdefiniowane znaczenie zarówno dla formalisty, jak i dla intuicjonisty, ten pierwszy wyprowadza prawo do utworzenia „zbioru wszystkich przeliczalnie nieskończonych liczb porządkowych", którego moc ...