Negacja określona i logika intuicjonistyczna

• Authors: Wojciechowski Eugeniusz

Title variants

EN

Definite negation and intuitionistic logic

• Languages of publication: PL

Abstracts

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.

Keywords

EN

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

• Publisher: Polska Akademia Umiejętności / Uniwersytet Jagielloński
• Journal: Kwartalnik Filozoficzny
• Year: 2023
• Volume: 51
• Issue: 1-4
• Pages: 301-311

Contributors

author

Wojciechowski Eugeniusz

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