Search Results 1 - 16 of 16. Results contain 23 matches


content locked
Thematic

Intuitionistic logic and antirealism

The law of excluded middle (LEM) says that every sentence of the form A∨¬A (‘A or not A’) is logically true. This law is accepted in classical logic, ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
Thematic

Semantics

Semantics is the systematic study of meaning. Current work in this field builds on the work of logicians and linguists as well as of philosophers. Philosophers are interested ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Thematic

Logical laws

There are at least three different kinds of answer to the question ‘What is a logical law?’ One establishes what it means for something to be a logical ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Thematic

Realism and antirealism

The basic idea of realism is that the kinds of thing which exist, and what they are like, are independent of us and the way in which we ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
Biographical

Williamson, Timothy (1955–)

Timothy Williamson is a British analytic philosopher, who has made major contributions in philosophical logic, epistemology, metaphysics, the philosophy of language and philosophical methodology. ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
Thematic

Private states and language

Something is ’private’ if it can be known to one person only. Many have held that perceptions and bodily sensations are in this sense private, being knowable only ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Thematic

Logic in the second half of the twentieth century

By the end of the first half of the twentieth century, logic had become a mature philosophical and mathematical discipline. As happens in mature disciplines, in the second ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content unlocked
Overview

Logic, philosophy of

Philosophy of logic can be roughly characterized as those philosophical topics which have emerged either from the technical development of symbolic (mathematical) logic, or from the motivations that ...

"intuitionistic-logic-and-antirealism" appears most in:

content unlocked
content locked
Thematic

Meaning and verification

The verifiability theory of meaning says that meaning is evidence. It is anticipated in, for example, Hume’s empiricist doctrine of impressions and ideas, but it emerges into full ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content unlocked
Overview

Language, philosophy of

Philosophical interest in language, while ancient and enduring (see Language, ancient philosophy of; Language, medieval theories of; Language, Renaissance philosophy of; Language, early modern philosophy of), has blossomed ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
Biographical

Whitehead, Alfred North (1861–1947)

Whitehead made fundamental contributions to modern logic and created one of the most controversial metaphysical systems of the twentieth century. He drew out what he took to be ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Thematic

Meaning and truth

Analytic philosophy has seen a resurgent interest in the possibility of explaining linguistic meaning in terms of truth, which many philosophers have seen as considerably more tractable than ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
Thematic

Predicate calculus

The predicate calculus is the dominant system of modern logic, having displaced the traditional Aristotelian syllogistic logic that had been the previous paradigm. Like Aristotle’s, it is a ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Biographical

Dummett, Michael Anthony Eardley (1925–2011)

For Michael Dummett, the core of philosophy lies in the theory of meaning. His exploration of meaning begins with the model proposed by Gottlob Frege, of whose work ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Biographical

Frege, Gottlob (1848–1925)

A German philosopher-mathematician, Gottlob Frege was primarily interested in understanding both the nature of mathematical truths and the means whereby they are ultimately to be justified. In general, ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked
content locked
Biographical

Brouwer, L.E.J. (1881–1966)

L.E.J. Brouwer was a mathematician and philosopher. He graduated from the University of Amsterdam in 1907 and remained there, from 1913 to 1951, as full professor. Brouwer was ...

"intuitionistic-logic-and-antirealism" appears most in:

content locked