Results 121 to 130 of about 3,397 (165)

Intuitionistic Logic As Epistemic Logic [PDF]

open access: possibleSynthese, 2001
Is intuitionism a variant of constructivism? If intuitionism is not constructivism, what is it? What do the intuitions of the genuine intuitionists add up to? Are their intentions reflected faithfully in Heyting's intuitionistic logic? What is the epistemic logic like, in which the distinction can be made and in which the correctly understood claims of
openaire   +1 more source

Epistemic foundations of logic [PDF]

open access: possibleJournal of Philosophical Logic, 1976
The foundations of logic should be obvious and compelling. They should at least explain why we may not deny the tautologies of this or that logical system, if we are to have a rational systen of beliefs. I believe that standard semantics helps to explain why the tautologies of the sentential calculus and lower predicate calculus should not be rejected ...
openaire   +2 more sources

Home - About - Disclaimer - Privacy