Actuality, Necessity, and Logical Truth

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. Earlier versions of this paper were read at the universities of Graz, Maribor, and Salzburg, and at a workshop on the philosophy of logic at the National Autonomous University of Mexico (UNAM) in Mexico City. My thanks to those present at these events for many helpful suggestions. Thanks are also due to an anonymous referee for Philosophical Studies.     

Explaining 'The Hardness of the Logical Must': Wittgenstein on Grammar, Arbitrariness and Logical Necessity

This paper explains (in Part A) Wittegnstein's understanding of the 'grammar' of our (or any) language, tracing its origins in the Tractatus's concept of logical syntax, and then examining the senses in which Wittegnstein, in his later work, viewed grammar as being 'arbitrary'. Then, armed with this understanding, it moves on (in Part B) to the task of examining how, within the framework of a Wittegnsteinian view of language, we should understand the inescapable 'compellingness' of logical necessity – what Wittegnstein calls the "hardness of the logical must". Whereas it is often thought that Wittegnstein's views on the nature of the 'grammar' of our concpets leads him towards a vitiatingly conventionalist or anti-realist understanding of necessity, in which its logical 'superhardness' becomes problematic, this paper will argue that there is actually no such tension in Wittegnstein's thought. In fact, it will be argued, an understanding of the ways in which our conceptual grammar is arbitrary casts a great deal of light on how it is that our concepts can nevertheless support a logically superhard, and normatively commanding, notion of necessity. In support of this view, I distinguish Wittegnstein's views on necessity from the 'classical' conventionalism of the Vienna Circle, and from the radical conventionalism of Michael Dummett, and defend Wittegnstein's view from a powerful recent attack from Quassim Cassam.     

A Counterfactual Analysis of the Concepts of Logical Truth and Necessity

This paper analyzes the logical truths as (very roughly) those truths that would still have been true under a certain range of counterfactual perturbations.What’s nice is that the relevant range is characterized without relying (overtly, at least) upon the notion of logical truth. This approach suggests a conception of necessity that explains what the different varieties of necessity (logical, physical, etc.) have in common, in virtue of which they are all varieties of necessity. However, this approach places the counterfactual conditionals in an unfamiliar foundational role.     

Aristotle on a Puzzle about Logical Consequence: Necessity of Being vs. Necessity of Saying

In the Posterior Analytics (I 6, 75a18–27) Aristotle discusses a puzzle which endangers the possibility of inferring a non-necessary conclusion. His solution relies on the distinction between the necessity of the conclusion's being the case and the necessity of admitting the conclusion once one has admitted the premisses. The former is a factual necessity, whereas the latter is meant to be a normative or deontic necessity that is independent of the facts stated by the premisses and the conclusion. This paper maintains that Aristotle resorts to this distinction because he thinks that, as long as it is conceived as a factual relation, logical consequence cannot exist independently of the facts expressed by the premisses and the conclusion. As a corollary, the necessity of such a consequence relation always requires the necessity of these facts. Aristotle holds this factual conception of logical consequence responsible for the puzzle, since it cannot account for valid syllogisms with contingent or false premisses. The alternative conception of necessity is then introduced by him in order to make good this deficiency. The distinction between the necessity of being and the necessity of saying was revived by the Oxford logician E. W. B. Joseph, and taken over by Frank Ramsey in his seminal Truth and Probability, but has not received attention from recent interpreters of Aristotle's logic. This paper, however, argues that, in spite of its intrinsic interest, the distinction bore no significant fruit in Aristotle's logical doctrine.     

Showing,Analysis and the Truth-Functionality of Logical Necessity in Wittgenstein's Tractatus

This paper aims to explain how the Tractatus attempts to unifylogic by deriving the truth-functionality of logical necessityfrom the thesis that a proposition shows its sense. I first interpret the Tractarian notion of showing as the displaying ofwhat is intrinsic to an expression (or a symbol). Then I argue that, according to theTractatus, the thesis that a proposition shows its sense implies the determinacy of sense, the possibility of the complete elimination of non-primitive symbols, the analyticity thesis and the strong analyticity thesis. The picture theory emerges as what provides the only acceptable account of an elementary proposition, subject to the constraint that a proposition must show its sense. The picture theory and the analyticity thesis then entail the contingency thesis (that an elementary proposition is contingent) and the independence thesis (that elementary propositions are mutually logically independent) which, together with the strong analyticity thesis, imply that all logical propositions are tautologies.     

Reductivism, Fatalism and Sociobiology

ABSTRACT When does ‘reduction’ in the harmless sense of relating one science to another involve a sinister devaluing of the valuable? Only when the ‘reductive’ explanation is (1) treated as excluding others, and (2) so chosen as to make a moral point by illicit means. (1) is never legitimate; different kinds of explanation all have their place and do not compete. It is made to look plausible by (2), which can occur in many situations, but is usually called reduction only when it involves the physical sciences. Two different dangers follow—reduction to the unknown entities of physics is chilling, but fortunately seems to have no particular moral consequences. Biological reductions often sound less remote; e.g. when sociobiologists talk of people as ‘survival machines’ for genes. The trouble here is not ‘biological determinism’ but fatalism, with apparent moral consequences, namely, the endorsement of universal competition. This idea is bad biology, compounded by illicit rhetoric. Biology itself cannot be a threat. The biological causes of human behaviour, including those found by sociobiologists in their calmer moments, are perfectly proper material for the social sciences.     

Anti‐Metaphysicalism,Necessity, and Temporal Ontology

This paper argues for a certain kind of anti‐metaphysicalism about the temporal ontology debate, i.e., the debate between presentists and eternalists over the existence of past and future objects. Three different kinds of anti‐metaphysicalism are defined—namely, non‐factualism, physical‐empiricism, and trivialism. The paper argues for the disjunction of these three views. It is then argued that trivialism is false, so that either non‐factualism or physical‐empiricism is true. Finally, the paper ends with a discussion of whether we should endorse non‐factualism or physical‐empiricism. An initial reason is provided for thinking that non‐factualism might be true, but in the end, the paper leaves this question open. The paper also argues against a certain kind of necessitarianism about the temporal ontology debate; but this isn't an extra job—the falsity of this necessitarian view falls out of the other arguments as a sort of corollary.     

Sunday School Student and Theological Fatalism

I will briefly argue that theological fatalism is not a genuine ‘theological’ problem, for it can be reduced to another alleged incompatibility that arises independently of the existence or non-existence of God. I will conclude that the way of arguing against the existence of God or His omniscience by appealing to theological fatalism is blocked for libertarian atheists.     

Fatalism, Bivalence and the Past

In his paper 'Some Comments on Fatalism', The Philosophical Quartery , 46 (1996), pp. 1–11, James Cargile offers an argument against the view that the correct response to fatalism is to restrict the principle of bivalence with respect to statements about future contingencies. His argument fails because it is question-begging. Further, he fails to give due weight to the reason behind this view, which is the desire to give an adequate account of the past/future asymmetry. He supposes that mere appeal to the direction of causation will suffice to explain this asymmetry, whereas in fact the causal asymmetry is the same as the temporal asymmetry, and so cannot ground it. I finish by drawing a connection between the power asymmetry (our ability to affect the future but not the past) and the memory/intention asymmetry.     

Temporal Relations vs. Logical Reduction: A Phenomenal Theory of Causality

Kant, in various parts of his treatment of causality, refers to determinism or the principle of sufficient reason as an inescapable principle. In fact, in the Second Analogy we find the elements to reconstruct a purely phenomenal determinism as a logical and tautological truth. I endeavour in this article to gather these elements into an organic theory of phenomenal causality and then show, in the third section, with a specific argument which I call the “paradox of phenomenal observation”, that this phenomenal determinism is the only rational approach to causality because any logico-reductivistic approach, such as the Humean one, would destroy the temporal order and so the very possibility to talk of a causal relation. I also believe that, all things said, Kant did not achieve a much greater comprehension of the problem than Hume did, in his theory of causality, for he did not free a phenomenal approach from the impasse of reductivism as his reflections on “simultaneous causation” and “vanishing quantities” indeed show, and this I will argue in Sect. 4 of this article.

时间先构与逻辑先构——儒家伦理与基督教伦理的建构方式比较

时间先构与逻辑先构是儒家伦理与基督教伦理的不同建构方法,其形成既深受中西两大文明不同路径所预制,又承继中西文化不同的精神气质与思维方式。两种建构方法的比较是我们了解中西伦理何以不同的重要路径:体现儒家与基督教伦理原则的建立是实存为先还是价值为重的不同;构成了儒家与基督教伦理对伦理学中心问题两个不同向度的思考与发展;决定着儒家与基督教伦理人之本与神之本的本质差异。     

Logical Truth and Tarskian Logical Truth

This paper examines the question of the extensional correctness of Tarskian definitions of logical truth and logical consequence. I identify a few different informal properties which are necessary for a sentence to be an informal logical truth and look at whether they are necessary properties of Tarskian logical truths. I examine arguments by John Etchemendy and Vann McGee to the effect that some of those properties are not necessary properties of some Tarskian logical truths, and find them unconvincing. I stress the point that since the hypothesis that Tarski's definitions are extensionally correct is deeply entrenched, the burden of proof is still on the shoulders of Tarski's critics, who have not lifted the burden. This revised version was published online in June 2006 with corrections to the Cover Date.     

Democracy and Fatalism in the Former Soviet Union1

Recent political events in the former Soviet Union suggest that democracy has only a tenuous hold in this region. Underlying many of these events may be psychological values and beliefs ill conducive to the development of democracy. In the 2 studies described in this paper, conducted in 1995 and 1998, 2 large and representative groups of manual workers, students, civil servants, managers, and the retired from 4 former Soviet republics completed measures of fatalism, attitudes toward democracy, and democratic participation (N= 2,672 and 925). Structural equation analyses of the data from both studies find that particular groups (in particular, manual workers and the retired) hold the strongest fatalistic beliefs, which in turn predict democratic attitudes, voting behavior, and political‐party membership. These findings are discussed in the light of possible interventions that might promote democratic participation in the region.     

Sharp Edges from Hedges: Fatalism, Vagueness and Epistemic Possibility

Mights plug gaps. If p lacks a truth-value, then ‘It might be that p’ should also lack truth-value. Yet epistemic hedges often turn an unassertible statement into an assertible one. The phenomenon is illustrated in detail for two kinds of statements that are frequently alleged to be counterexamples to the principle of bivalence: future contingents and statements that apply predicates to borderline cases. The paper concludes by exploring the prospects for generalizing this gap-plugging strategy.