Necessary a Posteriori Identity Truths: Fregeanism Beats Direct Reference Theory

I argue that Fregeanism with respect to proper names—the view that modes of presentation are relevant to the contents of proper names—is able to account for the thesis that there are necessarily true a posteriori identity propositions such as the one expressed in “Hesperus is identical with Phosphorus”, whereas the Direct Reference Theory—according to which the semantic function of certain expressions, e.g., proper names, is only to pick out an object (referent)—is able to deal with only their necessary truth. Thus, at least in so far as necessarily true a posteriori identity propositions are concerned, Fregeanism should be preferred to the Direct Reference Theory.     

If I Were Kripke … Attributive Names and the Necessary A Posteriori

According to Naming and Necessity, proper names usually work referentially as rigid designators. In this paper, I argue that proper names have also attributive uses that systematically emerge in particular contexts. Attributive uses are then exploited to show that simple identity claims (such as “Hesperus is Phosphorus”) are open to a double interpretation. The main aim of the paper is arguing that the impression that certain true identities are a posteriori is mostly due to one of the two readings, a reading according to which, however, the expressed truth is only contingently true.     

A Posteriori Physicalism and Introspection

Introspection presents our phenomenal states in a manner otherwise than physical. This observation is often thought to amount to an argument against physicalism: if introspection presents phenomenal states as they essentially are, then phenomenal states cannot be physical states, for we are not introspectively aware of phenomenal states as physical states. In this article, I examine whether this argument threatens a posteriori physicalism. I argue that as along as proponents of a posteriori physicalism maintain that phenomenal concepts present the nature of their referents in a partial and incomplete manner, a posteriori physicalism is safe.     

Tichý on Kripke on a Posteriori Necessities

Philosophical Studies -     

Remarks on an Avoidable Error in a Posteriori Testing

This article discusses a widespread error that occurs with a posteriori testing in factorial analyses of variance. Frequently, an incorrect sample size is used under the radical in the formula for computing a critical difference such as the Fisher least significance difference. This usually leads to an inappropriately large critical difference; thus, few if any significant differences are uncovered between the means. An interesting example of this error, from a journal article by Van Berschot (1979), is examined. Researchers are urged always to use under the radical the number of observations on which each mean being compared is based.     

Computers as a Source of A Posteriori Knowledge in Mathematics

Electronic computers form an integral part of modern mathematical practice. Several high-profile results have been proven with techniques where computer calculations form an essential part of the proof. In the traditional philosophical literature, such proofs have been taken to constitute a posteriori knowledge. However, this traditional stance has recently been challenged by Mark McEvoy, who claims that computer calculations can constitute a priori mathematical proofs, even in cases where the calculations made by the computer are too numerous to be surveyed by human agents. In this article we point out the deficits of the traditional literature that has called for McEvoy’s correction. We also explain why McEvoy’s defence of mathematical apriorism fails and we discuss how the debate over the epistemological status of computer-assisted mathematics contains several unfortunate conceptual reductions.     

Local Theories of Causation and the a Posteriori Identification of the Causal Relation

The need to find an intrinsic characterization of what makes a relation between events causal arises not only in local theories of causation like Salmon's process theory but also in global approaches like Lewis' counterfactual theory. According to the localist intuition, whether a process connecting two events is causal should depend only on what goes on between the events, not on conditions that hold elsewhere in the world. If such intrinsic characterizations could be found, an identification of the causal relation in the actual world (though not in other possible worlds) with physical processes may be feasible (the a posteriori identification). I consider recent proposals made for intrinsic characterizations of causality and conclude that none of them is able to deliver the intended result.     

Category-specified Value Statements

A value statement such as “she is a good teacher” is categoryspecified, i.e., the criteria of evaluation are specified as those that are applicable to a given category, in this case the category of teachers. In this study of categoryspecified value statements, certain categories are identified that cannot be used to specify value aspects. Special attention is paid to categories that are constituted by functional characteristics. The logical properties of value statements that refer to such categories are shown to differ significantly from the corresponding properties in social choice theory.     

Statements,components and extensionality

The philosophically important questions concerning what can be deduced from a given statement, of what would constitute a correct analysis or translation of it, of whether to say that P is to say that Q., and others, can be clearly formulated and possibly answered only on the basis of prior clear formulations of what is to be meant by “statement component of a statement”;. This paper takes up these questions in the context of a discussion of a certain formulation of the so‐called Extensionality Thesis. It attempts to show the hidden complexity of this thesis (and those questions) by indicating the consequences for it of several more or less plausible interpretations of the notions of meaningful statement, and statement component.