Dongwoo Kim

In a series of papers, Papineau argues that the Swampman scenario is not even the start of an objection to teleosemantics as a scientific reduction of belief. It is against this claim that I want to argue here. I shall argue that our intuition about the scenario questions the adequacy of the conceptual foundations of teleosemantics, namely, success semantics and the etiological conception of biological function, on which the explanatory power of the theory rests. In the course of argument, some general connections between explanation and modality will be developed that shed a new light on Kripke’s analysis of necessary a posteriori propositions. The upshot will be that teleosemanticists should tackle the Swampman objection head-on.

I shall discuss some of the issues concerning a notorious doctrine of Frege that sentences are names of truth-values. I am interested in a problem raised by Kripke that the doctrine obscures the distinction between judgeable and unjudgeable contents. I shall present what I take to be Frege’s account of judgeable content: a proper expression of a judgeable content is susceptible to an analysis into a predicate and an argument-word, where a predicate is understood as a concept-word used to attribute a certain property to the referent of the argument-word. In the light of this analysis, I shall argue that the doctrine does not obscure the distinction. The problem will also be discussed within the formal context of Grundgesetze. A new light will be shed on his rather peculiar conception of the symbol ‘ ${\boldsymbol \vdash}$’.

Kripke observes that the decimal numerals have the buck-stopping property: when a number is given in decimal notation, there is no further question of what number it is. What makes them special in this way? According to Kripke, it is because of structural revelation: each decimal numeral represents the structure of the corresponding number. Though insightful, I argue, this account has some counterintuitive consequences. Then I sketch an alternative account of the buck-stopping property in terms of how we specify the positions of numbers in the progression.

I shall discuss some of the relations among metaphysical modality, essence, and explanation. Marion Godman, Antonella Mallozzi and David Papineau have recently argued that the essence of a kind consists in its super-explanatory property—a single property that is causally responsible for a multitude of commonalities shared by the instances of the kind. And they argue that this super-explanatory account of essence offers a principled account of aposteriori necessities concerning kinds. I shall examine their arguments and argue that they are fallacious. Along the way, a general problem will also emerge that applies to any account that tries to explicate the notion of essence in terms of an explanatory relation.

In the addenda to his Naming and Necessity, Kripke provides an account of how necessary aposteriori statements are possible. In such a case, there is an apriori general principle telling us that it is necessary if true at all. Though straightforward in its broad compass, this account faces two obvious questions in its application: in each case of necessary aposteriori statements, what is the underlying principle and how is it established apriori? I treat these questions with respect to theoretical identity statements concerning chemical substances, such as ‘water is H2OH2O’. I argue that the general principle underlying the necessity of the statements is that if a chemical substance has a certain chemical composition, then it could not have had any other chemical composition. Then I defend the view that the principle is a conceptual truth by providing a novel derivation of it from the theoretical concept of chemical substance with a sufficient level of formal rigor. The logical principles required for the derivation will also be stated and defended.

The present paper attempts to provide an exact truthmaker semantical analysis of modalized propositions. According to the present proposal, an exact truthmaker for “Necessarily _P_” is a state that bans every exact truthmaker for “Not _P_”, and an exact truthmaker for “Possibly _P_” is a state that allows an exact truthmaker for _P_. Based on this proposal, a formal semantics will be developed; and the soundness and completeness results for a well-known family of the systems of normal modal propositional logic will be established. It shall be seen that the present analysis offers an exactification of the standard Kripke semantics in the sense that it analyzes the accessibility relation between possible worlds in terms of the banning and allowing relations between the constituent states, and thereby gives an account of “truth at a possible world” in terms of exact truthmaking.