Questions tagged [dummett]

Sir Michael Anthony Eardley Dummett (1925 – 2011) was a British philosopher at Oxford. He contributed to the philosophies of mathematics, logic, language and metaphysics. He helped develop the Gödel-Dummett intermediate logic between intuitionist and classical logics.

The following references feature or discuss the philosophy of Michael Dummett:

4 questions
4
votes
2 answers

Prerequisites for Michael Dummett texts

I want to read Michael Dummett's The Logical Basis of Metaphysics. Is it hard to read ? I would like an answer for the same question regarding his other texts. Do I need a prior exposition to other concepts, texts (even from himself) or other…
2
votes
1 answer

How do proponents of finitism respond to the claim that their position is "dubiously coherent"?

Michael Dummett writes (page 349) Since primality is decidable, the statement that any particular natural number is prime must be determinately either true or false, since the decision procedure, if applied to that number, would have a determinate…
1
vote
1 answer

Is a tree proof or natural deduction a semantic method of proof?

Peter Schroeder-Heister writes in an article on "Proof-Theoretic Semantics" the following: Proof-theoretic semantics is inherently inferential, as it is inferential activity which manifests itself in proofs. It thus belongs to inferentialism (see…
Frank Hubeny
  • 19,136
  • 7
  • 28
  • 89
1
vote
1 answer

How does Dummett see deductive inference extending our knowledge?

Michael Dummett writes (page 195) Once the justification of deductive inference is perceived as philosophically problematic at all, the temptation to which most philosophers succumb is to offer too strong a justification: to say, for instance, that…
Frank Hubeny
  • 19,136
  • 7
  • 28
  • 89