Tristan Grøtvedt Haze's philosophy page
I am a Lecturer in Philosophy at the University of Melbourne, and write on metaphysics, logic, and the philosophy of language. Before coming to Melbourne I did a PhD at the University of Sydney and taught there on a casual basis.
My email address is 'tristan haze' without the space, then '@', then 'gmail', then a dot, then 'com'.
I am Editor of the Metaphysical Necessity category at PhilPapers.
Feel free to get in touch if you're struggling to get access to any of my research.
Publications
Meaning and Metaphysical Necessity [Routledge, 2022]
[Sample: Frontmatter, Introduction, Bibliography and Index]
Review by Bu, Chenyu (2023) in Review of Metaphysics 77 (2):351-353. [DOI 10.1353/rvm.2023.a915468]
Podcast Interview (New Books in Philosophy)
Written interview on the University of Melbourne website touching on the book
This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic.
First-Order Logic with Adverbs [Logic and Logical Philosophy, forthcoming]
This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research.
Sufficient Conditions for Counterfactual Transitivity and Antecedent Strengthening [American Philosophical Quarterly, 2023]
This paper is about two controversial inference-patterns involving counterfactual or subjunctive conditionals. Given a plausible assumption about the truth-conditions of counterfactuals, it is shown that one can’t go wrong in applying hypothetical syllogism (i.e. transitivity) so long as the set of worlds relevant for the conclusion is a subset of the sets of worlds relevant for the premises. It is also shown that one can't go wrong in applying antecedent strengthening so long as the set of worlds relevant for the conclusion is a subset of that for the premise. These results are then adapted to Lewis’s theory of counterfactuals.
Modal Inertness and the Zombie Argument [Res Philosophica, 2023]
This paper proposes a way of blocking the zombie argument against materialism. The central idea—which can be motivated in various ways, but which I will motivate by drawing on recent work by Wolfgang Schwarz—is that sentences reporting conscious experience are modally inert, roughly in the sense that adding them to a description of a metaphysically possible scenario always results in a description of a metaphysically possible scenario. This is notable in that it leads to a way of blocking the zombie argument which is perfectly compatible with modal rationalism and with the view that conceivability entails possibility.
The Truth Table Formulation of Propositional Logic [teorema, 2023]
Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups of formulas whose top rows differ. For them I provide (i) a tree-style system of ‘row tree proofs’, which is shown to be sound and complete, and (ii) an alternative, re-writing strategy.
Validity as (Material!) Truth-Preservation in Virtue of Form [Analytic Philosophy, 2023]
According to a standard story, part of what we have in mind when we say that an argument is valid is that it is necessarily truth preserving: if the premises are true, the conclusion must also be true. But—the story continues—that’s not enough, since ‘Roses are red, therefore roses are coloured’ for example, while it may be necessarily truth-preserving, is not so in virtue of form. Thus we arrive at a standard contemporary characterisation of validity: an argument is valid when it is NTP in virtue of form. Here I argue that we can and should drop the N; the resulting account is simpler, less problematic, and performs just as well with examples.
Reversing Logical Nihilism [Synthese, 2022]
Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction (e.g. ‘Snow is white. Grass is green. Therefore, snow is white and grass is green’) and Identity (e.g. ‘Snow is white. Therefore, snow is white’). These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic (SOPL), designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed.
A Simple Theory of Rigidity [Philosophical Studies, 2021]
The notion of rigidity looms large in philosophy of language, but is beset by difficulties. This paper proposes a simple theory of rigidity, according to which an expression has a world-relative semantic property rigidly when it has that property at, or with respect to, all worlds. Just as names, and certain descriptions like The square root of 4, rigidly designate their referents, so too are necessary truths rigidly true, and so too does cat rigidly have only animals in its extension. After spelling out the theory, I argue that it enables us to avoid the headaches that attend the misbegotten desire to have a simple rigid/non-rigid distinction that applies to expressions, giving us a simple solution to the problem of generalizing the notion of rigidity beyond singular terms
'That's the Guy Who Might Have Lost' [Analytic Philosophy, 2021]
In an influential passage of Naming and Necessity Kripke argues, with the help of a fictional dialogue, that de re metaphysical modal distinctions have intuitive content. In this note I clarify the workings of the argument, and what it does and does not support. I conclude that Kripke’s argument does not, despite possible appearances, support the view that metaphysical modal distinctions are made in common sense discourse. The argument does however support the view that if metaphysical modal distinctions make sense at the level of statements or states of affairs, then they also make sense de re.
The Accident of Logical Constants [Thought: A Journal of Philosophy, 2020]
Work on the nature and scope of formal logic has focused unduly on the distinction between logical and extra-logical vocabulary; which argument forms a logical theory countenances depends not only on its stock of logical terms, but also on its range of grammatical categories and modes of composition. Furthermore, there is a sense in which logical terms are unnecessary. Alexandra Zinke has recently pointed out that propositional logic can be done without logical terms. By defining a logical-term-free language with the full expressive power of first-order logic with identity, I show that this is true of logic more generally. Furthermore, having, in a logical theory, non-trivial valid forms that do not involve logical terms is not merely a technical possibility. As the case of adverbs shows, issues about the range of argument forms logic should countenance can quite naturally arise in such a way that they do not turn on whether we countenance certain terms as logical.
Apriority and Essential Truth [Metaphysica, 2020]
There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that it be given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge.
A Note on Carnap's Result and the Connectives [Axiomathes, 2019]
Carnap’s result about classical proof-theories not ruling out non-normal valuations of propositional logic formulae has seen renewed philosophical interest in recent years. In this note I contribute some considerations which may be helpful in its philosophical assessment. I suggest a vantage point from which to see the way in which classical proof-theories do, at least to a considerable extent, encode the meanings of the connectives (not by determining a range of admissible valuations, but in their own way), and I demonstrate a kind of converse to Carnap’s result.
Propositions, Meaning and Names [Philosophical Forum, 2018]
The object of this paper is to sketch an approach to propositions, meaning and names. The key ingredients are a Twin-Earth-inspired distinction between internal and external meaning, and a middle-Wittgenstein-inspired conception of internal meaning as role in language system. I show how the approach offers a promising solution to the problem of the meaning of proper names. This is a plea for a neglected way of thinking about these topics.
Linking Necessity to Apriority [Acta Analytica, 2018]
There is an important and fairly straightforward link between necessity and apriority which can shed light on our knowledge of the former, but initially plausible attempts to spell out what it is fall victim to counterexamples. Casullo (2003) discusses one such proposal, argues - following Anderson (1993) - that it fails, and suggests an alternative. In this paper, I argue that Casullo’s alternative also fails, before making a suggestion for which I can find no counterexamples and which, notably, handles some recent examples due to Kipper and Strohminger & Yli-Vakkuri.
How May the Propositional Calculus Represent? [South American Journal of Logic, 2017]
This paper is a conceptual study in the philosophy of logic. The question considered is 'How may formulae of the propositional calculus be brought into a representational relation to the world?'. Four approaches are distinguished: (1) the denotational approach, (2) the abbreviational approach, (3) the truth-conditional approach, and (4) the modelling approach. (2) and (3) are very familiar, so I do not discuss them. (1), which is now largely obsolete, led to some interesting twists and turns in early analytic philosophy which will come as news to many contemporary readers, so I discuss it in some detail. The modelling approach is, to the best of my knowledge, newly introduced here. I am not presenting it as a rival to the other approaches, but as a philosophically interesting possibility.
On Identity Statements: In Defense of a Sui Generis View [Disputatio, 2016]
This paper is about the meaning and function of identity statements involving proper names. There are two prominent views on this topic, according to which identity statements ascribe a relation: the object-view, on which identity statements ascribe a relation borne by all objects to themselves, and the name-view, on which an identity statement 'a is b' says that the names 'a' and 'b' codesignate. The object- and name-views may seem to exhaust the field. I make a case for treating identity statements as sui generis instead of attempting to explain them by means of the idea that they ascribe a relation. My contention is that once we do this, no analysis is required. I do not wish to insist that we stop saying that identity statements ascribe a relation. The point is that there is a fundamental disanalogy between identity statements and other two-termed statements which we overlook to our peril. This will be seen to parallel the more recognized disanalogy between existence statements and other one-termed statements. One way of registering the fundamental disanalogy is to say that identity statements are not relational, but this is not essential. Following my negative arguments in section 2, I employ some simple diagrammatical models in section 3 to exhibit the fundamental disanalogy. In a final section I respond to some possible objections which may be raised against this kind of approach.
A Counterexample to the Breckenridge-Magidor Account of Instantial Reasoning [Journal of Philosophical Research, 2016]
In a recent paper, Breckenridge and Magidor argue for an interesting and counterintuitive account of instantial reasoning. According to this account, in arguments such as one beginning with 'There is some x such that x is mortal. Let O be such an x. ...', the 'O' refers to a particular object, although we cannot know which. I give and defend a simple counterexample involving the notion of an unreferred-to object.
Against the Brogaard-Salerno Stricture [The Reasoner, 2016.]
'It is widely agreed that contraposition, strengthening the antecedent and hypothetical syllogism fail for subjunctive conditionals', write Brogaard and Salerno in (2008: Counterfactuals and context, Analysis 68.1, 39–46). In that article they argue that the putative counterexamples to these principles are actually no threat, on the grounds that they involve a certain kind of illicit contextual shift. Here I argue that this particular kind of contextual shift, if it is properly so called, is not generally illicit, and that therefore the counterexamples shouldn't be blocked with the kind of blanket restriction Brogaard and Salerno advocate. The idea that the reasoning patterns in question can be vindicated given restrictions still seems promising; the purpose of this note is to show that the simple restriction proposed by Brogaard and Salerno isn't the right way of going.
Two New Counterexamples to the Truth-Tracking Theory of Knowledge [Logos & Episteme, 2015.]
I present two counterexamples to the recently back-in-favour truth-tracking account of knowledge: one involving a true belief resting on a counterfactually robust delusion, one involving a true belief acquired alongside a bunch of false beliefs. These counterexamples carry over to a recent modification of the theory due to Briggs and Nolan (2012), and seem invulnerable to a recent defence of the theory against known counterexamples, by Adams and Clarke (2005).
Reply to Adams and Clarke [Logos & Episteme, 2016.]
Here I defend two counterexamples to Nozick’s truth-tracking theory of knowledge from an attack on them by Adams and Clarke. With respect to the first counterexample, Adams and Clarke make the error of judging that my belief counts as knowledge. More demonstrably, with respect to the second counterexample they make the error of thinking that, on Nozick’s method-relativized theory, the method M in question in any given case must be generally reliable.
A Problem for Hofweber's Ontological Project [Philosophia, 2015.]
Thomas Hofweber's well-known ontological project crucially involves inferring negative existential statements from statements of non-reference, i.e. statements that say that some term or terms do not refer. Here, after explaining the context of this move, I aim to show that it is fallacious, and that this vitiates Hofweber's ontological project.
Honours thesis
On the Interpretation of the Propositional Calculus [PDF available upon request]
PhD thesis
Necessity and Propositions [PDF available upon request]
Blog
Sprachlogik - a philosophy blog featuring short articles, with a focus on logic and language. Running since Feb 2011.
Music
Bandcamp - also iTunes, Spotify, etc.
Drawings
