This essay addresses one of the open questions of proof-theoretic semantics: how to understand the semantic values of atomic sentences. I embed a revised version of the explanatory proof system of Millson and Straßer (2019) into the proof-theoretic semantics of Francez (2015) and show how to specify (part of) the intended interpretation of atomic sentences on the basis of their occurrences in the premises and conclusions of inferences to and from best explanations.

Event concepts are unstructured atomic concepts that apply to event types. A paradigm example of such an event type would be that of diaper changing, and so a putative example of an atomic event concept would be DADDY'S-CHANGING-MY-DIAPER.1 I will defend two claims about such concepts. First, the conceptual claim that it is in principle possible to possess a concept such as DADDY'S-CHANGING-MY-DIAPER without possessing the concept DIAPER. Second, the empirical claim that we actually possess such concepts and (...) that they play an important role in our cognitive lives. The argument for the empirical claim has the form of an inference to the best explanation and is aimed at those who are already willing to attribute concepts and beliefs to infants and nonhuman animals. Many animals and prelinguistic infants seem capable of re-identifying event-types in the world, and they seem to store information about things happening at particular times and places. My account offers a plausible model of how such organisms are able to do this without attributing linguistically structured mental states to them. And although language allows adults to form linguistically structured mental representations of the world, there is no good reason to think that such structured representations necessarily replace the unstructured ones. There is also no good reason for a philosopher who is willing to explain the behavior of an organism by appealing to atomic concepts of individuals or kinds to not use a similar form of explanation when explaining the organism's capacity to recognize events. -/- We can form empirical concepts of individuals, kinds, properties, event-types, and states of affairs, among other things, and I assume that such concepts function like what François Recanati calls ‘mental files’ or what Ruth Millikan calls ‘substance concepts’ (Recanati 2012; Millikan 1999, 2000, 2017). To possess such a concept one must have a reliable capacity to re-identify the object in question, but this capacity of re-identification does not fix the reference of the concept. Such concepts allow us to collect and utilize useful information about things that we re-encounter in our environment. We can distinguish between a perception-action system and a perception-belief system, and I will argue that empirical concepts, including atomic event concepts, can play a role in both systems. The perception-action system involves the application of concepts in the service of (often skilled) action. We can think of the concept as a mental file containing motor-plans that can be activated once the individual recognizes that they are in a certain situation. In this way, recognizing something (whether an object or an event) as a token of a type, plays a role in guiding immediate action. The perception-belief system, in contrast, allows for the formation of beliefs that can play a role in deliberation and planning and in the formation of expectations. I distinguish between two particular types of belief which I call where-beliefs and when-beliefs, and I argue that we can model the formation of such perceptual beliefs in nonlinguistic animals and human infants in terms of the formation of a link between an empirical concept and a position on a cognitive map. According to the account offered, seemingly complex beliefs, such as a baby's belief that Daddy changed her diaper in the kitchen earlier, will not be linguistically structured. If we think that prelinguistic infants possess such concepts and are able to form such beliefs, it is likely that adults do too. The ability to form such beliefs does not require the capacity for public language, and we can model them in nonlinguistic terms; thus, we have no good reason to think of such beliefs as propositional attitudes. Of course, we can use sentences to refer to such beliefs, and thus it is possible to think of such beliefs as somehow relations to propositions. But it is not clear to me what is gained by this as we have a perfectly good way to think about the structure of such beliefs that does not involve any appeal to language. (shrink)

Inferentialism is a theory in the philosophy of language which claims that the meanings of expressions are constituted by inferential roles or relations. Instead of a traditional model-theoretic semantics, it naturally lends itself to a proof-theoretic semantics, where meaning is understood in terms of inference rules with a proof system. Most work in proof-theoretic semantics has focused on logical constants, with comparatively little work on the semantics of non-logical vocabulary. Drawing on Robert Brandom’s notion of material inference and Greg Restall’s (...) bilateralist interpretation of the multiple conclusion sequent calculus, I present a proof-theoretic semantics for atomic sentences and their constituent names and predicates. The resulting system has several interesting features: (1) the rules are harmonious and stable; (2) the rules create a structure analogous to familiar model-theoretic semantics; and (3) the semantics is compositional, in that the rules for atomic sentences are determined by those for their constituent names and predicates. (shrink)

It is argued that most anaphors have semantic content and that the semantic content of a given anaphoric atom plays an active role in determining both its distribution and the interpretation of the sentences in which it is employed. It is first demonstrated that semantic distinctions between semantically relational anaphoric atoms predict differences between their distributions. It is then argued that all of the semantically relational anaphoric atoms respect Principle A, while semantically contentless anaphors often do not.

We call a semantic theory 'classical' if it includes the assertions that (I) a function V assigning semantic value maps object language proper names into some set D, (ii) V maps object language atomic sentences into some set F, and (iii) the extension of any object language unary predicate is a member of the power set of D. Two theorems can be proven which assert that any classical theory which includes certain other assumptions assigns the same member of (...) F to every true object language sentence. Many accept the following argument: (1) every plausible semantic theory is classical and contains the assertions named in the theorems, (2) if the semantic value of declarative sentences is a representation or representational then, some different true sentences differ in what they represent, hence, declarative sentences are not representational. I show how to avoid the conclusion by arguing for the falsity of (1). (shrink)

We prove a 0-1 law for the fragment of second order logic SO over parametric classes of finite structures which allow only one unary atomic type. This completes the investigation of 0-1 laws for fragments of second order logic defined in terms of first order quantifier prefixes over, e.g., simple graphs and tournaments. We also prove a low oscillation law, and establish the 0-1 law for Σ14 without any restriction on the number of unary types.

The organization of words into phrases and sentences is what is traditionally associated with syntax: the “syntagmatic” combinatoriality in human language. Surface language, crucially including word formation, is a mere “expression” of deep thought, and whatever word-level regularities can be found ought to be studied as regularities of thought unmediated by lexical expression. Argument structure is syntactic, necessarily, since it is to be identified with the syntactic structures projected by lexical heads. The configurational position that an argument ends up (...) in may be the result of syntactic processes that are subject to standard syntactic constraints such as locality—lending support to the inherently syntactic character of conceptual structures of the basic thematic kind, as well as to lexical decomposition. (shrink)

We define two notions for intuitionistic predicate logic: that of a submodel of a Kripke model, and that of a universal sentence. We then prove a corresponding preservation theorem. If a Kripke model is viewed as a functor from a small category to the category of all classical models with morphisms between them, then we define a submodel of a Kripke model to be a restriction of the original Kripke model to a subcategory of its domain, where every node in (...) the subcategory is mapped to a classical submodel of the corresponding classical model in the range of the original Kripke model. We call a sentence universal if it is built inductively from atoms using ∧, ∨, ∀, and →, with the restriction that antecedents of → must be atomic. We prove that an intuitionistic theory is axiomatized by universal sentences if and only if it is preserved under Kripke submodels. We also prove the following analogue of a classical model-consistency theorem: The universal fragment of a theory Γ is contained in the universal fragment of a theory Δ if and only if every rooted Kripke model of Δ is strongly equivalent to a submodel of a rooted Kripke model of Γ. Our notions of Kripke submodel and universal sentence are natural in the sense that in the presence of the rule of excluded middle, they collapse to the classical notions of submodel and universal sentence. (shrink)

Hamkins and Kikuchi (2016, 2017) show that in both set theory and class theory the definable subset ordering of the universe interprets a complete and decidable theory. This paper identifies the minimum subsystem of,, that ensures that the definable subset ordering of the universe interprets a complete theory, and classifies the structures that can be realised as the subset relation in a model of this set theory. Extending and refining Hamkins and Kikuchi's result for class theory, a complete extension,, of (...) the theory of infinite atomic boolean algebras and a minimum subsystem,, of are identified with the property that if is a model of, then is a model of, where M is the underlying set of, is the unary predicate that distinguishes sets from classes and is the definable subset relation. These results are used to show that that decides every 2‐stratified sentence of set theory and decides every 2‐stratified sentence of class theory. (shrink)

We present interpretation‐based processing—a theory of sentence processing that builds a syntactic and a semantic representation for a sentence and assigns an interpretation to the sentence as soon as possible. That interpretation can further participate in comprehension and in lexical processing and is vital for relating the sentence to the prior discourse. Our theory offers a unified account of the processing of literal sentences, metaphoric sentences, and sentences containing semantic illusions. It also explains how text can prime (...) lexical access. We show that word literality is a matter of degree and that the speed and quality of comprehension depend both on how similar words are to their antecedents in the preceding text and how salient the sentence is with respect to the preceding text. Interpretation‐based processing also reconciles superficially contradictory findings about the difference in processing times for metaphors and literals. The theory has been implemented in ACT‐R [Anderson and Lebiere, The Atomic Components of Thought, Lawrence Erlbaum Associates Publishers, Mahwah, NJ, 1998]. (shrink)

The paper argues that two distinct and independent notions of plurality are involved in natural language anaphora and quantification: plural reference (the usual non-atomic individuals) and plural discourse reference, i.e., reference to a quantificational dependency between sets of objects (e.g., atomic/non-atomic individuals) that is established and subsequently elaborated upon in discourse. Following van den Berg (PhD dissertation, University of Amsterdam, 1996), plural discourse reference is modeled as plural information states (i.e., as sets of variable assignments) in a (...) new dynamic system couched in classical type logic that extends Compositional DRT (Muskens, Linguistics and Philosophy, 19, 143-186, 1996). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The idea that plural info states are semantically necessary (in addition to non-atomic individuals) is motivated by relative-clause donkey sentences with multiple instances of singular donkey anaphora that have mixed (weak and strong) readings. At the same time, allowing for non-atomic individuals in addition to plural info states enables us to capture the intuitive parallels between singular and plural (donkey) anaphora, while deriving the incompatibility between singular (donkey) anaphora and collective predicates. The system also accounts for empirically unrelated phenomena, e.g., the uniqueness effects associated with singular (donkey) anaphora discussed in Kadmon (Linguistics and Philosophy, 13, 273-324, 1990) and Heim (Linguistics and Philosophy, 13, 131-177, 1990) among others. (shrink)

We characterize the 3-stratifiable theorems of NF as a 3-stratifiable extension of NF 3 ; and show that NF is equiconsistent with TT plus raising type axioms for sentences asserting the existence of some predicate over an atomic Boolean algebra.

We prove two results on the stability spectrum for Lω1,ω. Here [Formula: see text] denotes an appropriate notion of Stone space of m-types over M. Theorem for unstable case: Suppose that for some positive integer m and for every α μ, K is not i-stable in μ. These results provide a new kind of sufficient condition for the unstable case and shed some light on the spectrum of strictly stable theories in this context. The methods avoid the use of compactness (...) in the theory under study. In this paper, we expound the construction of tree indiscernibles for sentences of Lω1,ω. Further we provide some context for a number of variants on the Ehrenfeucht–Mostowski construction. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

First published in 1971, Professor Putnam's essay concerns itself with the ontological problem in the philosophy of logic and mathematics - that is, the issue of whether the abstract entities spoken of in logic and mathematics really exist. He also deals with the question of whether or not reference to these abstract entities is really indispensible in logic and whether it is necessary in physical science in general.

Thought, Fact, and Reference was first published in 1978.Against a background of criticism of alternative accounts, Professor Hochberg presents an analysis of thought, reference, and truth within the tradition of logical atomism. He analyzes G. E. Moore's early attack on idealism and examines the influence of Moore on the development of Bertrand Russell's and Ludwig Wittgenstein's logical atomism. He traces an early divergence between Russell and Wittgenstein, on the one side, and Moore and Gottlob Frege on the other, into variants (...) recently advocated by Wilfrid Sellars, Gustav Bergmann, and others. The work will be of interest to professional philosophers, graduate students in philosophy, and linguists with interests in philosophy. (shrink)

Intuitionistic sentential logic is shown to be sound and complete with respect to a semantics centered around extensions of atomic bases (i.e. sets of inference rules for atomic sentences). The result is made possible through a non-standard interpretation of disjunction, whereby, roughly speaking, a disjunction is taken to hold just in case every atomic sentence that follows from each of the disjuncts separately holds; it is argued that this interpretation makes good sense provided that rules in (...) atomic bases are conceived of as being accepted hypothetically rather than categorically. (shrink)

Awarded the 1988 Johnsonian Prize in Philosophy. Published with the aid of a grant from the National Endowment for the Humanities.

The picture of information acquisition as the elimination of possibilities has proven fruitful in many domains, serving as a foundation for formal models in philosophy, linguistics, computer science, and economics. While the picture appears simple, its formalization in dynamic epistemic logic reveals subtleties: given a valid principle of information dynamics in the language of dynamic epistemic logic, substituting complex epistemic sentences for its atomic sentences may result in an invalid principle. In this article, we explore such failures (...) of uniform substitution. First, we give epistemic examples inspired by Moore, Fitch, and Williamson. Second, we answer affirmatively a question posed by van Benthem: can we effectively decide when every substitution instance of a given dynamic epistemic principle is valid? In technical terms, we prove the decidability of this schematic validity problem for public announcement logic (PAL and PAL-RC) over models for finitely many fully introspective agents, as well as models for infinitely many arbitrary agents. The proof of this result illuminates the reasons for the failure of uniform substitution. (shrink)

The comprehension principle of set theory asserts that a set can be formed from the objects satisfying any given property. The principle leads to immediate contradictions if it is formalized as an axiom scheme within classical first order logic. A resolution of the set paradoxes results if the principle is formalized instead as two rules of deduction in a natural deduction presentation of logic. This presentation of the comprehension principle for sets as semantic rules, instead of as a comprehension axiom (...) scheme, can be viewed as an extension of classical logic, in contrast to the assertion of extra-logical axioms expressing truths about a pre-existing or constructed universe of sets. The paradoxes are disarmed in the extended classical semantics because truth values are only assigned to those sentences that can be grounded in atomic sentences. (shrink)

The analysis of atomic sentences and their subatomic components poses a special problem for proof-theoretic approaches to natural language semantics, as it is far from clear how their semantics could be explained by means of proofs rather than denotations. The paper develops a proof-theoretic semantics for a fragment of English within a type-theoretical formalism that combines subatomic systems for natural deduction [20] with constructive (or Martin-Löf) type theory [8, 9] by stating rules for the formation, introduction, elimination and (...) equality of atomic propositions understood as types (or sets) of subatomic proof-objects. The formalism is extended with dependent types to admit an interpretation of non-atomic sentences. The paper concludes with applications to natural language including internally nested proper names, anaphoric pronouns, simple identity sentences, and intensional transitive verbs. (shrink)

This paper spells out the positive theory sketched at the end of "Against Stepping Back".): According to deflationists, [p] is true is in some sense equivalent to p. The problem that the semantic paradoxes pose for the deflationist is to explicate this equivalence without relying on a semantics grounded in the sort of real reference relations that a deflationist thinks do not exist. More generally, the deflationist is challenged to give an account of logical validity that does not force us (...) to countenance such relations. (The usual model-theoretic definition seems to presuppose that there is some special interpretation, the intended interpretation, such that truth simpliciter is truth on that intended interpretation. So if the deflationist adopts this sort of definition, the deflationist will be challenged to identify the intended interpretation without positing real reference relations.) Fortunately, a precise semantics compatible with the deflationist philosophy can be had as follows: First, we define a context as a certain sort of set constructed from a basis of literals (atomic sentences and negations of atomic sentences). This formal account of contexts has to be supplemented with an account of the conditions under which a structure satisfying the formal definition is the structure of that kind pertinent ot a given conversation. For each syntactic type of sentence, we define the conditions under which a sentence of that type is assertible relative to a context. In particular, we define the conditions under which sentences of the form " [p] is true" are assertible in a context, and we define the conditions under which sentences of the form "[p] is assertible in context G" are assertible in a context. Finally, logical validity is defined as preservation of assertibility in a context. It is demonstrated that this approach to semantics resists the semantic paradoxes. (shrink)

In proof-theoretic semantics the meaning of an atomic sentence is usually determined by a set of derivations in an atomic system which contain that sentence as a conclusion (see, in particular, Prawitz, 1971, 1973). The paper critically discusses this standard approach and suggests an alternative account which proceeds in terms of subatomic introduction and elimination rules for atomic sentences. A simple subatomic normal form theorem by which this account of the semantics of atomic sentences (...) and the terms from which they are composed is underpinned, shows moreover that the proof-theoretic analysis of first-order logic can be pursued also beneath the atomic level. (shrink)

Suppose my utilities are representable by a set of utility assignments, each defined for atomic sentences; suppose my beliefs are representable by a set of probability assignments. Then each of my utility assignments together with each of my probability assignments will determine a utility assignment to non-atomic sentences, in a familiar way. This paper is concerned with the question, whether I am committed to all the utility assignments so constructible. Richard Jeffrey (1984) says (in effect) "no", (...) Isaac Levi (1974) says "yes". I argue for "no", and raise in passing a problem for Levi. (shrink)

The dissertation introduces new sequent-calculi for free first- and second-order logic, and a hyper-sequent calculus for modal logics K, D, T, B, S4, and S5; to attain the calculi for the stronger modal logics, only external structural rules need to be added to the calculus for K, while operational and internal structural rules remain the same. Completeness and cut-elimination are proved for all calculi presented.Philosophically, the dissertation develops an inferentialist, or proof-theoretic, theory of meaning. It takes as a starting point (...) that the sense of a sentence is determined by the rules governing its use. In particular, there are two features of the use of a sentence that jointly determine its sense, the conditions under which it is coherent to assert that sentence and the conditions under which it is coherent to deny that sentence. The dissertation develops a theory of quantification as marking coherent ways a language can be expanded and modality as the means by which we can reflect on the norms governing the assertion and denial conditions of our language. If the view of quantification that is argued for is correct, then there is no tension between second-order quantification and nominalism. In particular, the ontological commitments one can incur through the use of a quantifier depend wholly on the ontological commitments one can incur through the use of atomic sentences. The dissertation concludes by applying the developed theory of meaning to the metaphysical issue of necessitism and contingentism. Two objections to a logic of contingentism are raised and addressed. The resulting logic is shown to meet all the requirement that the dissertation lays out for a theory of meaning for quantifiers and modal operators.Abstract prepared by Andrew ParisiE-mail: [email protected]: https://opencommons.uconn.edu/dissertations/1480/. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our (...) theory is the account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

Currents expositions of game-theoretical semantics two lines of interpretation are mixed. On the one hand, the theory provides a way of extending truht-conditions from atomic to non-atomic sentences. On the other hand, the theory analyze meaning by allowing us to describe a certain kind of compIex activities: verification games against Nature. In this paper, both inteperpretations are sorted out and their respective emphasized.

Solving expressivism’s Frege-Geach problem requires specifying the attitudes expressed by arbitrarily complex moral sentences. Nicholas Unwin emphasizes the problems that arise in doing so for even the relatively simple case of negated atomic sentences. Terry Horgan and Mark Timmons believe that contrary-forming predicate negation offers a solution to this negation problem. I argue that their solution is incomplete.

Let Ln be a sentential language with n atomic sentences {A1, . . . , An}. Let Sn = {s1, . . . , s2n} be the set of 2n state descriptions of Ln, in the following, canonical lexicographical truth-table order: State Description A1 A2 · · · An−1 An T T T T T s1 = A1 & A2 & · · · &An−1 & An T T T T F s1 = A1 & A2 & · (...) · · &An−1 & ¬An T T T F T s3 = A1 & A2 & · · · & ¬An−1 & An T T T F F s4 = A1 & A2 & · · · & ¬An−1 & ¬An.. (shrink)

The paper presents a plan for negation, proposing a paradigm shift from the Australian plan for negation, leading to a family of contra-classical logics. The two main ideas are the following: Instead of shifting points of evaluation (in a frame), shift the evaluated formula. Introduce an incompatibility set for every atomic formula, extended to any compound formula, and impose the condition on valuations that a formula evaluates to true iff all the formulas in its incompatibility set evaluate to false. (...) Thus, atomic sentences are not independent in their truth-values. The resulting negation, in addition to excluding the negated formula, provides a positive alternative to the negated formula. I also present a sound and complete natural deduction proof systems for those logics. In addition, the kind of negation considered in this paper is shown to provide an innovative notion of grounding negation. (shrink)

In “Truth – A Traditional Debate Reviewed”, Crispin Wright proposed an inductive definition of “coherence truth” for arithmetic relative to an arithmetic base theory B. Wright’s definition is in fact a notational variant of the usual Tarskian inductive definition, except for the basis clause for atomic sentences. This paper provides a model-theoretic characterization of the resulting sets of sentences "cohering" with a given base theory B. These sets are denoted WB. Roughly, if B satisfies a certain minimal (...) condition, then WB is the Th, where M is the canonical model of the set At of atomic sentences provable in B. The paper also shows that the disquotational T-scheme is provable from Wright’s inductive definition just in case the base theory B is sound and complete for arithmetic atomic sentences. (shrink)

Consensus has it that generic sentences such as “Dogs bark” and “Birds fly” contain, at the level of logical form, an unpronounced generic operator: Gen. On this view, generics have a tripartite structure similar to overtly quantified sentences such as “Most dogs bark” and “Typically, birds fly”. I argue that Gen doesn’t exist and that generics have a simple bipartite structure on par with ordinary atomic sentences such as “Homer is drinking”. On my view, the subject (...) terms of generics are kind-referring. The interesting truth conditions characteristic of generics arise from the interesting ways in which kinds inherit properties from their members. (shrink)

Many philosophers employ an intellectual division of labour. Philosophy tells us what the truth conditions of various philosophically interesting sentences are. For example, atomic sentences containing numerals are sentences containing singular terms putatively referring to numbers; sentences about what could be are sentences quantifying over possible worlds and so on. Some discipline outside of philosophy tells us that certain of these sentences are true. The purported result is that such philosophically controversial entities as (...) numbers and possible worlds have been shown to exist. I criticize this ‘twin-track strategy’ and try to show that the two components conflict rather than complement each other. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:CAUSALITY AND GENERALITY IN THE TREATISE AND THE TRACTATUS In the Tractatus Wittgenstein cryptically rejects the existence of a causal connection (or relation or nexus) : 5.135There is no possible way of making an inference from the existence of one situation to the existence of another, entirely different situation. 5.136There is no causal nexus to justify such an inference. 5.1361 We cannot infer the events of the future from (...) those of the present. Belief stition. Belief in the causal nexus is super1 And he later proceeds to add: 6.37 There is no compulsion making one thing happen because another has happened. The only necessity that exists is logical necessity. What he is claiming can be understood in terms of the "Logical Atomism* of the Tractatus. Atomic sentences, composed of a monadic predicate or a relational predicate and a suitable number of subject terms, represent situations or possible facts. The existence of a represented situation is the ground of truth for (or condition for the truth of or explanation of the truth of) the representing atomic sentence. We can consider 2 such atomic situations or atomic facts to be composed of a monadic property or relational property and an appropriate number of particulars. (This is a matter of some debate among interpreters of the Tractatus, but that issue does not really affect the question at issue in this paper. So, I will simply treat the view in the Tractatus along the lines of Russell's more explicit version of logical atomism in his lectures of 1918.) The world, according to Wittgenstein, is made up of such facts. This is the point of: 1.11The world is the totality of facts, not of things. 1.12The facts in logical space are the world. 1.13The world divides into facts. Consider, then, the claim that a's being F is the cause of its being G. This suggests that we construe causality in terms of a relation between the situations represented by 'Fa' and 'Ga'. With 1C representing a relation or nexus of causality, we could express that situation by: (1)C(Fa, Ga). The existence of the situation represented by (1) would then ground or explain the truth of (1). But that would mean that we recognize a relation of causality and causal relations between facts or situations. I cannot here argue, but will simply assert, that Wittgenstein's logical atomism in the Tractatus is incompatible with the recognition of relations between facts. However, one point that will be relevant to the concerns of this paper is easy to see. Logical atomism involves the claim — 1.21 Each item can be the case or not the case while everything else remains the same. This is not compatible with the recognition of the relation C and a fact grounding the truth of (1), for then Fo and Ga would not be items that were "independent" in the sense of 1.21. Hence, one who holds Wittgenstein's views about the independence of atomic facts cannot recognize causal relations between such facts. Thus, no fact is represented by (1) and C cannot relate atomic facts. The same results would hold if one suggested, in place of (1), that there was a fact corresponding to (2)(X)(Fx * Gx), where we read the arrow as the "causal" arrow — anything's being F causes it to be G. For, if there were a fact corresponding to (2), it would guarantee the link between the purported atomic facts Fa and Ga, since (3)Fa + Ga would be a logical consequence of (2), and we are back to a case like (1), with the arrow replacing 'C. (2) would also be problematic in that it would be some sort of "general" fact, which Wittgenstein also rejects. Thus, as Wittgenstein sees it there is no basis in the world for the explanation of causal statements. If the sentence (4)' (x) (Fx O Gx) ' is a statement of causal law is true, it is so simply because the list of atomic facts will contain the atomic sentence 'Ga' if it contains 'Fa'. That is, (4) is true, not because of any special fact corresponding to (5)(X... (shrink)

I show that the act-type theories of Soames and Hanks entail that every sentence with alternative analyses (including every atomic sentence with a polyadic predicate) is ambiguous, many of them massively so. I assume that act types directed toward distinct objects are themselves distinct, plus some standard semantic axioms, and infer that act-type theorists are committed to saying that ‘Mary loves John’ expresses both the act type of predicating [loving John] of Mary and that of predicating [being loved by (...) Mary] of John. Since the two properties are distinct, so are the act types. Hence, the sentence expresses two propositions. I also discuss a non-standard “pluralist” act-type theory, as well as some retreat positions, which all come with considerable problems. Finally, I extrapolate to a general constraint on theories of structured propositions, and find that Jeffrey King’s theory has the same unacceptable consequence as the act-type theory. (shrink)

This paper offers a response to Ramsey's famous challenge to draw a logical, as opposed to merely syntactical, distinction between names and predicates. Three attempts to meet this challenge are considered, one from Dummett, one from Geach, and one from Brandom. It is shown that none of these adequately addresses Ramsey's challenge. The paper concludes with a response to Ramsey that avoids the pitfalls of the other three replies. The advantage of the view proposed is that there is nothing preventing (...) the set of sentences in consideration from consisting only of atomic sentences. The upshot of my solution is that the distinction between names and properties rests on the presence of relational predicates in a language and the validity of the structural rules of identity, contraction, and cut. (shrink)

Inquiry into the metaphysics of essence tends to be pursued in a realist and model-theoretic spirit, in the sense that metaphysical vocabulary is used in a metalanguage to model truth conditions for the object-language use of essentialist vocabulary. This essay adapts recent developments in proof-theoretic semantics to provide a nominalist analysis for a variety of essentialist vocabularies. A metalanguage employing explanatory inferences is used to individuate introduction and elimination rules for atomic sentences. The object-language assertions of sentences (...) concerning essences are then interpreted as devices for marking off structural features of the explanatory inferences that, under a given interpretation, constitute the contents of the atoms of the language. On this proposal, object-language essentialist vocabulary is mentioned in a proof-theoretic metalanguage that uses a vocabulary of explanation. The result is a nominalist interpretation of essence as a modality, understood in the grammatical sense as a modification of the copula, and a view of metaphysical inquiry that is closely connected to the explanatory commitments present in first-order inquiry into things like sets, chemicals, and organisms. This result illustrates that some of the presuppositions that have animated analytic metaphysics over the last few decades can be profitably substituted with more practice-oriented conceptions of the forms of reasoning at work in different domains of human knowledge. (shrink)

I here propose a hitherto unnoticed possibility of solving embedding problems for noncognitivist expressivists in metaethics by appeal to Conceptual Role Semantics. I show that claims from the latter as to what constitutes various concepts can be used to define functions from states expressed by atomic sentences to states expressed by complex sentences, thereby allowing an expressivist semantics that satisfies a rather strict compositionality constraint. The proposal can be coupled with several different types of concept individuation claim, (...) and is shown to pave the way to novel accounts for, e.g., negation. (shrink)

Professor Stevenson's valuable paper [5] calls attention to a number of discrepancies between ‘if’ in English and its usual translation into the horseshoe of material implication. “This is not a reason for distrusting the horseshoe,” he notes, “which is useful so long as it is taken to mean just what it is defined to mean; and it is not a reason for distrusting our English if's, which in spite of their ambiguities are indispensable to our daily discourse”. Accordingly, Stevenson proposes (...) to develop a “richer logic” than the ordinary one, by adding as primitives certain sentential connectives. He speaks throughout in the old terminology of “propositions” rather than in that of the sentences or statements used to express them. Thus he speaks of atomic and molecular propositions, somehow no doubt as real entities in the world, where talk of atomic and molecular sentences would save him from implicit involvement in the notorious difficulties connected with atomic facts. Finally, the inner structure of atomic sentences, and therewith of molecular ones, is never considered. Many molecular sentences contain quantifiers in interesting ways, the clarification of which would seem essential in getting at their structure. Stevenson, however, has no concern with quantifiers, and does not exhibit the quantificational structure of the English sentences considered. (shrink)

As the final component of a chain of reasoning intended to take us all the way to logical nihilism, Russell (2018) presents the atomic sentence ‘prem’ which is supposed to be true when featuring as premise in an argument and false when featuring as conclusion in an argument. Such a sentence requires a non-reflexive logic and an endnote by Russell (2018) could easily leave the reader with the impression that going non-reflexive suffices for logical nihilism. This paper shows how (...) one can obtain non-reflexive logics in which ‘prem’ behaves as stipulated by Russell (2018) but which nonetheless has valid inferences supporting uniform substitution of any formula for propositional variables such as modus tollens and modus ponens. (shrink)

The paper addresses the main questions to be dealt with by any semantic theory which is committed to provide an explanation of how meaning is possible. On one side the paper argues that the resources provided by the development of mathematical logic, theoretical computer science, cognitive psychology, and general linguistics in the 20th Century, however indispensable to investigate the structure of language, rely on the existence of end products in the morphogenesis of meaning. On the other, the paper argues that (...) philosophy of language, which, either in the analytic or the structuralist or the hermeneutical tradition, made little use of such resources (when they are not simply rejected). Left the main question unanswered. Though phenomenology intended to focus on the constitutive process, it ended up mostly with philology. Cognitive semantics paved the way to focus on patterns of bodily interaction within the natural environment out of which basic schemes emerge and are metaphorically “lifted” to any universe of discourse. The explanatory commitment is thus endorsed through two hypotheses: (1) these schemes, of topological and kinaesthetic structure, determine the range of forms of atomic sentences of any natural language, and (2) the category-theoretic notion of universality allows for a proper analysis of how such schemes are “lifted”. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. The idea is (...) that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals (...) with applications especially those involving the distinction between characterizing a system and axiomatizing the truths of a system. (shrink)

In this paper I offer solutions to two problems which our moral practice engenders for expressivism, the meta-ethical doctrine according to which ethical statements aren't propositional, susceptible of truth and falsity, but, rather, express the speaker's non-cognitive attitudes. First, the expressivist must show that arguments which are valid when interpreted propositionally are valid when construed expressivistically, and vice versa. The second difficulty is the Frege-Geach problem. Moral arguments employ atomic sentences, negations, disjunctions, etc., and, by expressivist lights, the (...) meaning of a moral sentence depends on the attitude that it expresses. Since one's attitude varies as one asserts a claim, or negates it, or cites it as a disjunct, etc., the meaning of the relevant phrase changes as well, so the argument equivocates. (Formal proofs are provided in appendices to the paper.). (shrink)