University of Calgary

# All LogBlog Posts

## Openproof Day 2009

Submitted by Richard Zach on Sat, 02/28/2009 - 6:26pm

On March 27, 2009, the people behind Language Proof and Logic will have a little meeting on the various courseware packages they have now and are currently developing:

Openproof day will be a day of events discussing a variety of topics related to the work of the project, including:

* Presentation of existing courseware packages including plans for future improvements,
* Discussion with instructors on the use of existing courseware packages,
* Presentation of courseware packages for future release,
* Presentation of recent research in data mining student work in logic.

Wish I could go, but we'll have a logic event at Calgary with Aldo Antonelli, Nuel Belnap, and Krister Segerberg that weekend. If anyone wants to report on Openproof Day here, you're welcome to guest-blog.

Submitted by Richard Zach on Tue, 02/24/2009 - 6:01am

Not one but two logic summer schools for undergrads this year:

Carnegie Mellon Summer School in Logic and Formal Epistemology
June 8 to 26, with courses by Steve Awodey (Categories and Structures), Teddy Seidenfeld (Decisions and Games), and Jeremy Avigad (Logic and Formal Verification)
Apply by March 15

UCLA Logic Center 2009 Summer School for Undergraduates
July 13 to 31, with courses by Henry Towsner (First-order logic and Gödel's incompleteness theorem), Justin Palumbo (Forcing and independence in set theory), and Isaac Goldbring (Non-standard analysis)
Apply by March 30

Both of these are free, and UCLA promises to even pay a stipend!

## Canadian PhD Programs in the 2009 Philosophical Gourmet Report

Submitted by Richard Zach on Tue, 02/24/2009 - 1:32am

With the kind permission of Brian Leiter, here's a breakout of the Canadian philosophy departments by specialty according to the 2009 Philosophical Gourmet Report. Major changes over the last (2008-10) edition: The Guelph-Laurier-McMaster program is no longer ranked, and neither is Waterloo. The "local means", i.e., mean scores from Canadian evaluators, are no longer reported. That's a bit unfortunate, but it probably makes no difference as far as the rank-ordering goes. The numbers following the specialties are: the peer group the program falls in and the rounded mean score. See the overall rankings and the specialty rankings from the PGR for explanations. Compare specialty rankings for Canadian programs from the 2006-08 and from the 2004-06 report.

(Email or post comment if you find a mistake, please.)

 Program Ranked Specialties University of Toronto1 (3.6) Philosophy of Language 5 (21-36 / 3.0)Philosophy of Mind 3 (9-23 / 3.5)Metaphysics 5 (18-47 / 3.0)Philosophical Logic 5 (22-50 / 3.0)Ethics 3 (6-11 / 4.0)Metaethics 4 (16-35 / 3.0)Political Philosophy 3 (10-22/ 3.5)Philosophy of Law 3 (6-13 / 3.5)Applied Ethics 2 (3-7 / 4.0)General Philosophy of Science 3 (12-22 / 3.5)Philosophy of Biology 2 (3-8 / 4.0)Philosophy of Cognitive Science 4 (13-32 / 3.0)Decision, Rational Choice, and Game Theory 4 (10-27 / 3.0)Philosophy of Mathematics 5 (27-41 / 3.0)Mathematical Logic 4 (16-31 / 3.5)Ancient Philosophy 2 (2-4 / 4.5)Medieval Philosophy 1 (1-4 / 4.5)Early Modern: 17th Century 3 (10-21 / 3.5)Early Modern: 18th Century 3 (4-10 / 3.5)Kant 4 (18-33 / 3.0)19th Century Continental 3 (11-18 / 3.5)20th Century Continental 3 (11-31 / 3.0)American Pragmatism 2 (2-4 / 4.0)Feminist Philosophy 5 (21-38 / 3.0)Chinese Philosophy 4 (8-10 / 3.0) University of Western Ontario2 (2.7) Philosophical Logic 5 (22-50 / 3.0)General Philosophy of Science 2 (2-11 / 4.0)Philosophy of Physics 2 (2-5 / 4.5)Philosophy of Social Science 4 (14-32 / 3.0)Decision, Rational Choice, and Game Theory 4 (10-27 / 3.0)Philosophy of Mathematics 3 (3-15/ 4.0)Mathematical Logic 4 (16-31 / 3.5)Early Modern: 17th Century 3 (10-21 / 3.5)Early Modern: 18th Century 3 (4-10 / 3.5)Kant 4 (18-33 / 3.0)History of Analytic 3 (11-20 / 3.5)Feminist Philosophy 5 (21-38 / 3.0) McGill University3 (2.5) Ethics 5 (29-53/ 3.0)Philosophy of Art 4 (18-28 / 3.0)Philosophy of Mathematics 4 (16-26 / 3.5)Ancient Philosophy 5 (13-22 / 3.0)Medieval Philosophy 4 (10-19 / 3.0)Early Modern: 17th Century 4 (22-44 / 3.0)Kant 4 (18-33 / 3.0)History of Analytic 4 (21-34 / 3.0)Feminist Philosophy 5 (21-38 / 3.0) University of BritishColumbia4 (2.4) Philosophy of Mind 4 (24-51 / 3.0)Philosophy of Art 2 (4-16 / 4.0)General Philosophy of Science 4 (23-44 / 3.0)Philosophy of Biology 4 (17-27 / 3.0)Philosophy of Cognitive Science 4 (13-32 / 3.0)Philosophy of Mathematics 5 (27-41 / 3.0)Early Modern: 18th Century 4 (11-33 / 3.0)History of Analytic 4 (21-34 / 3.0) University of Alberta5 (2.1) Philosophy of Mind 4 (24-51 / 3.0)Philosophy of Biology 4 (17-27 / 3.0)Mathematical Logic 4 (16-31 / 3.5)History of Analytic 4 (21-34 / 3.0)American Pragmatism 4 (7-14 / 3.0)Feminist Philosophy 5 (21-38 / 3.0) Queen's University6 (2.0) Ethics 5 (29-53 / 3.0)Political Philosophy 3 (10-22/ 3.5)Applied Ethics 3 (8-23 / 3.5)Feminist Philosophy 5 (21-38 / 3.0) University of Calgary7 (1.9) Philosophical Logic 5 (22-50 / 3.0)Philosophy of Action (incl. Free Will) 3 (7-10 / 3.5)Philosophy of Biology 4 (17-27 / 3.0)Mathematical Logic 4 (16-31 / 3.5)American Pragmatism 4 (7-14 / 3.0) York University8 (1.8) American Pragmatism 4 (7-14 / 3.0) Simon Fraser University9 (1.7) Mathematical Logic 5 (32-40 / 3.0)Early Modern: 17th Century 4 (22-44 / 3.0) McMaster UniversityNot ranked Philosophy of Law 3 (6-13 / 3.5)History of Analytic 4 (21-34 / 3.0)

Submitted by Richard Zach on Tue, 02/24/2009 - 1:18am

The Conservative government's budget includes additional funding for Canada's granting councils to expand their graduate scholarship programs. The Social Sciences and Humanities Research Council of Canada stands to gain an additional \$17.5 million, or 500 additional PhD scholarships and 1,000 additional MA scholarships. The catch: SSHRC's money is earmarked for "business-related degrees".

If you're Canadian, please sign the petition against this circulated by Niki Ashton, MP.

There's also a Facebook group and a call for 2 weeks of action and an article in the Globe and Mail.

## Interpretations of Propositional Dynamic Logic

Submitted by Richard Zach on Mon, 02/09/2009 - 4:29am

In Krister Segerberg's modal logic seminar here in Calgary, we were talking about propositional dynamic logic last week. PDL was originally introduced (by Vaughn Pratt in the early 70's) to reason about programs. In the language, you have propositional variables but then also variables for (indeterministic) programs. Moreover, you have complex terms for programs, e.g., if ? and ? are programs then ? ? ? is "either do ? or do ?", ?;? is "first do ? then do ?", ?* is "do ? 0 or more times. If ? is a program term and ? is a formula, then [?]? means "after every execution of ?, ? is true".

The semantics for PDL is your regular Kripke semantics where W is a set of states, V maps propositional variables into ?(W), and R maps program variables into ?(W2). The idea is that V(?) is the set of states where ? holds, and v R(?) w if ? takes you from state w to state v (? may be nondeterministic, so it's a relation, not a function). The definition of ||- is as you'd expect, with w ||- [?]? if v ||- ? for all v so that w R(?) v. You can put in program constants, e.g., the program 0 that just freezes (R(0) = ?), the program 1 that does nothing and immediately halts (R(1) = ?W), and the completely indeterministic program that can take you to any state from any state (R(U) = W2).

Most of the people in the seminar are philosophers, not computer scientists, so we were talking a fair amount of time about how to interpret this semantics not in terms of programs. One way to think of the ?'s is as actions types: ? is an action type, [?]? means "? is true after every action of type ?", and w R(?) v if some action of type ? can take you from w to v. For instance, think of W as the set of chess configurations (together with whether it's black's or white's move). Then ? might be "move the king". But this is still pretty close to the programs-changing-state interpretation.

I was thinking of a completely different interpretation, and was wondering if anyone has thought about this interpretation and if it might have any use: In the "intended" interpretation, R(?) tells you which states you can get to from a given state by doing ?. But R(?) may be seen as an ordinary modal accessibility relation on W. On this interpretation, PDL turns into a parametrized multi-modal logic with operations on modalities: ? is an accessibility relation (e.g., U is the total relation--every world is accessible from every world), [?]? means "? is ?-necessary), and the operations on programs turn into operations on accessibility relations, e.g., 1 ? ? is the reflexive closure of ? and ?* is the transitive closure of ?. My hunch is that, maybe by adding some additional operations on the ?'s, this could make PDL into a logic of modalities in general.

## New Blogs

Submitted by Richard Zach on Thu, 02/05/2009 - 6:35pm

I'm a bit late with this, but if you haven't heard, here are a couple of interesting new blogs:

## Floridi Wins Barwise Prize

Submitted by Richard Zach on Thu, 02/05/2009 - 2:53am

Luciano Floridi has been awarded the Barwise Prize in philosophy of computing, given out annually by the APA.

## Formalization Exercise

Submitted by Richard Zach on Wed, 01/14/2009 - 10:44pm

Logic I exercise: Formalize "Every day each of us says the dumbest thing we are going to say that day." Is it logically true?

Submitted by Richard Zach on Wed, 01/14/2009 - 4:04pm

The submission deadline for the July conference Computability in Europe is drawing near (Jan 20). I hope there will be at least a few papers on history and philosophy of computability--the PC chair tells me that so far there are none!

## Arne Naess, 1912-2009

Submitted by Richard Zach on Tue, 01/13/2009 - 6:30pm

Arne Næss has died at the age of 96. He was the last surviving member of the "periphery" of the Vienna Circle.

Notice here.

## More on Ciabattoni, Galatos, and Terui

Submitted by Richard Zach on Wed, 12/17/2008 - 9:03am

Here's a more detailed summary of the paper I just mentioned, (Ciabattoni, Galatos, and Terui, From axioms to analytic rules in nonclassical logics, LICS 2008) courtesy of Agata:

The paper contains a first step towards the definition of a general procedure to turn Hilbert axioms into analytic structural rules in various formalisms. The result is based on the substructural hierarchy — a new classification (Nn, Pn) of formulas of Full Lambek calculus with exchange (FLe) which is similar to the arithmetic hierarchy except that it tracks polarity alternations instead of quantification alternations.

The paper contains an algorithm which allows for the automated generation of a) analytic sequent structural rules equivalent to axioms up to the class N2 b) analytic hypersequent structural rules equivalent to axioms up to the class P3 (modulo a technical issue about weakening)

Given any axiom up to P3, the algorithm consists of the following two steps: 1. structural rules equivalent in power with the original axiom are generated and 2. they are afterwards completed (in the sense of Knuth-Bendix) in order to preserve cut-elimination once added to (the hypersequent version of) FLe.

Examples of axioms in N2 are ¬(A ? ¬A) or An ? Am, for arbitrary n, m, while e.g. (A ? B) ? (B ? A), ¬A ? ¬¬A are in P3.

In the same paper it was also shown that (single-conclusion) structural rules in sequent calculus can only capture properties (axioms) which already hold in intuitionistic logic and hence, e.g. to characterize (A ? B) ? (B ? A) hypersequents are needed.

The question of identifying the appropriate formalisms, beyond hypersequents, for dealing in a uniform way with axioms at levels higher than P3 is open.

If you know of related or similar work, please comment at the previous post.

## Bleg: Systematic Approaches to Generation of Logical Calculi

Submitted by Richard Zach on Wed, 12/17/2008 - 8:31am

Over lunch the other day, my friend and colleague Agata Ciabattoni told me about her paper at this year's LICS, "From axioms to analytic rules in nonclassical logics". In it, she and her co-authors Nikolaos Galatos and Kazushige Terui present an intriguing and very general result: Suppose you have a logic which can be axiomatized in full Lambek calculus with exchange (that's intuitionistic logic without weakening or contraction, but with exchange) by adding axioms. If the additional axioms aren't too complex, there's a systematic way of generating an analytic hypersequent calculus for your logic, i.e., a systematic way of converting the additional axioms into a structural rule for a hypersequent calculus in such a way that cut is eliminable. This procedure applies to a wide range of substructural logics but also superintuitionistic logics. (UPDATE: more detail in the next post.) So that got us thinking: what other general, systematic approaches to generation of calculi are there? Agata's approach generates calculi of a specific form (hypersequent calculi) from other calculi (Hilbert-style calculi). Then I know of two approaches that systematically generate calculi from a semantics. Arnon Avron, Beata Konikowska, and Anna Zamansky have been doing a lot of work on logics given by what they call non-deterministic matrices. I wrote a while ago about the approach I detailed in my undergraduate thesis, which goes back to work by Rousseau in the 1960s: systematic (i.e., automatic) generation of sequent, tableaux, natural deduction calculi for a logic given by finite truth tables. These are the only systematic results I know of, but that just shows my ignorance! There must be others! I'm sure there are general results in modal correspondence theory, for instance, to obtain axioms and perhaps tableaux systems, etc., for modal logics from conditions on frames. Can anyone help me (and Agata) out here?

## Paul Bernays at 120

Submitted by Richard Zach on Thu, 11/27/2008 - 1:16am

In addition to the new special issue celebrating the 50th anniversary of Gödel's Dialectica interpretation, Wiley-Blackwell has made the original Dialectica issue in which it appeared freely available. That issue itself was a Festschrift in honour of Paul Bernays's 70th birthday. (I'm sorry I'm late to herewith commemorate the 120th birthday of Bernays, who was born October 17, 1888.) The issue also includes the classics "Hilbert's programme" by Kreisel, "80 years of foundational studies" by Wang, and "Observation language and theoretical language" by Carnap, in addition to papers by Ackermann, Beth, Curry, Heyting, Fraenkel, Gonseth, Goodstein, Hermes, Péter, A. Robinson, Schütte, Schmidt, Skolem, and Specker.

## The 50th Birthday of the Dialectica Interpretation

Submitted by Richard Zach on Tue, 11/18/2008 - 3:39am

Gödel's paper containing his so-called Dialectica interpretation was published 50 years ago in, well, Dialectica. And so Dialectica has a special issue on Gödel's Dialectica interpretation, edited by Thomas Strahm. It looks like all the articles are freely available. Here's (most of) the introduction:

Gödel's famous dialectica paper (1958), entitled 'Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes', was published in a special issue of this journal in 1958 in honour of Paul Bernays' 70th birthday. In the past fifty years, the dialectica interpretation proposed by Gödel has become one of the most fundamental conceptual tools in logic and the foundations of mathematics. This special issue traces some of the fundamental issues and applications of Gödel's interpretation. The ideas of Gödel'sdialectica interpretation date back at least as far as 1941, when Gödel presented them in a lecture to the mathematics and philosophy clubs at Yale University. The Yale lecture was entitled 'In What Sense is Intuitionistic Logic Constructive?' and can be found in Volume III of the Collected Works (1994). Prior to the Yale lecture, Gödel had delivered two addresses where he raised important thoughts towards the dialectica interpretation: an invited lecture given in 1933 in Cambridge, Massachusetts entitled 'The Present Situation in the Foundations of Mathematics' and an informal seminar in 1938 'Vortrag bei Zilsel' delivered in Vienna. The full history of the dialectica paper is presented by Feferman (1993) and Troelstra (1990).

Let us briefly summarize the main rationale of Gödel's dialectica interpretation. In its most elementary form, it provides an interpretation of intuitionistic number theory in a quantifier-free theory of functionals of finite type. Together with Gödel's double-negation interpretation from classical arithmetic into its intuitionistic counterpart, the dialectica interpretation also provides a reduction of classical arithmetic. Gödel's functional interpretation can be seen as a possible realization of the so-called modified Hilbert program in the sense that it enables a reduction of a classical system to a quantifier-free theory of functionals of finite type, thereby reducing the consistency problem for the classical theory to the consistency of a quantifier-free system of higher-type recursion, the latter being informally more finitistic and sufficiently well understood.

Gödel's interpretation of arithmetic has been substantially extended in the past fifty years both to stronger and weaker theories. In particular, versions of the dialectica interpretation have been proposed for impredicative classical analysis, subsystems of classical arithmetic, theories of ordinals, predicative subsystems of second order arithmetic, analysis with game quantifiers, systems of feasible arithmetic and analysis, admissible and constructive set theories, as well as iterated arithmetical fixed point theories. A comprehensive survey of many of these results can be found in Avigad and Feferman (1995) as well as Troelstra (1973). In more recent years, work on functional interpretations has shifted from purely foundational purposes to applications to concrete proofs in mathematics in the sense of Kreisel's unwinding program. In connection with this, Kohlenbach's proof mining program provides very impressive results making use of variants of Gödel's dialectica interpretation, see his article in this special issue.

Let us now give a brief survey of the articles contained in this special issue.

The paper by Justus Diller gives a broad survey of functional interpretations in the context of constructive set theories and elaborates in detail on the logical problems one has to solve in order to provide such interpretations of set theory. In addition, a new simplified interpretation, the so-called ?-interpretation, is proposed and analyzed. It is rooted in the Diller-Nahm interpretation of 1974.

Solomon Feferman's paper gives a vivid account of Gödel's views on finitism, constructivity and Hilbert's program, using unpublished articles and lectures as well as Gödel's correspondence with Paul Bernays. Feferman's article contains a full section on the dialectica interpretation and on Gödel's influential Cambridge lecture mentioned above.

Fernando Ferreira's article gives an informal analysis of Gödel's dialectica interpretation and presents a balanced mixture between philosophical discussions and technical issues. The paper starts off by a discussion of Gödel's use of higher types and the relationship to his set-theoretic realism. Further investigations of the paper include the validation of additional principles, higher order equality and monotone functional interpretations.

As already mentioned above, Ulrich Kohlenbach's article is centred on recent topics in applied proof theory and, in particular, his recent program of proof mining. His paper focuses on the logical aspects of his program and, in particular, on the systematic design and study of variants of the dialectica interpretation, which have been used in applications to concrete proofs from various areas of mathematics.

Finally, Paulo Oliva's article provides a detailed analysis of Gödel's dialectica interpretation via linear logic. The latter comes naturally into the picture of Gödel's interpretation, since contraction is the main source of its asymmetry. The paper analyses various properties of the dialectica interpretation, e.g. the characterization theorem, within the context of linear logic.

## New SEP Entry: Bimbó on Combinatory Logic

Submitted by Richard Zach on Mon, 11/17/2008 - 6:11pm

Shawn beat me to it: Katalin Bimbó, who's now at the University of Alberta, just published a nice entry on combinatory logic in the SEP.

Submitted by Richard Zach on Mon, 11/17/2008 - 5:57pm

Via Theorem(e), I've come across the webpage of Konrad Zdanowski, a logician at the Polish Academy and Paris 7. His papers (mostly on arithmetic) all look incredibly interesting, he has lecture notes on Peano arithmetic, and there's also a paper on 2nd order intuitionistic propositional logic, which is somewhat related to my own research. If I only weren't so much behind in grading papers!

## Tait, Cut-Elimination for Predicative Systems

Submitted by Richard Zach on Tue, 11/11/2008 - 5:10pm

Sitting in a talk at CMU by Bill Tait on cut elimnation for predicative systems. His approach, in contrast to Rathjen and Takeuti, is to try to get the cut-elimination proof to be mostly (or even, only) about the proofs, and not about proofs and (mostly) ordinal notation systems. He's using the original Tait calculus, in which formulas are all propositional, but infinitary. His cut-elimination theorem applies in all kinds of cases (essentially up through predicative arithmetic), which I hadn't realized before. But then I don't think the original paper actually emphasizes that. The main point in that regard is that when you translate axioms from a theory, you can assign the right kinds of ordinals.

Rick Statman made an interesting point, viz., that it's also important to verify that the infinitary derivations that you get when you translate derivations into Tait calculus are (primitive) recursively described, and that this is preserved when you eliminate the cuts--if this weren't the case, you wouldn't be able to carry out the cut-elimination proof in extensions of PRA.

## Taxonomy for Logic and Philosophy of Mathematics

Submitted by Richard Zach on Fri, 11/07/2008 - 2:28pm

David Chalmers and David Bourget are setting up a new online resource for papers in philosophy, for which they're designing a taxonomy of philosophical topics to be used for classifying papers in the database. David asks

For now, I'm calling for feedback from the philosophical community, either via e-mail or via comments on this blog. Especially valuable will be thoughts on categories that we've missed, on ways to structure categories that don't yet have much structure, and on better ways of structuring things in tricky cases.

Please post responses at Dave's blog. The logic and philosophy of math part of the taxonomy right now looks like this:

Logic and Philosophy of Logic       Logics              Classical Logic                      Aristotelian Logic                      Propositional Logic                      Predicate Logic              Deontic Logic              Epistemic Logics                      Doxastic and Epistemic Logic                      Inductive Logic                      Nonmonotonic Logic              Higher-Order Logics                      Second-Order Logic                      Higher-Order Logics, Misc              Modal and Intensional Logic                      Intensional Modal Logic                      Modal Logic                      Provability Logics                      Quantified Modal Logic                      Semantics for Modal Logic              Nonclassical Logics                      Fuzzy Logics                      Infinitary Logics                      Intuitionistic Logic                      Many-Valued Logics                      Paraconsistent Logics                      Quantum Logic                      Relevance Logics                      Substructural Logics              Temporal Logic              Logics, Misc                      Logical Pluralism       Logical Consequence and Entailment       Logical Expressions              Logical Constants              Logical Connectives              Quantifiers*              Variables       Logical Paradoxes              Sorites Paradox*              Liar Paradox              Russell's Paradox*       Logical Semantics and Logical Truth       Model Theory and Proof Theory       Philosophy of Logic, Misc              Dialetheism              Epistemology of Logic              Informal Logic              Logical Pluralism              Logic in PhilosophyPhilosophy of Mathematics       Epistemology of Mathematics              Apriority in Mathematics              Epistemology of Mathematics, Misc              Mathematics and the Causal Theory of Knowledge              Mathematical Intuition              Mathematical Proof                       Godel's Theorem                       Computer Proof                       Probabilistic Proof                       Undecidability                       Mathematical Proof, Misc              Revisability in Mathematics              Mathematical Objects              Fictionalism              Indeterminacy              Nominalism              Platonism              Structuralism              Neo-Fregean Approaches              Indispensability Arguments              Numbers              The Nature of Sets*       Mathematical Truth              Analyticity in Mathematics              Axiomatic Truth              Objectivity Of Mathematics       Philosophy of Set Theory              The Nature of Sets                      The Iterative Conception of Set                      Ontology of Sets              Axioms of Set Theory                      Axiomatic Truth*                      The Axiom of Choice                      The Axiom of Constructibility                      The Axiom of Determinacy                      The Axiom of Infinity                      New Axioms                            Independence Results              Cardinals and Ordinals                      The Continuum Hypothesis                      Large Cardinals              Set Theory as a Foundation                      Russell's Paradox                      Set Theory and Logicism                      Set-Theoretic Constructions       Areas of Mathematics              Algebra              Analysis              Category Theory              Geometry              Logic*              Number Theory              Topology       Theories of Mathematics              Logicism              Formalism              Intuitionism and Constructivism              Predicativism              Mathematical Naturalism       Philosophy of Mathematics, Misc              Explanation in Mathematics              The Infinite              The Application of Mathematics

Logic in the M&E part of the taxonomy:

Metaphysics and Epistemology        Philosophy of Language                Specific Expressions                        Conditionals                                Truth-Conditional Accounts of Indicative Conditionals                                Epistemic Accounts of Indicative Conditionals                                Pragmatic Accounts of Indicative Conditionals                                Indicative Conditionals and Conditional Probabilities                                Indicative Conditionals, Misc                                Counterfactuals and Possible Worlds                                Subjunctive Conditionals, Misc                                Conditionals, Misc                Truth and Vagueness                        Theories of Truth                                Coherence Theory of Truth                                Correspondence Theory of Truth                                Minimalism and Deflationism about Truth                                Pragmatism about Truth                                Tarskian Theories of Truth                                Theories of Truth, Misc                        Truth, Misc                                Relativism about Truth                                Truth Bearers                                Truth and Justification                                Truthmakers*                        The Liar Paradox                        Theories of Vagueness                                Contextual Theories of Vagueness                                Degree-Theoretic Theories of Vagueness                                Epistemic Theories of Vagueness                                Incoherentism about Vagueness                                Nihilism about Vagueness                                Many-Valued Logic                                Supervaluationism                                Theories of Vagueness, Misc                        Vagueness, Misc                                Higher-Order Vagueness                                Vague Objects*                                Vagueness in Ethics and the Law

## C. B. Martin, 1924-2008

Submitted by Richard Zach on Tue, 10/28/2008 - 4:17pm

My former colleague C. B. Martin died last Thursday.

Obituary here.

## C. B. Martin, 1924-2008

Submitted by Richard Zach on Tue, 10/28/2008 - 4:17pm

My former colleague Charlie Martin died last Thursday. He was a major figure in metaphysics, one of the first to talk about truthmakers.

Obituaries here and here.