- Tytuł:
-
Zasada wyłączonego środka a logika intuicjonistyczna
The Law of Excluded Middle and Intuitionistic Logic - Autorzy:
- Czernecka, Bożena
- Powiązania:
- https://bibliotekanauki.pl/articles/968101.pdf
- Data publikacji:
- 2000-09-01
- Wydawca:
- Uniwersytet Warszawski. Wydział Filozofii
- Opis:
- The paper deals with the question of the validity of the Law of Excluded Middle in intuitionistic logic. Because of a different interpretation of the logical connectives, intuitionists reject the intuitionistic (constructive) counterpart of the Law of Excluded Middle. In the intuitionistic approach the meta-linguistic Law of Excluded Middle is not valid, which results in a replacement of a classical definition of truth with an <> definition, which sees the essence of truth in the relation of a sentence to the result of a certain cognitive efforts. A true sentence is a sentence which satisfies the criterion of truth, i.e. is (constructively) provable. Thus, a dispute between classical logic and intuitionistic logic can be described as a dispute between the <> and the <>.
- Źródło:
-
Filozofia Nauki; 2000, 8, 3-4; 45-53
1230-6894
2657-5868 - Pojawia się w:
- Filozofia Nauki
- Dostawca treści:
- Biblioteka Nauki
Artykuł