Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Refine search results

Journals help

  1. 1 Kwartalnik Filozoficzny

Authors help

  1. 1 Wojciechowski E.

Years help

  1. 1 2023

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  non-classical (definite) negation
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1

Negacja określona i logika intuicjonistyczna

100%
Wojciechowski E.
Kwartalnik Filozoficzny
|
2023
|
vol. 51
|
issue 1-4
301-311
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.