In this paper I give a reconstruction of Dummett’s main arguments concerning the theory of the occult origin of the Tarot, and discuss the reasons behind the success of the Tarot pack – in particular the Major Arcana – in the history of card games. I also provide some indication of the links between Dummett’s interest in the history of card games and aspects of his philosophical background. As I am not an expert on card games, this paper (...) is mainly a personal tribute to a side of Dummett’s work to which philosophers have in general paid little attention. (shrink)

Dummett has recently presented his most mature and sophisticated version of justificationism, i.e. the view that meaning and truth are to be analysed in terms of justifiability. In this paper, I argue that this conception does not resolve a difficulty that also affected Dummett’s earlier version of justificationism: the problem that large tracts of the past continuously vanish as their traces in the present dissipate. Since Dummett’s justificationism is essentially based on the assumption that the speaker has (...) limited (i.e. non-idealized) cognitive powers, no further refinement of this position is likely to settle the problem of the vanishing past. (shrink)

The British philosopher Michael Dummett (1925–2011) not only had a massive influence on the development of analytical philosophy within the philosophy of language, philosophy of mathematics, and metaphysics, but also contributed significantly to historical and metaphilosophical debates about the nature of this philosophical movement and its proper account. He proposed to define analytical philosophy as philosophy whose aim is the analysis of the structure of thought by way of the analysis of language. Hence, it is philosophy the gist of (...) which is the linguistic turn. A number of critics of this proposal (including Barry Smith, Peter Hylton, and Hans-Johann Glock) emphasised that Dummett’s proposal captures merely some features of this diversified and multifaceted philosophical tradition, and is far from being historically adequate. (shrink)

Dummett’s justification procedures are revisited. They are used as background for the discussion of some conceptual and technical issues in proof-theoretic semantics, especially the role played by assumptions in proof-theoretic definitions of validity.

We examine the proof-theoretic verificationist justification procedure proposed by Dummett. After some scrutiny, two distinct interpretations with respect to bases are advanced: the independent and the dependent interpretation. We argue that both are unacceptable as a semantics for propositional intuitionistic logic.

نگاهی به تفسیر و انتقادات دامت از آموزه‌های فرگه پیرامون مباحث معناشناختی .

Russell corresponded with Sir Michael Dummett (1925–2011) between 1953 and 1963 while the latter was working on a book on Frege, eventually published as Frege: Philosophy of Language (1973). In their letters they discuss Russell’s correspondence with Frege, translating it into English, as well as Frege’s attempted solution to Russell’s paradox in the appendix to vol. 2 of his Grundgesetze der Arithmetik. After Dummett visited the University of Münster to view Frege’s Nachlaß, he sent reports back to Russell (...) concerning both the philosophical materials Frege left behind, as well as information from Frege’s journal revealing his anti-semitic political opinions. Their interaction contains interpretive conjectures and insights on Dummett’s side, and some dark humor on Russell’s. (shrink)

واکاوی ضدواقع‌گرایی و رهیافت تحقیق‌گرایانة مایکل دامت .

بررسی اصلی‌ترین چالش‌های میان دامت و مک داول در باب نظریة معنا و توصیف مناسب رفتار زبانی .

This chapter identifies the central issue between Michael Dummett and Donald Davidson on the role of convention in language and argues they are not as far apart in the end as they take themselves to be.

The amount of realist positions put forward by philosophers of religion and theologians is impressive. one can certainly doubt whether there is a need for yet another alternative. However, most realist positions employed in studies on religion fall prey to Hilary Putnam’s criticism against metaphysical realism. This gives rise to a dilemma that I aim at solving by introducing yet another realist position, namely non-metaphysical realism.

According to Charles Travis our language is occasion-sensitive. The truth- conditions of all our sentences, and their correctness-conditions more generally, vary depending on the occasions on which they are used. This is part of a broader view of language as unshadowed. This paper develops objections Travis has made from this viewpoint against Michael Dummett’s anti-realism. It aims to show that the arguments are suggestive but inconclusive. For all it shows unshadowed anti-realism is a possibility.

In this paper I will discuss Dummett’s interpretation of Frege’s “On sense and reference” that takes place in his Frege: Philosophy of Language, where he attributes a notion of meaning to Frege that is not explicit on the text of “On sense and reference”. I believe that this attribution is incompatible with what Frege is really saying in the article and with the partition of the notion that Dummett himself exposes.

روش‌شناسی دیویدسون در باب معنا و تعبیر رادیکال و انتقادات دامت به آن .

A few years ago, Krzysztof Czerniawski published the book Three Ver- sions of the Epistemic Theory of Truth: Dummett, Putnam, Wright. It at- tracted my attention, as while there are many works which are concerned with the philosophical problem of truth, there are just a few compara- tive studies of different ideas concerning the theory of truth. The author in question focuses on the so-called Epistemic Theory of Truth, which as- sumes, according to the characterization of Wolfgang Künne, that (...) being true depends to some extent on our judgement. It is clear that many other philosophers have understood truth in similar terms: e.g. Pierce, Brenta- no and Neurath. However, Czerniawski concentrates on the most recent history of the Epistemic Theory, and does not seek to take account of the philosophies of either Habermas or Gadamer, whose ideas on truth stand in a somewhat more complex relationship both to this line of development and to the analytical tradition from which it has mostly emerged. Thus, he chooses Michael Dummett, Hilary Putnam and Crispin Wright—three analytical philosophers who have significantly contributed to the devel- opment of “epistemic” approaches to the problem of truth. (shrink)

Michael Dummett argues, against Saul Kripke, that there could have been unicorns. He then claims that this possibility shows that the logic of metaphysical modality is not S5, and, in particular, that the B axiom is false. Dummett’s argument against B, however, is invalid. I show that although there are number of ways to repair Dummett’s argument against B, each requires a controversial metaphysical or semantic commitment, and that, regardless of this, the case against B is undermotivated. (...) Dummett’s case is still of interest, however, as if his assumptions are correct, S5 has to go, with the natural culprit being S4. (shrink)

The fundamental assumption of Dummett’s and Prawitz’ proof-theoretic justification of deduction is that ‘if we have a valid argument for a complex statement, we can construct a valid argument for it which finishes with an application of one of the introduction rules governing its principal operator’. I argue that the assumption is flawed in this general version, but should be restricted, not to apply to arguments in general, but only to proofs. I also argue that Dummett’s and Prawitz’ (...) project of providing a logical basis for metaphysics only relies on the restricted assumption. (shrink)

This paper defends a reading of Wittgenstein’s philosophy of mathematics in the Lectures on the Foundation of Mathematics as a radical conventionalist one, whereby our agreement about the particular case is constitutive of our mathematical practice and ‘the logical necessity of any statement is a direct expression of a convention’ (Dummett 1959, p. 329). -/- On this view, mathematical truths are conceptual truths and our practices determine directly for each mathematical proposition individually whether it is true or false. Mathematical (...) truths are thus not consequences of a prior adoption of a convention or rules as orthodox conventionalism has it. -/- The goal of the paper is not merely exegetical, however, and argues that radical conventionalism can withstand some of the most difficult objections that have been brought forward against it, including those of Dummett himself, and thus that radical conventionalism has been prematurely excluded from consideration by philosophers of mathematics. (shrink)

I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.

This paper argues that Frege is not the metaphysical platonist about mathematics that he is standardly taken to be. It is shown that Frege’s project has two distinct stages: the identification of what is true of our ordinary notions, and then the provision of a systematic account that shares the identified features. Neither of these stages involves much metaphysics. The paper criticizes in detail Dummett’s interpretation of §§55-61 of Grundlagen. These sections fall under the heading ‘Every number is a (...) self-subsistent object’ and are described by Dummett as containing the worst arguments put forward by Frege. It is argued that essentially all of Dummett’s interpretive points are mistaken. Finally, I show that Frege’s claims about the independence of mathematics from humans and their activities does not commit him to any particularly metaphysical position either. (shrink)

This paper discusses the late Michael Dummett’s characterization of the estrangement between physics and philosophy. It argues against those physicists who hold that modern physics, rather than philosophy, can answer traditional metaphysical questions such as why there is something rather than nothing. The claim is that physics cannot solve metaphysical problems since metaphysical issues are in principle empirically underdetermined. The paper closes with a critical discussion of the assumption of some cosmologists that the Universe was created out of nothing: (...) In contrast to this misleading assumption, it is proposed that the Universe has a necessary existence and that the present epoch after the Big Bang is a contingent realization of the Universe. (shrink)

Fitch's knowability paradox shows that for each unknown truth there is also an unknowable truth, a result which has been thought both odd in itself and at odds with views which impose epistemic constraints on truth and/or meaningfulness. Here a solution is considered which has received little attention in the debate but which carries prima facie plausibility. The decidability solution is to accept that Fitch sentences are unknowably true but deny the significance of this on the grounds that Fitch sentences (...) are nevertheless decidable. The decidability solution is particularly attractive for those whose primary concern is an epistemic constraint on meaningfulness (‘verificationists’). For those whose main concern is truth (‘anti-realists’), the situation is more complex: Melia takes the solution to exonerate anti-realism completely; Williamson sees it as completely irrelevant. The truth lies between these two extremes: there is one broad anti-realist commitment to which the solution does not apply, but there is also one, the “fundamental tenet” of anti-realism according to Dummett, to which it does. (shrink)

There is no interesting entailment either way between theism and various forms of realism. Taking its cue from Dummett’s characterisation of realism and his discussion of it with respect to theistic belief, this paper argues both that theism does not follow from realism, and that God cannot be appealed to in order to secure bivalence for an otherwise indeterminate subject matter. In both cases, significant appeal is made to the position that God is not a language user, which in (...) turn is motivated by an account of understanding as aptitude possession. The resulting picture sits comfortably with the apophatism common within living religious traditions and with the view that the philosophy of religion ought to reorientate itself away from metaphysics towards more practical questions. (shrink)

In this paper, we will discuss what is called the “Manifestation Challenge” to semantic realism, which was originally developed by Michael Dummett and has been further refined by Crispin Wright. According to this challenge, semantic realism has to meet the requirement that knowledge of meaning must be publically manifested in linguistic behaviour. In this regard, we will introduce and evaluate John McDowell’s response to this anti-realistic challenge, which was put forward to show that the challenge cannot undermine realism. According (...) to McDowell, knowledge of undecidable sentences’ truth-conditions can be properly manifested in our ordinary practice of asserting such sentences under certain circumstances, and any further requirement will be redundant. Wright’s further objection to McDowell’s response will be also discussed and it will be argued that this objection fails to raise any serious problem for McDowell’s response and that it is an implausible objection in general. (shrink)

The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In (...) particular, I shall grant Dummett his general bias towards verificationism, encapsulated in the slogan 'meaning is use'. The second general assumption I see no need to question is Dummett's particular breed of molecularism. Some of Dummett's assumptions will have to be given up, if classical logic is to be vindicated in his meaning-theoretical framework. A major result of this paper will be that the meaning of negation cannot be defined by rules of inference in the Dummettian framework. (shrink)

Critical review of Michael Dummett's The Nature and Future of Philosophy.

This paper is a discussion of Frege's maxim that it is only in the context of a sentence that a word has a meaning. Quine reads the maxim as saying that the sentence is the fundamental unit of significance. Dummett rejects this as a truism. But it is not a truism since it stands in opposition to a conception of meaning held by John Locke and others. The maxim denies that a word has a sense independently of any sentence (...) in which it occurs. Dummett says this denial is inconsistent with the fact that people understand sentences they have never heard before. The maxim is defended against this attack. (shrink)

Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the newly fashionable habit of (...) referring to analytic philosophy as ‘Anglo-American’ leads to a ‘grave historical distortion’. If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy ‘could at least as well be called "Anglo-Austrian"’ (p. 7). We here show the implications of this assertion for a more adequate understanding of the relations between analytic and Continental philosophy. (shrink)

Analytic philosophers have until recently been reluctant to pursue historical investigations into the Central European roots of their own philosophical tradition. The most recent book by Michael Dummett, however, entitled Origins of Analytic Philosophy, shows how fruitful such investigations can be, not only as a means of coming to see familiar philosophical problems in a new light, but also as a means of clarifying what, precisely, ‘analytic philosophy’ might mean. As Dummett points out, the newly fashionable habit of (...) referring to analytic philosophy as ‘Anglo-American’ leads to a ‘grave historical distortion’. If, he says, we take into account the historical context in which analytic philosophy developed, then such philosophy ‘could at least as well be called "Anglo-Austrian"’ (p. 7). We here show the implications of this assertion for a more adequate understanding of the relations between analytic and Continental philosophy. (shrink)

Many prominent writers on the philosophy of logic, including Michael Dummett, Dag Prawitz, Neil Tennant, have held that the introduction and elimination rules of a logical connective must be ‘in harmony ’ if the connective is to possess a sense. This Harmony Thesis has been used to justify the choice of logic: in particular, supposed violations of it by the classical rules for negation have been the basis for arguments for switching from classical to intuitionistic logic. The Thesis has (...) also had an influence on the philosophy of language: some prominent writers in that area, notably Dummett and Robert Brandom, have taken it to be a special case of a more general requirement that the grounds for asserting a statement must cohere with its consequences. This essay considers various ways of making the Harmony Thesis precise and scrutinizes the most influential arguments for it. The verdict is negative: all the extant arguments for the Thesis are weak, and no version of it is remotely plausible. (shrink)

Analogien lassen sich aus unserem vernünftigen Nachdenken und Argumentieren kaum wegdenken. Ganz zurecht stellen sie eines der klassischen Themen der Argumentationstheorie dar. Doch wie genau sollte die argumentative Rolle von Analogien in Argumentrekonstruktionen dargestellt werden? Das ist die Leitfrage dieses Beitrags. Zunächst wird mit Michael Dummetts Schach-Analogie ein prominentes Beispiel dargestellt und eine genauere Charakterisierung des Analogiebegriffs vorgeschlagen. Danach wird die gängigste Rekonstruktionsform von Analogien diskutiert, das Analogieargument, und in einigen Punkten verfeinert. Vor diesem Hintergrund schlägt der Beitrag eine zweite, (...) alternative Rekonstruktionsform vor, in der zwei analoge Argumente an die Stelle eines einzelnen Analogiearguments treten. Nachdem diese beiden Rekonstruktionsformen an einem weiteren berühmten Beispiel vorgeführt wurden, an Peter Singers Teich-Analogie, wird diskutiert, wie sich diese beiden Varianten gegenseitig ergänzen und welche Stärken und Schwächen sie haben. Es zeigt sich, dass Analogien nicht nur in Form von Analogieargumenten einen zentralen Topos eines Einzelarguments darstellen. Darüber hinaus kann die Untersuchung analoger Argumente bereits selbst als argumentationstheoretische Topik verstanden werden. (shrink)

Cora Diamond has claimed that Wittgenstein’s Tractatus contains an early ‘private language argument’: an argument that private objects in other people’s minds can play no role in the language I use for talking about their sensations. She further claims that the Tractatus contains an early version of the later idea that an inner process stands in need of outward criteria. The paper argues against these claims, on the grounds that they depend on an unwarranted construal of the Tractatus’s notion of (...) use. It is further argued that Diamond’s interpretation makes a mystery of the relation between the Tractatus and Wittgenstein’s 1929 account of sensation language, set out in Philosophical Remarks and elsewhere. Finally, the paper considers and defends Michael Dummett’s contention that the Tractatus is a paradigm of semantic realism, in the light of Diamond’s claim that the Tractatus in fact suggests a form of anti-realism about sensation language. (shrink)

Causalists and Evidentialists can agree about the right course of action in an (apparent) Newcomb problem, if the causal facts are not as initially they seem. If declining $1,000 causes the Predictor to have placed $1m in the opaque box, CDT agrees with EDT that one-boxing is rational. This creates a difficulty for Causalists. We explain the problem with reference to Dummett's work on backward causation and Lewis's on chance and crystal balls. We show that the possibility that the (...) causal facts might be properly judged to be non-standard in Newcomb problems leads to a dilemma for Causalism. One horn embraces a subjectivist understanding of causation, in a sense analogous to Lewis's own subjectivist conception of objective chance. In this case the analogy with chance reveals a terminological choice point, such that either (i) CDT is completely reconciled with EDT, or (ii) EDT takes precedence in the cases in which the two theories give different recommendations. The other horn of the dilemma rejects subjectivism, but now the analogy with chance suggests that it is simply mysterious why causation so construed should constrain rational action. (shrink)

This paper assesses the prospects of a pragmatist theory of content. I begin by criticising the theory presented in D.H. Mellor’s essay ‘Successful Semantics’. I then identify problems and lacunae in the pragmatist theory of meaning sketched in Chapter 13 of Dummett’s The Logical Basis of Metaphysics. The prospects are brighter, I contend, for a tempered pragmatism, in which the theory of content is permitted to draw upon irreducible notions of truth and falsity. I sketch the shape of such (...) a theory and illustrate the role of its pragmatist elements by showing how they point towards a promising account of the truth conditions of indicative conditionals. A feature of the account is that it validates Modus Ponens whilst invalidating Modus Tollens. (shrink)

La realtà del passato rappresenta uno dei principali problemi riguardanti la semantica giustificazionista proposta da Michael Dummett. L’antirealismo tipico di questa prospettiva determina una concezione del passato piuttosto controintuitiva secondo cui esso «cessa di esistere» quando non lascia tracce e testimonianze. In Truth and the Past, Dummett è tornato sulla questione abbandonando l’antirealismo sul passato con l’obiettivo di evitare questa concezione. Questa svolta rappresenta un inedito spostamento in direzione del realismo, limitato tuttavia dal netto rifiuto di aderire ad (...) una nozione di verità bivalente. Il mio intervento intende ricostruire e analizzare criticamente le ragioni di questa svolta di Dummett e cercare di sondare la solidità e la coerenza di questa rimodulazione del giustificazionismo. (shrink)

There is no interesting entailment either way between theism and various forms of realism. Taking its cue from Dummett's characterisation of realism and his discussion of it with respect to theistic belief, this paper argues both that theism does not follow from realism, and that God cannot be appealed to in order to secure bivalence for an otherwise indeterminate subject matter. In both cases, significant appeal is made to the position that God is not a language user, which in (...) turn is motivated by an account of understanding as aptitude possession. The resulting picture sits comfortably with the apophatism common within living religious traditions and with the view that the philosophy of religion ought to reorientate itself away from metaphysics towards more practical questions. (shrink)

According to Brandom’s conceptual role semantics, to grasp a concept involves a commitment to drawing certain inferences. This is a consequence of the inferentialist thesis that the meaning of a term is given by its justification through assertibility conditions. Inferential commitments come out from a material notion of inference which underwrites human rational discourse and activity. In this paper I discuss a problem of Brandom’s semantics allegedly exposed in an argument by Paul Boghossian against Dummett’s and Brandom’s substantive conception (...) of meaning. I contend that Boghossian’s analysis is dubious because it overlooks an important difference between Dummett’s and Brandom’s positions related respectively to a monotonic and a non-monotonic view of the norm underwriting meaning. (shrink)

This paper argues that Michael Dummett's proposed distinction between a declarative sentence's "assertoric content" and "ingredient sense" is not in fact supported by what Dummett presents as paradigmatic evidence in its support.

ABSTRACTThe doctrine of the Real Presence of Christ in the Eucharist presents a particular challenge to its defenders: how is it so much as intelligible? This paper explores Dummett’s response to this question, centred on the notion of deeming. Whilst instructive, Dummett’s position is unsustainable as it stands, since it fails to secure the meaningfulness of the doctrine. Once deeming is brought together with an account of bodiliness and an appreciation of the nature of the Eucharist as a (...) meal, however, the way is open to demonstrating the intelligibility of the doctrine. This is a prerequisite even for its rejection as false. (shrink)

Strict finitism is the position that only those natural numbers exist that we can represent in practice. Michael Dummett, in a paper called Wang’s Paradox, famously tried to show that strict finitism is an incoherent position. By using the Sorites paradox, he claimed that certain predicates the strict finitist is committed to are incoherent. More recently, Ofra Magidor objected to Dummett’s claims, arguing that Dummett fails to show the incoherence of strict finitism. In this paper, I shall (...) investigate whether Magidor is successful in preventing Dummett from proving the incoherence of strict finitism. Though not all the counterarguments Magidor presents are successful, she does in the end manages to corner Dummett. There remains a small opportunity for Dummett to insist on the incoherence of strict finitism, but this is a very small opening. The final conclusion of this paper is that Dummett cannot logically prove the incoherence of strict finitism, even though not all hope is lost. (shrink)

In her analysis of pejoratives, Eva Picardi rejects a too sharp separation between descriptive and expressive content. I reconstruct some of her arguments, endorsing Eva’s criticism of Williamson’s analysis of Dummett and developing a suggestion by Manuel Garcia Carpintero on a speech act analysis of pejoratives. Eva’s main concern is accounting for our instinctive refusal to endorse an assertion containing pejoratives because it suggests a picture of reality we do not share. Her stance might be further developed claiming that (...) uses of pejoratives not only suggest, but also promote a wrong picture of reality. Our refusal to endorse implies rejecting not only a wrong picture of reality but also a call for participation to what that picture promotes. (shrink)

Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, 1959). Gödel’s proof gave (...) rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Gödel or the Gödel-Dummett Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definability of propositional connectives in this logic. (shrink)

This collection of essays by acclaimed philosophers explores Bertrand Russell's influence on one of the dominant philosophical approaches of this century. Michael Dummett argues that analytical philosophy began with Gottlob Frege's analysis of numbers. Frege had begun by inquiring about the nature of number, but found it more fruitful to ask instead about the meanings of sentences containing number words. Russell was to exploit this method systematically. I reflect on the essays of Charles R. Pigden, David Lewis as an (...) exponent of a variant of Russell's position: the good is what we are ideally disposed to desire to desire, and Greenspan's suggestion that Russell adopted some element of the Marxist theory on morals. (shrink)

What explains the truth of a universal generalization? Two types of explanation can be distinguished. While an ‘instance-based explanation’ proceeds via some or all instances of the generalization, a ‘generic explanation’ is independent of the instances, relying instead on completely general facts about the properties or operations involved in the generalization. This intuitive distinction is analyzed by means of a truthmaker semantics, which also sheds light on the correct logic of quantification. On the most natural version of the semantics, this (...) analysis vindicates some claims made—without a proper defense—by Michael Dummett, Solomon Feferman, and others. Where instance-based explanations are freely available, classical logic is shown to be warranted. By contrast, intuitionistic logic remains warranted regardless of what explanations are available. (shrink)

Michael Dummett says in the preface to his book on Frege that he is always disappointed when a book lacks a preface. ‘it is like arriving at someone’s house for dinner’ Dummett says ‘and being conducted straight into the dining room’. I feel the same way about inaugural lectures. To give an inaugural lecture is in part an acknowledgement of a professional honour, and in part an opportunity to pay a personal tribute to the institution which has honoured (...) you in this way. It is not difficult, and a pleasant task, to do this. My professorship has no predecessor, of course, but I hope that this does not disqualify me from saying something about what I owe to UCL and to its philosophy department. The intellectual character of the department as it is now was largely shaped by the influence of the late Richard Wollheim. I am sorry to say that I did not know Richard Wollheim well, and it is a cause of great sadness for the whole department that Richard was never able to return to the department as he had planned to do before he died last autumn. But I nonetheless feel the influence he left in the department, and I would like to pay a small tribute to it here. (shrink)

Takeuti and Titani have introduced and investigated a logic they called intuitionistic fuzzy logic. This logic is characterized as the first-order Gödel logic based on the truth value set [0,1]. The logic is known to be axiomatizable, but no deduction system amenable to proof-theoretic, and hence, computational treatment, has been known. Such a system is presented here, based on previous work on hypersequent calculi for propositional Gödel logics by Avron. It is shown that the system is sound and complete, and (...) allows cut-elimination. A question by Takano regarding the eliminability of the Takeuti-Titani density rule is answered affirmatively. (shrink)

Once upon a time, logical conventionalism was the most popular philosophical theory of logic. It was heavily favored by empiricists, logical positivists, and naturalists. According to logical conventionalism, linguistic conventions explain logical truth, validity, and modality. And conventions themselves are merely syntactic rules of language use, including inference rules. Logical conventionalism promised to eliminate mystery from the philosophy of logic by showing that both the metaphysics and epistemology of logic fit into a scientific picture of reality. For naturalists of all (...) stripes, this was paradise. Alas, paradise was lost. By the end of the twentieth century, logical conventionalism had been almost universally abandoned. But more recently, it has been revitalized. This chapter provides an overview of logical conventionalism and its history, clears away misunderstandings, and briefly responds to both the canonical objections to conventionalism (from Quine, Dummett, Boghossian, and many others) as well as new objections (from Field and Golan). From paradise lost, to paradise regained: logical conventionalism is back. (shrink)