10 BÜCHER, DIE MIT «INTUICJONISTYCZNY» IM ZUSAMMENHANG STEHEN
Entdecke den Gebrauch von
intuicjonistyczny in der folgenden bibliographischen Auswahl. Bücher, die mit
intuicjonistyczny im Zusammenhang stehen und kurze Auszüge derselben, um seinen Gebrauch in der Literatur kontextbezogen darzustellen.
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 ...