Wyniki wyszukiwania - Biblioteka Nauki

Nowa wersja platformy, zawierająca wyłącznie zasoby pełnotekstowe, jest już dostępna.
Przejdź na https://bibliotekanauki.pl

Ograniczanie wyników

1 Kwartalnik Filozoficzny

1 2023

1 Wojciechowski E.

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: classical (indefinite) negation

Sortuj według:

Ogranicz wyniki do:

Negacja określona i logika intuicjonistyczna

100%

Wojciechowski E.

nr 1-4

301-311

The philosophy of logic distinguishes between the ontological research attitude and the epistemic research attitude. On the other hand, there is the distinction between two types of negation: the classical / external / indefinite (~) and the non-classical / internal / definite (¬). The paper presents a propositional calculus with two types of negation (~,¬), which includes both the classical and the intuitionistic propositional calculus. We associate classical negation (~) with the ontological research attitude and definite negation (¬) with the epistemic one. The last and the richest construction introduced here is thus accompanied by the ontological-epistemic research attitude.