Recently, some philosophers have argued that we should take quantification of any order to be a legitimate and irreducible, sui generis kind of quantification. In particular, they hold that a semantic theory for higher-order quantification must itself be couched in higher-order terms. Øystein Linnebo has criticized such views on the grounds that they are committed to general claims about the semantic values of expressions that are by their own lights inexpressible. I show that Linnebo's objection rests on the (...) assumption of a notion of semantic value or contribution which both applies to expressions of any order, and picks out, for each expression, an extra-linguistic correlate of that expression. I go on to argue that higher-orderists can plausibly reject this assumption, by means of a hierarchy of notions they can use to describe the extra-lingustic correlates of expressions of different orders. (shrink)

Jeffrey King has recently argued: (i) that the semantic value of a sentence at a context is (or determines) a function from possible worlds to truth values, and (ii) that this undermines Jason Stanley's argument against the rigidity thesis, the claim that no rigid term has the same content as a non-rigid term. I show that King's main argument for (i) fails, and that Stanley's argument is consistent with the claim that the semantic value of a (...) sentence at a context is (or determines) a function from worlds to truth values. (shrink)

Drawing upon Martin-Löf’s semantic framework for his constructive type theory, semantic values are assigned also to natural-deduction derivations, while observing the crucial distinction between consequence among propositions and inference among judgements. Derivations in Gentzen’s format with derivable formulae dependent upon open assumptions, stand, it is suggested, for proof-objects, whereas derivations in Gentzen’s sequential format are proof-acts.

In this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions. Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that render them no longer propositional. Focusing in recent variants of these arguments involving quantification (...) and binding, we argue that a correct understanding of how composition works gives no reason to relativize semantic values, and that propositional semantic values are in fact the preferred option. We take our argument to be mainly empirical, but along the way, we defend some more general theses. Simple propositional semantic values are viable in composition, we maintain, because composition is itself a complex phenomenon, involving multiple modes of composition. Furthermore, some composition principles make adjustments to the meanings of constituents in the course of composition. These adjustments are by triggered syntactic environments. We argue such small contributions of meaning from syntactic structure are acceptable. (shrink)

A total theory of linguistic understanding is often taken to require three subtheories: a syntactic theory, a semantic theory, and a pragmatic theory. The semantic theory occupies an intermediary role – it takes as input structures generated by the syntax, assigns to those structures meanings, and then passes those meanings on to the pragmatics, which characterizes the conversational 1 impact of those meanings. Semantic theories thus seek to explain phenomena such as truth conditions of and inferential relations (...) among sentences/utterances, anaphoric relations among terms, and ambiguity and incoherence of expressions. (shrink)

A common view relating compositional semantics and the objects of assertion holds the following: Sentences φ and ψ expresses the same proposition iff φ and ψ have the same modal profile. Following Dummett, Evans, and Lewis, Stanley argues that this view is fundamentally mistaken. According to Dummett, we must distinguish the semantic contribution a sentence makes to more complex expressions in which it occurs from its assertoric content. Stojnić insists that views which distinguish the roles of content and (...) class='Hi'>semantic value must nevertheless ensure a tight connection between the two. But, she contends, there is a crucial disanalogy between the views that follow Lewis and the views that follow Dummett. Stanley’s Dummettian view is argued to contain a fatal flaw: On such views, there is no way to secure an appropriate connection between semantic value and a theoretically motivated notion of assertoric content. I will review the background issues from Dummett, Evans, Lewis, and Stanley, and provide a principled way of bridging the gap between semantic value and a theoretically motivated notion of assertoric content. (shrink)

The paper proposes a semantic value for the logical constants (connectives and quantifiers) within the framework of proof-theoretic semantics, basic meaning on the introduction rules of a meaning conferring natural deduction proof system. The semantic value is defined based on Fregecontributions” to sentential meanings as determined by the function-argument structure as induced by a type-logical grammar. In doing so, the paper proposes a novel proof-theoretic interpretation of the semantic types, traditionally interpreted in Henkin models. The (...) compositionality of the resulting attribution of semantic values is discussed. Elsewhere, the same method was used for defining proof-theoretic meaning of subsentential phrases in a fragment of natural language. Doing the same for (the simpler and clearer case of) logic sheds more light on the proposal. (shrink)

Lance and Hawthorne have served up a large, rich and argument-stuffed book that has much to teach us about central issues in the philosophy of language, as well as sports trivia. I shall concentrate, not surprisingly, on points I either disagreed with or found unclear; there are many acute observations, particularly in the second half of the book, that fall into neither of these categories.

ABSTRACT In recent work, Scott Soames has declared that we need a new conception of propositions to overcome critical objections to traditional theories of semantics and propositional attitudes. Propositions must be cognitive to account for their inherent intentionality, structure, and epistemic accessibility, and to overcome Frege’s and Russell’s problems. I have previously worked out a foundational semantics in which cognitive propositions are what sentences express. My objective in this paper is to identify some of the limitations of Soames’s theory, and (...) show how they can be overcome within the cognitive framework. Soames’s conception of propositions is needlessly encumbered by identifying them with acts rather than objects. Soames has not fully exploited the possibilities opened up by embracing cognitive propositions, and is still too attached to Russellian propositions and Millian semantics. As a result, his conception of the constituents of propositions is untenable, and his semantics still faces Frege’s and Russell’s problem, which are easily avoidable with the resources of cognitive propositions. Soames was led astray by a mistaken assumption about transparent attitude reports. (shrink)

Lance and Hawthorne have served up a large, rich and argument-stuffed book that has much to teach us about central issues in the philosophy of language, as well as sports trivia. I shall concentrate, not surprisingly, on points I either disagreed with or found unclear; there are many acute observations, particularly in the second half of the book, that fall into neither of these categories.

I suggest that the core ideas of Kit Fine’s Semantic Relationism are the notion of semantic requirement and the notion of manifest consequence, the non-classical logical relation associated with semantic requirement. Surrounding this core are novel “relational” systems of coordinated sequences of expressions, relational (as opposed to intrinsic) semantic values, coordinated propositions, and coordinated content. I take Fine to take the periphery to be reducible to the core (but see below). I will make some primarily exegetical (...) remarks about the two core ideas, and then make more critical remarks about the periphery. I should say that I find the book, as a whole, illuminating and, for the most part, convincing. I hesitantly suggest that the core constitutes an important and novel model for thinking about semantics (and representation in general), while the periphery might result from an attempt to force the new model into the old mold. (shrink)

Lance and Hawthorne have served up a large, rich and argument-stuffed book that has much to teach us about central issues in the philosophy of language, as well as sports trivia. I shall concentrate, not surprisingly, on points I either disagreed with or found unclear; there are many acute observations, particularly in the second half of the book, that fall into neither of these categories.

Abstract: Friends of plural logic—like Oliver & Smiley (2001), Rayo (2002), Yi (2005), and McKay (2006)—have argued that a semantics of plurals based on mereological sums would be too weak, and they have adduced several examples in favor of their claim. However, they have not considered various possible counter-arguments. So how convincing are their own arguments? We show that several of them are easily answered, while some others are more problematic. Overall, the case against mereological singularism—the idea that mereological sums (...) can serve as the semantic values of plurals—turns out to be much less strong than what it is usually presented to be. (shrink)

This book argues that contextually sensitive expressions have felicitous uses in which they lack unique semantic values in context. It formulates a rule for updating the Stalnakerian common ground in cases in which an accepted sentence contains an expression lacking a unique semantic value in context.

The aim of this paper is to study a particular family of non-deterministic semantics for modal logics that has eight truth-values. These eight-valued semantics can be traced back to Omori and Skurt (2016), where a particular member of this family was used to characterize the normal modal logic K. The truth-values in these semantics convey information about a proposition’s truth/falsity, whether the proposition is necessary/not necessary, and whether it is possible/not possible. Each of these triples is represented by a unique (...) value. In this paper we will study which modal logics can be obtained by changing the interpretation of the $$\Box $$ modality, assuming that the interpretation of other connectives stays constant. We will show what axioms are responsible for a particular interpretations of $$\Box $$. Furthermore, we will study subsets of these axioms. We show that some of the combinations of the axioms are equivalent to well-known modal axioms. We apply the level-valuation technique to all of the systems to regain the closure under the rule of necessitation. We also point out that some of the resulting logics are not sublogics of S5 and comment briefly on the corresponding frame conditions that are forced by these axioms. Ultimately, we sketch a proof of meta-completeness for all of these systems. (shrink)

The logic BN4 was defined by R.T. Brady in 1982. It can be considered as the 4-valued logic of the relevant conditional. E4 is a variant of BN4 that can be considered as the 4-valued logic of entailment. The aim of this paper is to define reduced general Routley-Meyer semantics for BN4 and E4. It is proved that BN4 and E4 are strongly sound and complete w.r.t. their respective semantics.

This paper gives an outline of three different approaches to the four-valued semantics for relevant logics (and other non-classical logics in their vicinity). The first approach borrows from the 'Australian Plan' semantics, which uses a unary operator '⋆' for the evaluation of negation. This approach can model anything that the two-valued account can, but at the cost of relying on insights from the Australian Plan. The second approach is natural, well motivated, independent of the Australian Plan, and it provides a (...) semantics for the contraction-free relevant logic C (or RW). Unfortunately, its approach seems to model little else. The third approach seems to capture a wide range of formal systems, but at the time of writing, lacks a completeness proof. (shrink)

A semantics of vagueness should reject the principle that every statement has a truth-value yet retain the classical tautologies. A many-value, non-truth-functional semantics and a semantics of super-valuations each have this result. According to the super-valuation approach, 'if a man with n hairs on his head is bald, then a man with n plus one hairs on his head is also bald' is false because it comes out false no matter how the vague predicate 'is bald' is appropriately (...) made precise. But why should a sentence in which components actually remain imprecise be regarded as actually false just because it would be false if its components were precise? On one of the alternative treatments of quantification allowed by the many-value approach, the sentence in question is assigned an intermediate value closer to 'false' than to 'true'. Despite the elegance of the super-valuation approach, there are reasons to prefer the many-value approach. (shrink)

There is a wealth of resources— ideas, insights, discoveries, inventions, traditions, cultures, languages, arts, religions, sciences, narratives, stories, poems, customs and norms, music and songs, games and personal experiences, and advertisements—that we produce, curate, consume, transmit, and inherit as humans. This wealth, which I define as semantic capital, gives meaning to, and makes sense of, our own existence and the world surrounding us. It defines who we are and enables humans to develop an individual and social life. This paper (...) discusses the shift from analog to digital semantic capital, and the extent to which this might affect the semanticisation of our identities, our lives and our realities. -/- . (shrink)

This paper is driven by the idea that the contextualism-relativism debate regarding the semantics of value-attributions turns upon certain extra-semantic assumptions that are unwarranted. One is the assumption that the many-place predicate of truth, deployed by compositional semantics, cannot be directly appealed to in theorizing about people's assessments of truth value, but must be supplemented (if not replaced) by a different truth-predicate, obtained through certain "postsemantic" principles. Another is the assumption that semantics assigns to sentences not only (...) truth values (as a function of various parameters, such as contexts, worlds and times), but also semantic contents, and that what context-sensitive expressions contribute to content are certain contextually determined elements. My first aim in this paper will be to show how the two assumptions have shaped two ways of understanding the debate between contextualism and relativism, as regards value-attributions. My second aim will be to show that both assumptions belong outside semantics, and are moreover questionable. (shrink)

This article investigates Kripke-style semantics for two sorts of logics: pseudo-Boolean and weak-Boolean logics. As examples of the first, we introduce G3 and S53pB.G3 is the three-valued Dummett–Gödel logic; S53pB is the modal logic S5 but with its orthonegation replaced by a pB negation. Examples of wB logic are G3wB and S53wB.G3wB is G3 with a wB negation in place of its pB negation; S53wB is S5 with a wB negation replacing its orthonegation. For each system, we provide a three-valued (...) Kripke-style semantics with and without star operation . We prove soundness and completeness theorems in each case. Note that wB logics may be equivalent to logics with Baaz’s projection Δ. We finally introduce the G3 and the S53pB both with Δ and show that they are equivalent to G3wB and S53wB, respectively. (shrink)

In this paper we consider the class of truth-functional modal many-valued logics with the complete lattice of truth-values. The conjunction and disjunction logic operators correspond to the meet and join operators of the lattices, while the negation is independently introduced as a hierarchy of antitonic operators which invert bottom and top elements. The non-constructive logic implication will be defined for a subclass of modular lattices, while the constructive implication for distributive lattices (Heyting algebras) is based on relative pseudo-complements as in (...) intuitionistic logic. We show that the complete lattices are intrinsically modal, with banal identity modal operator. We define the autoreferential set-based representation for the class of modal algebras, and show that the autoreferential Kripke-style semantics for this class of modal algebras is based on the set of possible worlds equal to the complete lattice of algebraic truth-values. The philosophical assumption is based on the consideration that each possible world represents a level of credibility, so that only propositions with the right logic value (i.e., level of credibility) can be accepted by this world, then we connect it with paraconsistent properties and LFI logics. The bottom truth value in this complete lattice corresponds to the trivial world in which each formula is satisfied, that is, to the world with explosive inconsistency. The top truth value corresponds to the world with classical logics, while all intermediate possible worlds represent the different levels of paraconsistent logics. (shrink)

Four known three-valued logics are formulated axiomatically and several completeness theorems with respect to nonstandard intuitive semantics, connected with the notions of information, contrariety and subcontrariety is given.

We develop a bottom-up approach to truth-value semantics for classical logic of partial terms based on equality and apply it to prove the conservativity of the addition of partial description and selection functions, independently of any strictness assumption.

This paper sets out two semantics for the relevant logic R based on Dunn's four-valued semantics for first-degree entailments. Unlike Routley's semantics for weak relevant logics, they do not use two ternary accessibility relations. Unlike Restall's semantics, they capture all of R. But there is a catch. Both of the present semantics are neighbourhood semantics, that is, they include sets of propositions in the specification of their frames.

We argue that many-valued logics can be useful in analysing informational conflicts by using society semantics. This work concentrates on four-valued Łukasiewicz logic. SSs were proposed by Carnielli and Lima-Marques to deal with conflicts of information involving rational agents that make judgements about propositions according to a given logic within a society, where a society is understood as a collection $\mathcal{A}$ of agents. The interesting point of such semantics is that a new logic can be obtained by combining the logic (...) of the agents under some appropriate rules. Carnielli and Lima-Marques defined SSs for the three-valued logics $I^{1}$ and $P^{1}$. In this kind of semantics, all the agents reason according to classical logic and the molecular formulas behave in the same way as in CL. Marcos provided SSs with classical agents for the three-valued Łukasiewicz logic Ł$_{3}$, but in this case, the molecular formulas do not behave classically. We prove here that one can characterize Ł$_{4}^{\prime}$, a conservative extension of Ł$_{4}$ obtained by adding a connective $\blacktriangledown$, by means of a closed society where the agents reason according to Ł$_{3}$. We shall emphasize the importance of recovery operators in the construction of this class of societies. Moreover, we shall relate this semantics to Suszko’s view on the ‘two-valuedness’ of logic. (shrink)

Routley–Meyer semantics (RM-semantics) is defined for Gödel 3-valued logic G3 and some logics related to it among which a paraconsistent one differing only from G3 in the interpretation of negation is to be remarked. The logics are defined in the Hilbert-style way and also by means of proof-theoretical and semantical consequence relations. The RM-semantics is defined upon the models for Routley and Meyer’s basic positive logic B+, the weakest positive RM-semantics. In this way, it is to be expected that the (...) models defined can be adapted to other related many-valued logics. (shrink)

In this article, I try to shed some new light onGrundgesetze§10, §29–§31 with special emphasis on Frege’s criteria and proof of referentiality and his treatment of the semantics of canonical value-range names. I begin by arguing against the claim, recently defended by several Frege scholars, that the first-order domain inGrundgesetzeis restricted to value-ranges, but conclude that there is an irresolvable tension in Frege’s view. The tension has a direct impact on the semantics of the concept-script, not least on (...) the semantics of value-range names. I further argue that despite first appearances truth-value names play a distinguished role as semantic “target names” for “test names” in the criteria of referentiality and do not figure themselves as “test names” regarding referentiality. Accordingly, I show in detail that Frege’s attempt to demonstrate that by virtue of his stipulations “regular” value-range names have indeed been endowed with a unique reference, can plausibly be regarded as a direct application of the context principle. In a subsequent section, I turn to some special issues involved in §10. §10 is closely intertwined with §31 and in my and Richard Heck’s view would have been better positioned between §30 and §31. In a first step, I discuss the piecemeal strategy which Frege applies when he attempts to bestow a unique reference on value-range names in §3, §10–§12. In a second step, I critically analyze his tentative, but predictably unsuccessful proposal to identify all objects whatsoever, including those already clad in the garb of value-ranges, with their unit classes. In conclusion, I present two arguments for my claim that Frege’s identification of the True and the False with their unit classes in §10 is illicit even if both the permutation argument and the identifiability thesis that he states in §10 are regarded as formally sound. The first argument is set out from the point of view of the syntax of his formal language. It suggests though that a reorganization of the exposition of the concept-script would have solved at least one of the problems to which the twin stipulations in §10 give rise. The second argument rests on semantic considerations. If it is sound, it may call into question, if not undermine the legitimacy of the twin stipulations. (shrink)

One of the most important paraconsistent logics is the logic mCi, which is one of the two basic logics of formal inconsistency. In this paper we present a 5-valued characteristic nondeterministic matrix for mCi. This provides a quite non-trivial example for the utility and effectiveness of the use of non-deterministic many-valued semantics.

Paul M. Pietroski presents an ambitious new account of human languages as generative procedures that respect substantive constraints. He argues that meanings are neither concepts nor extensions, and sentences do not have truth conditions; meanings are composable instructions for how to access and assemble concepts of a special sort.

The article deals with the role and significance of value-semantic reflection concerning teachers' professional positions. The purpose of study to reveal the strategy for the implementation of upbringing technologies for solving the problems of spiritual and moral formation of subjects of education. The complex picture of systemic ideas about a person, the nonlinearity of his formation leads to attempts to simplify technological solutions, which contradicts the essence of the individual's spiritual and moral upbringing. The scientific novelty lies in (...) the description of the function of value-semantic reflection in relation to the content of the teacher's professional position. As a result, the author proposes an algorithm for the application of educational technologies based on the systemic value-semantic reflection of the teacher's professional position. (shrink)

A paraconsistent logic is a logic which allows non-trivial inconsistent theories. One of the oldest and best known approaches to the problem of designing useful paraconsistent logics is da Costa’s approach, which seeks to allow the use of classical logic whenever it is safe to do so, but behaves completely differently when contradictions are involved. da Costa’s approach has led to the family of Logics of Formal (In)consistency (LFIs). In this paper we provide non-deterministic semantics for a very large family (...) of first-order LFIs (which includes da Costa’s original system.. (shrink)

Łukasiewicz 3-valued logic Ł3 is often understood as the set of all valid formulas according to Łukasiewicz 3-valued matrices MŁ3. Following Wojcicki, in addition, we shall consider two alternative interpretations of Ł3: ‘truth-preserving’ Ł3a and ‘well-determined’ Ł3b defined by two different consequence relations on the 3-valued matrices MŁ3. The aim of this article is to provide a Routley–Meyer ternary semantics for each one of these three versions of Łukasiewicz 3-valued logic: Ł3, Ł3a and Ł3b.

Disagreeing with most authors on vagueness, the author proposes a solution that he calls ‘three-valued semantic pluralism’ to the age-old sorites paradox. In essence, it is a three-valued semantics for a first-order vague language with identity with the additional suggestion that a vague language has more than one correct interpretation. Unlike the traditional three-valued approach to a vague language, three-valued semantic pluralism can accommodate the phenomenon of higher-order vagueness and the phenomenon of penumbral connection when equipped with ‘suitable (...) conditionals’. The author also shows that three-valued semantic pluralism is a natural consequence of a restricted form of the Tolerance principle ) and a few related ideas, and argues that ) is well-motivated by considerations about how we learn, teach, and use vague predicates. (shrink)