There is a curious bifurcation in the literature on ground and its logic. On the one hand, there has been a great deal of work that presumes that logical complexity invariably yields grounding. So, for instance, it is widely presumed that any fact stated by a true conjunction is grounded in those stated by its conjuncts, that any fact stated by a true disjunction is grounded in that stated by any of its true disjuncts, and that any fact stated by (...) a true double negation is grounded in that stated by the doubly-negated formula. This commitment is encapsulated in the system GG axiomatized and semantically characterized by [deRosset and Fine, 2023] (following [Fine, 2012]). On the other hand, there has been a great deal of important formal work on “flatter” theories of ground, yielding logics very different from GG [Correia, 2010] [Fine, 2016, 2017b]. For instance, these theories identify the fact stated by a self-conjunction $$(\phi \wedge \phi )$$ with that stated by its conjunct $$\phi $$. Since, in these systems, no fact grounds itself, the “flatter” theories are inconsistent with the principles of GG. This bifurcation raises the question of whether there is a single notion of ground suited to fulfill the philosophical ambitions of grounding enthusiasts. There is, at present, no unified semantic framework employing a single conception of ground for simultaneously characterizing both GG and the “flatter” approaches. This paper fills this gap by specifying such a framework and demonstrating its adequacy. (shrink)

It’s widely accepted that normativity is not subject to truth values. The underlying reasoning is that truth values can only be predicated of descriptive statements; normative statements are prescriptive, not descriptive; thus truth value predicates cannot be assigned to normative statements. Hence, deonticity lacks logical semantics. This semantic monism has been challenged over the last decades from a series of perspectives that open the way for legal logics with imperative semantics. In the present paper I will go back (...) to Kant and review his understanding of practical judgments, presenting it as supported by a pluralistic semantics. From this perspective a norm of Law is a logical expression that includes as content a generic description of a possible behavior by a generality of juridical agents, and assigns to that content the assertion of its obligatory character, accompanied by a disincentive for non-compliance. From this perspective legal norms can be syntactically formalized and assigned appropriate semantic values in such terms that they can be incorporated into valid inferential schemes. The consequence is that we can put together legal logics that handle both the phenomenal and the deontic dimensions of legality. (shrink)

We pose two arguments for the view that sentences containing definite descriptions semantically express multiple propositions: a general proposition as Russell suggested, and a singular proposition featuring the individual who uniquely satisfies the description at the world-time of utterance. One argument mirrors David Kaplan's arguments that indexicals express singular propositions through a context-sensitive character. The second argument mirrors Kent Bach's and Stephen Neale's arguments for pluralist views about terms putatively triggering conventional implicatures, appositive, and nonrestrictive relative clauses. After presenting these (...) arguments, we show that rival explanations (appeals to implicature, referential use, presupposition, etc.) do not offer equally compelling explanations of the data, and defend the methodology employed in the arguments against some criticisms. (shrink)

This paper endeavors to establish foundations for the interaction between hyperintensional semantics and two-dimensional indexing. I examine the significance of the semantics, by developing three, novel interpretations of the framework. The first interpretation provides a characterization of the distinction between fundamental and derivative truths. The second interpretation demonstrates how the elements of decision theory are definable within the semantics, and provides a novel account of the interaction between probability measures and hyperintensional grounds. The third interpretation concerns the (...) contents of the types of intentional action, and the semantics is shown to resolve a puzzle concerning the role of intention in action. Topic-sensitive two-dimensional truthmaker semantics can be interpreted epistemically and metasemantically. (shrink)

ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to be equivalent; (...) but, when regarded as consequence systems (ibid., p. 157), one diverges from the others in a fashion which suggests that two standard measures of semantic complexity may not be as closely linked as previously thought. -/- This 1974 paper uses the linear notation for natural deduction presented in [2]: each two-dimensional deduction is represented by a unique one-dimensional string of characters. Thus obviating need for two-dimensional trees, tableaux, lists, and the like—thereby facilitating electronic communication of natural deductions. The 1969 paper presents a (modal, sentential) logic which may be thought of as a partial systematization of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of this logic coincides those of standard formalizations of Lewis’s S4. Among the paper's innovations is its treatment of modal logic in the setting of natural deduction systems--as opposed to axiomatic systems. The author’s apologize for the now obsolete terminology. For example, these papers speak of “a proof of a sentence from a set of premises” where today “a deduction of a sentence from a set of premises” would be preferable. 1. Corcoran, John. 1969. Three Logical Theories, Philosophy of Science 36, 153–77. J P R -/- 2. Corcoran, John and George Weaver. 1969. Logical Consequence in Modal Logic: Natural Deduction in S5 Notre Dame Journal of Formal Logic 10, 370–84. MR0249278 (40 #2524). 3. Weaver, George and John Corcoran. 1974. Logical Consequence in Modal Logic: Some Semantic Systems for S4, Notre Dame Journal of Formal Logic 15, 370–78. MR0351765 (50 #4253). (shrink)

Dugundji proved in 1940 that most parts of standard modal systems cannot be characterized by a single finite deterministic matrix. In the eighties, Ivlev proposed a semantics of four-valued non-deterministic matrices (which he called quasi-matrices), in order to characterize a hierarchy of weak modal logics without the necessitation rule. In a previous paper, we extended some systems of Ivlev’s hierarchy, also proposing weaker six-valued systems in which the (T) axiom was replaced by the deontic (D) axiom. In this paper, (...) we propose even weaker systems, by eliminating both axioms, which are characterized by eight-valued non-deterministic matrices. In addition, we prove completeness for those new systems. It is natural to ask if a characterization by finite ordinary (deterministic) logical matrices would be possible for all those Ivlev-like systems. We will show that finite deterministic matrices do not characterize any of them. (shrink)

The starting point for this paper is a critical discussion of claims of psychological reality articulated within Borg’s (forth.) minimal semantics and Carpintero’s (2007) character*-semantics. It has been proposed, for independent reasons, that their respective accounts can accommodate, or at least avoid the challenge from psychological evidence. I outline their respective motivations, suggesting various shortcomings in their efforts of preserving the virtues of an uncontaminated semantics in the face of psychological objection (I-II), and try to make the (...) case that, at least for a theory of utterance comprehension, a truth-conditional pragmatic stance is far preferable. An alternative from a relevance-theoretic perspective is offered in terms of mutual adjustment between truth-conditional content and implicature(s), arguing that many “free” pragmatic processes are needed to uncover the truth-conditional content, which can then warrant the expected implicature(s) (III). I finally illustrate the difficulties their accounts have in predicting the correct order of interpretation in cases of ironic metaphor, i.e. metaphor is computed first, as part of truth-conditional content, while irony is inferentially grounded in metaphorical content (IV). (shrink)

La Logique ou L'Art de Penser (LAP), also known as the Port-Royal Logic, is generally presented as a "logic of ideas" in which the idea, the central epistemological entity, is the starting point of this logic based on Cartesian ontology. Structured around the four main operations of the mind - conceiving, judging, reasoning and ordering - the first part of the LAP contains "reflections on ideas". The idea, "the form by which we represent things [objects]", thus takes the place of (...) the concept in Aristotelian-inspired logic. Some of the chapters in this first part deal with the problems raised in scholasticism by the theory of _proprietates terminorum_, which means that it is also a semantics of terms. The word 'term' itself must be understood in its logical and grammatical dimensions. The analyses of the 'Messieurs' of Port-Royal often have a logico-grammatical character, because, according to the anthropology of the authors, men need to make their thoughts heard by one another through language (institutional signs) and, therefore, "it is necessary in logic to consider ideas joined to words, and words joined to ideas". In this text, we shall endeavour to show the importance and innovative character of the semantics of terms in this logic of ideas which makes LAP a pivotal moment in the evolution of the language sciences, reviving the tradition and allowing dialogue with future developments (extension vs. comprehension, explanation, determination of terms, etc.). We will pay particular attention to the chapters on definition, "a remedy for the confusion that arises in our thoughts and speech from the confusion of words". (shrink)

We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely (...) combinatorial characterisation of polyhedrally complete logics. Using the Nerve Criterion we show, easily, that there are continuum many intermediate logics that are not polyhedrally complete but which have the finite model property. We also provide, at considerable combinatorial labour, a countably infinite class of logics axiomatised by the Jankov–Fine formulas of ‘starlike trees’ all of which are polyhedrally complete. The polyhedral completeness theorem for these ‘starlike logics’ is the second main result of this paper. (shrink)

An adequate semantics for generic sentences must stake out positions across a range of contested territory in philosophy and linguistics. For this reason the study of generic sentences is a venue for investigating different frameworks for understanding human rationality as manifested in linguistic phenomena such as quantification, classification of individuals under kinds, defeasible reasoning, and intensionality. Despite the wide variety of semantic theories developed for generic sentences, to date these theories have been almost universally model-theoretic and representational. This essay (...) outlines a range of proof-theoretic analyses for characterizing generics. Particular attention is given to an expressivist proof-theory that can be traced to 1) work on logical syntax that Carnap undertook prior to his turn toward truth-conditional model theory in the late 1930s, and 2) research on sequent calculi and natural deduction systems that originate in work from Gentzen and Prawitz.1. (shrink)

In “Demonstratives”, David Kaplan introduced a simple and remarkably robust semantics for indexicals. Unfortunately, Kaplan’s semantics is open to a number of apparent counterexamples, many of which involve recording devices. The classic case is the sentence “I am not here now” as recorded and played back on an answering machine. In this essay, I argue that the best way to accommodate these data is to conceive of recording technologies as introducing special, non-basic sorts of contexts, accompanied by non-basic (...) conventions governing the use of indexicals in those contexts. The idea is that recording devices allow us to use indexicals in new and innovative ways to coordinate on objects. And, given sufficient regularity in the use of indexicals on such devices, linguistic conventions will, over time, come to reflect this innovation. I consider several alternatives to this ‘character-shifting’ theory, but none is able to account for the data as well as the present proposal. Many face additional theoretical difficulties as well. I conclude by explaining how the character-shifting theory not only retains many of the virtues of Kaplan’s original semantics, but also coheres with a plausible view on the nature of semantic theorizing more generally. (shrink)

The book is a collection of papers and aims to unify the questions of syntax and semantics of language, which are included in logic, philosophy and ontology of language. The leading motif of the presented selection of works is the differentiation between linguistic tokens (material, concrete objects) and linguistic types (ideal, abstract objects) following two philosophical trends: nominalism (concretism) and Platonizing version of realism. The opening article under the title “The Dual Ontological Nature of Language Signs and the Problem (...) of Their Mutual Relations” provides a broad introduction into the problem area connected with this differentiation, while the logic-formal characteristics of the distinction are framed in the work entitled “On the Type-Token Relationships” (Chapter 1). The basic part of the book deals with issues relating to syntax (Chapters 2-4) and semantics of language (Chapters 5-6), as well as pertaining to syntactic-semantic pragmatic questions (Chapters 7-13). Throughout the book, language, categorial language, is characterized syntactically as generated by classical categorial grammar (Chapter 2) and formalized on two opposing levels: as language of expression-tokens (level of tokens) and language of expression-types (level of types). The author’s considerations contained in Chapters 2 and 4 lead to the important philosophical conclusion that in formal-logical syntactic studies on language the assumption that expression-types constitute the primary language layer while expression-tokens make the secondary one, can be neglected; thus, this speaks in favour of the opposing standpoint—the concretistic one—in the ontology of language syntax. In the works “Meaning and Interpretations”, Parts I and II (Chapters 5 and 6), it is underlined, however, that such semantic concepts as: meaning, denotation and interpretation are defined on the types level, yet their formal definitions require making use of notions of the tokens level. The semantic notions introduced in the above-mentioned articles are also used in the following works of the present selection, under the titles: “Three Principles of Compositionality” and “On Metaknowledge and Truth” (Chapters 7 and 8). They formalize two principles of compositionality that are well known in the literature on the subject, deriving from Frege, i.e. those of meaning and of denotation; they are related to the syntactic principle of compositionality which was introduced by the author. All the three principles are, at the same time, three conditions of homomorphism of categorial language algebra into three kinds of non-standard models of language (one syntactic and two semantic ones: intensional and extensional), which allows introducing three definitions of truthfulness into these models. The next two works in the collection, entitled: “On Language Adequacy” and “What is the Sense in Logic and Philosophy of Language” (Chapters 9 and 10) concern adequacy of categorial language syntax along with its dual semantics: intensional and extensional, and categorial compatibility of any of its syntactic categories with two corresponding semantic categories: intensional and extensional, based on the compatibility the syntactic category of each language expression with the ontological category assigned to its denotatum. The well-known problem of categorial compatibility for first-order quantifiers finds its solution in the paper “Categories of First-Order Quantifiers” (Chapter 11). In the work “Logic and Ontology of Language” (Chapter 12), being in a sense a summary of the considerations presented in the preceding chapters of the book, language is treated as an ontological being, characterized in compliance with the logical conception of language proposed by Ajdukiewicz. Application—like throughout the book—of tools of classical logic and set theory has resulted in emergence of a general formal logical theory of syntax, semantics and pragmatics of language, which takes into account duality in the understanding of linguistic expressions as tokens (concretes) and types (abstract objects). In terms that take into account a functional approach to language itself, there comes out an ontological neutrality of logic with respect to existential assumptions relating to the ontological nature of linguistic expressions and their extra-linguistic ontological counterparts. The issues connected with applying logic while explaining the manner of using linguistic tokens and linguistic types to determine notions of language communication are raised and illustrated in the last chapter of the work, bearing the title “A Logical Conceptualization of Knowledge on the Notion of Language Communication”. (shrink)

In this paper we present a characterization of hyper-connexivity by means of a relating semantics for Boolean connexive logics. We also show that the minimal Boolean connexive logic is Abelardian, strongly consistent, Kapsner strong and antiparadox. We give an example showing that the minimal Boolean connexive logic is not simplificative. This shows that the minimal Boolean connexive logic is not totally connexive.

The article addresses the problem of how semantic information can be upgraded to knowledge. The introductory section explains the technical terminology and the relevant background. Section 2 argues that, for semantic information to be upgraded to knowledge, it is necessary and sufficient to be embedded in a network of questions and answers that correctly accounts for it. Section 3 shows that an information flow network of type A fulfils such a requirement, by warranting that the erotetic deficit, characterising the target (...) semantic information t by default, is correctly satisfied by the information flow of correct answers provided by an informational source s. Section 4 illustrates some of the major advantages of such a Network Theory of Account (NTA) and clears the ground of a few potential difficulties. Section 5 clarifies why NTA and an informational analysis of knowledge, according to which knowledge is accounted semantic information, is not subject to Gettier-type counterexamples. A concluding section briefly summarises the results obtained. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given (...) this enrichment, we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

Two semantic paradoxes, the Liar and Curry’s paradox, are analysed using a newly developed conception of procedural semantics (semantics according to which the truth of propositions is determined algorithmically), whose main characteristic is its departure from methodological realism. Rather than determining pre-existing facts, procedures are constitutive of them. Of this semantics, two versions are considered: closed (where the halting of procedures is presumed) and open (without this presumption). To this end, a procedural approach to deductive reasoning is (...) developed, based on the idea of simulation. As is shown, closed semantics supports classical logic, but cannot in any straightforward way accommodate the concept of truth. In open semantics, where paradoxical propositions naturally ‘belong’, they cease to be paradoxical; yet, it is concluded that the natural choice—for logicians and common people alike—is to stick to closed semantics, pragmatically circumventing problematic utterances. (shrink)

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

Some philosophers advance the claim that the phenomena of logical omniscience and of the indiscernibility of metaphysical statements, which arise in (certain) interpretations of normal modal logic, provide strong reasons in favour of impossible world approaches. These two specific lines of argument will be presented and discussed in this paper. Contrary to the recent much-held view that the characteristics of these two phenomena provide us with strong reasons to adopt impossible world approaches, the view defended here is that no such (...) ‘knock-down arguments’ do emanate on those grounds. This is not to rule out that there cannot be any other good reasons for assuming impossible world semantics. However, the discussion of a further argument for impossible worlds will suggest that different attempts to argue for them likely present intertwined problems. (shrink)

Focusing on the 'today'/'yesterday' case, I argue that Perry is wrong in accounting for and explaining indexical belief states in terms of Kaplanian characters and in taking these states to be internal (narrow) mental states inside the subject's mind. It is shown that this view is at odds with Perry's own reliance on remembering a past day as a necessary condition for retaining a belief about it. As a better tool for explaining appropriate indexical beliefs, I offer an alternative which (...) is neo-Fregean in that it takes senses or modes of presentation as playing only a cognitive, not a semantic role. It, however, takes remembering a past day as necessary for retaining a belief about it, rather than keeping track of time as urged by Evans. I also consider unfeasible Evans's further requirement which he takes over from Frege: that in order to retain a belief about a certain past day we need to think of it now under the same mode of presentation as we did on that very day. (shrink)

In this paper I will develop a view about the semantics of imperatives, which I term Modal Noncognitivism, on which imperatives might be said to have truth conditions (dispositionally, anyway), but on which it does not make sense to see them as expressing propositions (hence does not make sense to ascribe to them truth or falsity). This view stands against “Cognitivist” accounts of the semantics of imperatives, on which imperatives are claimed to express propositions, which are then enlisted (...) in explanations of the relevant logico-semantic phenomena. It also stands against the major competitors to Cognitivist accounts—all of which are non-truth-conditional and, as a result, fail to provide satisfying explanations of the fundamental semantic characteristics of imperatives (or so I argue). The view of imperatives I defend here improves on various treatments of imperatives on the market in giving an empirically and theoretically adequate account of their semantics and logic. It yields explanations of a wide range of semantic and logical phenomena about imperatives—explanations that are, I argue, at least as satisfying as the sorts of explanations of semantic and logical phenomena familiar from truth-conditional semantics. But it accomplishes this while defending the notion—which is, I argue, substantially correct—that imperatives could not have propositions, or truth conditions, as their meanings. (shrink)

Descriptive semantic theories purport to characterize the meanings of the expressions of languages in whatever complexity they might have. Foundational semantics purports to identify the kind of considerations relevant to establish that a given descriptive semantics accurately characterizes the language used by a given individual or community. Foundational Semantics I presents three contrasting approaches to the foundational matters, and the main considerations relevant to appraise their merits. These approaches contend that we should look at the contents of (...) speakers’ intuitions; at the deep psychology of users and its evolutionary history, as revealed by our best empirical theories; or at the personal-level rational psychology of those subjects. Foundational Semantics II examines a fourth view, according to which we should look instead at norms enforced among speakers. The two papers aim to determine in addition the extent to which the approaches are really rival, or rather complementary. (shrink)

Semantic realism can be characterised as the idea that scientific theories are truth-bearers, and that they are true or false in virtue of the world. This notion is often assumed, but rarely discussed in the literature. I examine how it fares in the context of the semantic view of theories and in connection with the literature on scientific representation. Making sense of semantic realism requires specifying the conditions of application of theoretical models, even for models that are not actually used, (...) which leads to several difficulties. My conclusion is that semantic realism is far more demanding than one would expect. Finally, I briefly examine some pragmatist alternatives. (shrink)

I propose a unified solution to two puzzles: Ross's puzzle and free choice permission. I begin with a pair of cases from the decision theory literature illustrating the phenomenon of act dependence, where what an agent ought to do depends on what she does. The notion of permissibility distilled from these cases forms the basis for my analysis of 'may' and 'ought'. This framework is then combined with a generalization of the classical semantics for disjunction — equivalent to Boolean (...) disjunction on the diagonal, but with a different two-dimensional character — that explains the puzzling facts in terms of semantic consequence. (shrink)

In recent metaphysics, the questions of whether fictional entities exist, what their nature is, and how to explain truths of statements such as “Sherlock Holmes lives at 221B Baker Street” and “Holmes was created by Arthur Conan Doyle” have been subject to much debate. The main aim of my thesis is to wrestle with key proponents of the abstractionist view that fictional entities are abstract objects that exist (van Inwagen 1977, 2018, Thomasson 1999 and Salmon 1998) as well as Walton’s (...) (1990) pretense view, which denies the existence of such entities. In the process, I propose modifications to these views to deal with problems they face and show how the modifications better account for the philosophical data. -/- Key abstractionists (van Inwagen 1977, Thomasson 1999) make a strict distinction between discourse within fiction, in which statements about literary characters cannot be literally true, and discourse about fiction, as it occurs in literary criticism, where statements about fictional characters can be literally true. Fictional objects are postulated to account for the truth of the latter. This runs into trouble because statements thought to be literally true are not literal. (Yagisawa 2001, Friend 2002) I provide a uniform analysis to account for the truth of statements involving fictional characters by appealing to a presupposition involving a metaphor in both contexts. The presupposition is that there is an x such that x is fictional; x is likened to a real person; and x is and ought to be treated/counted as a real person for all relevant intents and purposes. -/- More generally, I adopt Everett and Schroeder’s (2015) realist view that fictional characters are ideas constituted by mental representations. This, to me, better accounts for how fictional characters are created within the world’s causal nexus (unlike non-spatiotemporal entities in abstractionism), among other things. One key challenge they face is to explain how ideas can possess properties such as being a detective. I present a fine-grained version of their view, according to which the mental representations constituting fictional entities encode mind-dependent properties. Moreover, I explain how reference to such representations is possible, using Bencivenga’s (1983) Neo-Kantian view of reference and Karttunen’s (1976) view on discourse referents. Finally, I suggest that the identity of fictional characters is interest-relative. The constant, and sometimes radical, change of properties that, fictional characters can undergo is taken to be a consequence of the fact that unified mental representations are bundles of simpler mental representations. As change occurs, simpler representations are replaced by others. -/- A key theme that runs through the thesis is that neither fictionality nor pretense is relevant to the semantics of fictional sentences—a claim bolstered by Matravers’ (2014) arguments. Whether or not my account works, this claim, as well as the new philosophical data I bring up, are some of the challenges I pose to the heart of established views. (shrink)

This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.

In his 1975 paper “The Meaning of ‘Meaning’”, Hilary Putnam famously argued for semantic externalism. Little attention has been paid, however, to the fact that already in 1973, Putnam had presented the idea of the linguistic division of labor and the Twin Earth thought experiment in his comment on Wilfrid Sellars’s “Meaning as Functional Classification” at a conference, and Sellars had replied to Putnam from a broadly inferentialist perspective. The first half of this paper aims to trace the development of (...) Putnam’s semantic externalism, situate his debate with Sellars in it, and reconstruct the two arguments he presented against Sellars. The second half of this paper aims to reconstruct how Sellars replied to Putnam. I argue that Sellars not only accepts the social character of language but also suggests how inferentialists can accommodate the contribution of the world. Sellars’s key idea is that substance terms have a “promissory note aspect” which is to be cashed out in a successor conceptual framework. I reconstruct Sellars’s position as ideal successor externalism, and compare it with temporal externalism. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

This paper has three main goals. First, to motivate a puzzle about how ignorance-expressing terms like maybe and if interact: they iterate, and when they do they exhibit scopelessness. Second, to argue that there is an ambiguity in our theoretical toolbox, and that exposing that opens the door to a solution to the puzzle. And third, to explore the reach of that solution. Along the way, the paper highlights a number of pleasing properties of two elegant semantic theories, explores some (...) meta-theoretic properties of dynamic notions of meaning, dips its toe into some hazardous waters, and offers characterization theorems for the space of meanings an indicative conditional can have. (shrink)

In this article I give an overview of some recent work in philosophy of science dedicated to analysing the scientific process in terms of (conceptual) mathematical models of theories and the various semantic relations between such models, scientific theories, and aspects of reality. In current philosophy of science, the most interesting questions centre around the ways in which writers distinguish between theories and the mathematical structures that interpret them and in which they are true, i.e. between scientific theories as linguistic (...) systems and their non-linguistic models. In philosophy of science literature there are two main approaches to the structure of scientific theories, the statement or syntactic approach -- advocated by Carnap, Hempel and Nagel -- and the non- statement or semantic approach --advocated, among others, by Suppes, the structuralists, Beth, Van Fraassen, Giere, Wojcicki. In conclusion, I briefly review some of the usual realist inspired questions about the possibility and character of relations between scientific theories and reality as implied by the various approaches I discuss in the course of the article. The models of a scientific theory should indeed be adequate to the phenomena, but if the theory is 'adequate' to (true in) its conceptual (mathematical) models as well, we have a model-theoretic realism that addresses the possible meaning and reference of 'theoretical entities' without relapsing into the metaphysics typical of the usual scientific realist approaches. (shrink)

This chapter defends a view of semantics on which developing a semantic theory closely resembles developing a scale of measurement. The view helps explain how semantics has made so much progress despite deep disagreements about the target of semantic theorizing (e.g., between those who maintain that semantics is characterizing something psychological, and those who maintain that it is characterizing something social), how appeals to set-theoretic abstracta make sense despite Benacerraf-style worries and despite the fact that set-theoretic entities (...) fit badly with standard (e.g., causal) metasemantic views, and why the threat of radical context sensitivity does not undermine the semantic project. (shrink)

Semantic analysis in early analytic philosophy belongs to a long tradition of adopting geometrical methodologies to the solution of philosophical problems. In particular, it adapts Descartes’ development of formalization as a mechanism of analytic representation, for its application in natural language semantics. This article aims to trace the mathematical roots of Frege, Russel and Carnap’s analytic method. Special attention is paid to the formal character of modern analysis introduced by Descartes. The goal is to identify the particular conception of (...) “form” developed by the analytic tradition, from Descartes to early analytic philosophy, and to determine its relation to similar notions, like ‘function’ and ‘syntax’. Finally, I focus on how Frege, Russell and Carnap’s methods of semantic analysis fit the general characterization of formal analysis previously developed. (shrink)

The paper examines the role played by the notion of truth in the version of scientific realism known as scientific entity realism. Scientific entity realism is the thesis that the unobservable entities postulated by scientific theories are real. As such, it is an ontological thesis about the existence of certain entities. By contrast, scientific realism is often characterised as a thesis primarily involving the truth of theories. Sometimes scientific realism is expressed as the thesis that theoretical statements are intended as (...) true descriptions of reality. Another favoured theme is that theoretical statements are objectively true or false in virtue of the way the world is independently of us. To such formulations it is usually added that the sense of 'true' required by scientific realism is the correspondence sense. To mark the contrast with scientific entity realism, I shall say that a formulation of scientific realism in terms of truth is a semantic version of scientific realism. [For footnotes, see The Semantic Stance of Scientific Entity Realism Corrigenda in Philosophia 25 3-4 1997 481-482]. (shrink)

In this paper, we present a formalism for handling polysemy in spatial expressions based on supervaluation semantics called standpoint semantics for polysemy (SSP). The goal of this formalism is, given a prepositional phrase, to define its possible spatial interpretations. For this, we propose to characterize spatial prepositions by means of a triplet ⟨ image schema, semantic feature, spatial axis⟩⁠. The core of SSP is predicate grounding theories, which are formulas of a first-order language that define a spatial preposition (...) through the semantic features of its trajector and landmark. Precisifications are also established, which are a set of formulae of a qualitative spatial reasoning formalism that aims to provide the spatial characterization of the trajector with respect to the landmark. In addition to the theoretical model, we also present results of a computational implementation of SSP for the preposition ‘in’. (shrink)

Speakers assert in order to communicate information. It is natural, therefore, to hold that the content of an assertion is whatever information it communicates to its audience. In cases involving uncertainty about the semantic values of context-sensitive lexical items, moreover, it is natural to hold that the information an assertion communicates to its audience is whatever information audience members are in a position to recover from it by assuming that the proposition it semantically determines is true. This sort of picture (...) corresponds to an influential and widely endorsed theory of assertoric content: diagonalism. I begin by arguing that, despite its intuitive appeal, diagonalism should be rejected because it conflicts with our intuitive judgments about the circumstances in which the contents of speakers’ assertions would be true or false. I then show that the failure of diagonalism requires us to either abandon a familiar way of thinking about information and rational assertion or hold that the content of an assertion is not always the information it communicates. I suggest that we choose the latter horn of this dilemma — assertoric content is better characterized in terms of the commitments speakers undertake than in terms of the information they communicate. (shrink)

Mental (or semantic) holism is the doctrine that the identity of a belief content (or the meaning of a sentence that expresses it) is determined by its place in the web of beliefs or sentences comprising a whole theory or group of theories. It can be contrasted with two other views: atomism and molecularism. Molecularism characterizes meaning and content in terms of relatively small parts of the web in a way that allows many different theories to share those parts. For (...) example, the meaning of 'chase' might be said by a molecularist to be try to catch. Atomism characterizes meaning and content in terms of none of the web; it says that sentences and beliefs have meaning or content independently of their relations to other sentences or beliefs. One major motivation for holism has come from reflections on the natures of confirmation and learning. As Quine (1953) observed, claims about the world are confirmed not individually, but only in conjunction with theories of which they are a part. And typically, one cannot come to understand scientific claims without understanding a significant chunk of the theory of which they are a part. For example, in learning the Newtonian concepts of 'force', 'mass', kinetic energy' and 'momentum', one doesn't learn any definitions of these terms in terms that are understood beforehand, for there are no such definitions. Rather, these theoretical terms were all learned together in conjunction with procedures for solving problems. The major problem with holism is that it threatens to make generalization in psychology virtually impossible. If the content of any state depends on all others, it would be extremely unlikely that any two believers would ever share a state with the same content. Moreover, holism would appear to conflict with our ordinary conception of reasoning. What sentences one accepts influence what one infers. if i accept a sentence and then later reject it, i thereby change the inferential role of that sentence, so the meaning of what i accept wouldn't be the same as what i later reject. but then it would be difficult to understand on this view how one could rationally --or even irrationally!-- change one's mind. and agreement and translation are also problematic for much the same reason. holists have responded (1) by proposing that we should think not in terms of "same/different" meaning but in terms of a gradient of similarity of meaning, (2) by proposing "two factor" theories or (3) by simply accepting the consequence that there is no real difference between changing meanings and changing beliefs. (shrink)

The Quality of Thought develops and defends the thesis that thinking is a kind of experience, characterized by a sui generis (“cognitive”) phenomenology, determinates of which are thought contents—what I call the phenomenal intentionality of thought thesis. It draws out the implications of this thesis for issues in philosophy of mind, philosophy of language and metaphysics. The view defended is radically internalist and intensionalist, and thus goes against received doctrines in philosophy of mind (externalism) and language (extensionalism). It also advocates (...) for a metaphysically neutral, non-naturalistic approach to the philosophical study of mind—what I call “Analytic Phenomenology”—in combination with agnosticism about the nature of the relationship between consciousness and physical reality. -/- The book identifies persistent problems with Dretske-inspired causal-informational-teleological theories of conceptual content, and diagnoses them as due to leaving out what it’s like to think a thought—to entertain or grasp a propositional (conceptual) content. It is thus a contribution to the increasingly influential Phenomenal Intentionality Research Program. It includes refutations of classic externalism (Putnam and Burge) and arguments that standard motivations for direct reference theories of names (Kripke), indexicals and demonstratives (Kaplan) are not inevitable, and alternative accounts of their (and their conceptual equivalents’) semantics. It also addresses outstanding challenges to the phenomenal intentionalist view of thought content, including the existence of unconscious thought, the elusiveness of conceptual phenomenology, the matching content problem, phenomenal compositionality, and the determination of conceptual reference. (shrink)

Suppositional theories of conditionals take apparent similarities between supposition and conditionals as a starting point, appealing to features of the former to provide an account of the latter. This paper develops a novel form of suppositional theory, one which characterizes the relationship at the level of semantics rather than at the level of speech acts. In the course of doing so, it considers a range of novel data which shed additional light on how conditionals and supposition interact.

Since at least 2008 linguists and philosophers of language have started paying more serious attention to issues concerning the meaning or use of racial epithets and slurs. In an influential article published in The Journal of Philosophy, for instance, Christopher Hom (2008) offered a semantic account of racial epithets called Combinatorial Externalism (CE) that advanced a novel argument for the exclusion of certain epithets from freedom of speech protection under the First Amendment (p. 435). Also in more recent work, “The (...) Expressive Meaning of Racial Epithets: Towards A Non-Unitary Account of Expressive Meaning,” Diane Blakemore (2013) offered an alternative pragmatic account of racial epithets rooted in Dan Sperber and Deirdre Wilson’s (1986) relevance theory. Adam Croom (2008) has also discussed epithets before in prior work, through a consideration of a paradigmatic racial epithet directed towards Native Americans, but then moved on in subsequent work to focus on developing a more nuanced account of paradigmatic slurring terms instead (Croom 2010; Croom 2011; Croom 2012; Croom 2013; Croom 2014a; Croom 2014b; Croom under review). So the purpose of this article is to return to and extend the previous account of racial epithets provided by Croom (2008) through a consideration of another paradigmatic racial epithet, but this time one directed towards Asian Americans instead of Native Americans. Here I also offer a novel suggestion for how to differentiate between epithets and slurs, offering new insight into how epithets and slurs are both similar and different. A sample list of over 100 other racial epithets that can be accounted for by the kind of analysis presented here is provided in Croom (2008, p. 44-45). (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to (...) be that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)

Kripke frames (and models) provide a suitable semantics for sub-classical logics; for example, intuitionistic logic (of Brouwer and Heyting) axiomatizes the reflexive and transitive Kripke frames (with persistent satisfaction relations), and the basic logic (of Visser) axiomatizes transitive Kripke frames (with persistent satisfaction relations). Here, we investigate whether Kripke frames/models could provide a semantics for fuzzy logics. For each axiom of the basic fuzzy logic, necessary and sufficient conditions are sought for Kripke frames/models which satisfy them. It turns (...) out that the only fuzzy logics (logics containing the basic fuzzy logic) which are sound and complete with respect to a class of Kripke frames/models are the extensions of the Gödel logic (or the super-intuitionistic logic of Dummett); indeed this logic is sound and strongly complete with respect to reflexive, transitive and connected (linear) Kripke frames (with persistent satisfaction relations). This provides a semantic characterization for the Gödel logic among (propositional) fuzzy logics. (shrink)

Book Information The Semantics of Media. By Jeff Ross. Dordrecht, Kluwer. 1997. Pp. vii + 137. £56.75.

The utopian character of modern scientific theories, with the human nature as a subject, is an inevitable consequence of the presence of an imperative component of transdisciplinary human dimensional scientific knowledge. Its social function is the adaptation of the descriptive component of the theory to the given socio-cultural type that simplifies the passage of the process of social verification of the theory. The genesis of bioethics can be seen as one of the basic premises for the actualization of the anthropic (...) principle of ontology, which thus acquires the axiological and epistemological sense. (shrink)

Natural language contains simple lexical items for some but not all Boolean operators. English, for example, contains conjunction and, disjunction or, negated disjunction nor, but no word to express negated conjunction *nand nor any other Boolean connective. Natural language grammar can be described by a logic that expresses what the lexicon can express by its primitives, and the rest compositionally. Such logic for propositional connectives is described here as a bilateral extension of update semantics. The basic intuition is that (...) a context can be updated by assertion or by rejection, and by one or multiple propositions at once. These distinctions suffice to characterize the logic of the lexicon. (shrink)

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as granularity, (...) scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)

In 1976, Julian Jaynes (1920-1997) made an important statement in his work titled "The Origin of Consciousness in the Breakdown of the Bicameral Mind''. As modern humans, we are conscious beings and can think about our thoughts. However, in ancient texts it is observed that human self-awareness and self-awareness have not yet been formed in humans. Jaynes calls this way of thinking, which emerged in the 2000 BC and evolved over time, bicameral thinking. Citing exceptional examples taken from Homer and (...) the Old Testament, he argued that historical heroes could not attain consciousness and therefore could not yet become real subjects. Ancient heroes attributed the voices in their minds to supernatural powers. Janes argues that the characters in the Iliad do not sit and think about what to do like we do, nor do they have alert and introspective minds like us. According to Jaynes, the concepts of thumos, phrenes and kradie found in Homer's works can be considered primitive consciousness. Jaynes argues that the bicameral mind lacks the capacity for metacognition (reflective thinking). The bicameral mind, where episodic and semantic memory, introspection and mastery of consciousness have not yet been formed; It evolves with language use over time. In the 2000s BC, marginal social and environmental changes began to collapse due to societal needs. The stress created by new conditions requires neurological adaptation, leading to the development of consciousness and self-awareness. The heroes of tragedy have experienced traumatic events and have changed and transformed as a result; He gains consciousness as introspection and inner monologue, and provides an important example of spiritual transformation as an immortal psycho-mythological figure. During a period that can be described as a transition from myth to logos, the spirit underwent a rupture. The great social transformations and disasters experienced over time have led to the renewal of the human spirit. In fact, there have been attempts such as divination and communication with supernatural forces to reach voices that can no longer be heard. When all this state of conflict is interpreted through the inner conversations and mental transformation of the person, the dynamic structure of the mind will emerge, where the thinking patterns of the person change depending on environmental conditions. (shrink)

This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.

This article focuses on foundational issues in dynamic and static semantics, specifically on what is conceptually at stake between the dynamic framework and the truth-conditional framework, and consequently what kinds of evidence support each framework. The article examines two questions. First, it explores the consequences of taking the proposition as central semantic notion as characteristic of static semantics, and argues that this is not as limiting in accounting for discourse dynamics as many think. Specifically, it explores what it (...) means for a static semantics to incorporate the notion of context change potential in a dynamic pragmatics and denies that this conception of static semantics requires that all updates to the context be eliminative and distributive. Second, it argues that the central difference between the two frameworks is whether semantics or pragmatics accounts for dynamics, and explores what this means for the oft-heard claim that dynamic semantics blurs the semantics/pragmatics distinction. (shrink)

The article presents the results of our observations on syntactic, semantic and plot peculiarities of oral language activity, we find it justified to consider the above mentioned parameters as identification criteria for discovering characterological differences of Ukrainian-speaking and Russian-speaking objects of contact profiling. It describes the connection between mechanisms of psychological defenses as the character structural components, and agentive and non-agentive speech constructions, internal and external predicates. Localized and described plots of oral narratives inherent to representatives of different character types.

This paper is about knowledge construction in music listening. It argues for an experiential approach to music cognition, stressing the dynamic-vectorial field of meaning rather than the symbolic field. Starting from the conceptual framework of deixis and indexical devices, it elaborates on the concept of pointing as a heuristic guide for sense-making which allows the listener to conceive of perceptual elements in terms of salience, valence and semantical weight. As such, the act of (mental) pointing can be predicative, either in (...) a nominalistic or processual way, giving a description of the temporal evolution of a situation as against episodic nominalizations that refer to just one single instance of the process. The latter, especially, are characterized by distancing and polarization between the listener and the music, allowing him/her to deal with the music also at a level of mental imagery and to construct a mental or cognitive map of its unfolding. (shrink)

The aim of this paper is to critically examine the concept of semantic objectivity inherent in Robert Brandom`s works, most importantly Making It Explicit. Concerning Brandom`s theoretical aims, I shall argue that there is some discrepancy between his formal and informal characterisations of the criteria by which his account is to be judged as adequate. After expounding on the discrepancy, I shall propose to reconstruct a mostly implicit line of argument in MIE, highlighted by the more recent developments of Brandom`s (...) work, which I think suffices to smooth it over. (shrink)