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 Filozofia Nauki

Authors help

  1. 1 Czernecka B.

Years help

  1. 1 2000

Results found: 1

first rewind previous Page / 1 next fast forward last

Search results

help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
Publication available in full text mode
Content available

The Law of Excluded Middle and Intuitionistic Logic

100%
Czernecka B.
Filozofia Nauki
|
2000
|
vol. 8
|
issue 3-4
45-53
PL
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 <>.
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.