Negacja określona i logika intuicjonistyczna

• Autorzy: Wojciechowski Eugeniusz

Warianty tytułu

EN

Definite negation and intuitionistic logic

• Języki publikacji: PL

Abstrakty

EN

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.

Słowa kluczowe

EN

intuitionistic logic; ontological reasearch attitude; epistemic reasearch attitude; classical (indefinite) negation; non-classical (definite) negation

• Wydawca: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Czasopismo: Kwartalnik Filozoficzny
• Rocznik: 2023
• Tom: 51
• Numer: 1-4
• Strony: 301-311

Twórcy

autor

Wojciechowski Eugeniusz

• Uniwersytet Rolniczy, Wydział Leśny, ul. 29 Listopada 46, 31-425 Kraków, Poland,