A general characterization of logical opposition is given in the present paper, where oppositions are defined by specific answers in an algebraic question-answer game. It is shown that opposition is essentially a semantic relation of truth values between syntactic opposites, before generalizing the theory of opposition from the initial Apuleian square to a variety of alter- native geometrical representations. In the light of this generalization, the famous problem of existential import is traced back to an ambiguous interpretation of (...) assertoric sentences in Aristotle's traditional logic. Following Abelard’s distinction between two alternative readings of the O-vertex: Non omnis and Quidam non, a logical difference is made between negation and denial by means of a more fine- grained modal analysis. A consistent treatment of assertoric oppositions is thus made possible by an underlying abstract theory of logical opposition, where the central concept is negation. A parallel is finally drawn between opposition and consequence, laying the ground for future works on an abstract operator of opposition that would characterize logical negation just as does Tarski’s operator of consequence for logical truth. (shrink)

Cajetan’s analogy theory is usually evaluated in terms of its fidelity to the teachings of Aquinas. But what if Cajetan was trying to answer questions Aquinas himself did not raise, and so could not help to answer? Cajetan’s De Nominum Analogia can be interpreted as intending to solve a particular semantic problem: to characterize the unity of the analogical concept, so as to defend the possibility of a non-univocal term’s mediating syllogistic reasoning. Aquinas offers various semantic characterizations of (...) analogy, saying it involves, for instance: signification per prius et posterius; or a ratio propria which is only found in one analogate; or diverse modi significandi with a common res significata. Examined in turn, it is clear that none of Aquinas’s rules for analogy solve the semantic problem described. Cajetan thus cannot be reasonably expected to have intended his analogy treatise primarily as an interpretation or systematization of Aquinas’s teaching on analogy. (shrink)

The aim of this chapter is to shed new light on the question of what newly sighted subjects are capable of seeing on the basis of previous experience with mind- independent, external objects and their properties through touch alone. This question is also known as "Molyneux’s question." Much of the empirically driven debate surrounding this question has been centered on the nature of the representational content of the subjects' visual experiences. It has generally been assumed that (...) the meaning of "seeing" deployed in these disputes is more or less clear and unproblematic, and therefore requires no analysis or clarification. In this chapter, we wish to challenge this assumption. We argue that getting clear on the meaning of "seeing" is the only feasible way to determine whether the empirical attempts to answer Molyneux’s question accurately capture what newly sighted subjects are in fact capable of seeing. Specifically, we show that the dominant interpretations of the empirical results from a recent study (Held et al., 2011) fail to take into account that seeing can be not only purely visual but also epistemic in that it requires background knowledge (such as what an object with a particular viewpoint-independent shape looks like from a particular perspective). (shrink)

It often seems incorrect to say that psychiatric conditions are diseases, and equally incorrect to say that they are not. This results in what would seem to be an unsatisfactory stalemate. The present essay examines the considerations that have brought us to such a stalemate in our discussions of autism. It argues that the stalemate in this particular case is a reflection of the fact that we need to find the logical space for a position that rejects both positive and (...) negative answers. It then suggests one way in which we might find such space, by applying Michael Dummett’s notion of semantic disharmony. (shrink)

This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of (...) force indicators. (shrink)

In virtue of what does a sign have meaning? This is the question raised by Wittgenstein's rule-following considerations. Semantic dispositionalism is a (type of) theory that purports to answer this question. The present paper argues that semantic dispositionalism faces a heretofore unnoticed problem, one that ultimately comes down to its reliance on unanalyzed notions of repeated types of signs. In the context of responding to the rule-following paradox—and offering a putative solution to it—this amounts to simply assuming (...) a solution to the problem in one domain and using it to solve the same problem in another. Given, moreover, the level at which the rule-following paradox undercuts dispositionalism—the level of the notion of a sign's repetition—the objections made to the view also rule out causal/informational theories of meaning as well as communitarian/assertion-theoretic ones as potential solutions to the rule-following paradox. (shrink)

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)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on the nature (...) of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

I suspect the answer to the question in the title of this paper is no. But the scope of my paper will be considerably more limited: I will be concerned with whether certain types of considerations that are commonly cited in favor of dynamic semantics do in fact push us towards a dynamic semantics. Ultimately, I will argue that the evidence points to a dynamics of discourse that is best treated pragmatically, rather than as part of (...) the semantics. (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 this paper I will be concerned with the question of the extent to which semantics can be thought of as a purely formal exercise, which we can engage in in a way that is neutral with respect to how our formal system is to be interpreted. I will be arguing, to the contrary, that the features of the formal systems which we use to do semantics are closely linked, in several different ways, to the interpretation that (...) we give to those formal systems. The occasion for this question, and the main example that I will use to illustrate my answer to it, is the close relationship between the formal systems employed in recent statements of apparently competing accounts of epistemic modals with the dynamic, expressivist, and relativist theoretical paradigms. The structure of the paper will be straightforward. In part 1, I will briefly introduce four theories of epistemic modals – one dynamic theory, two expressivist theories, and one relativist theory. Then in part 2 I’ll show that one expressivist theory is formally equivalent to the dynamic theory, that the other is formally equivalent to the relativist theory, and that the two expressivist theories are themselves essentially notational variants. I’ll use these facts to pose our central question: if these theories have so much formally in common, then doesn’t that suggest that we can separate the task of constructing a formal semantics from the task of deciding between competing interpretations of it? Finally, in part 3 I’ll answer that question in the negative. There are at least three reasons why formal semantics cannot be separated from questions of interpretation that are illustrated by the theories I introduce in part 1. (shrink)

Virtual environments engage millions of people and billions of dollars each year. What is the ontological status of the virtual objects that populate those environments? An adequate answer to that question requires a developed semantics for virtual environments. The truth-conditions must be identified for “tree”-sentences when uttered by speakers immersed in a virtual environment (VE). It will be argued that statements about virtual objects have truth-conditions roughly comparable to the verificationist conditions popular amongst some contemporary antirealists. This (...) does not mean that the virtual objects lack ontological standing. There is an important sense in which virtual objects are no less real for being mind-dependent. (shrink)

Wittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?

Following W.V. Quine’s lead, many metaphysicians consider ontology to be concerned primarily with existential questions of the form, “What is there?”. Moreover, if the position advanced by Rudolf Carnap, in his seminal essay, “Empiricism, Semantics, and Ontology ”, is correct, then many of these existential ontological questions ought to be classified as either trivially answerable or as “pseudo-questions”. One may justifiably wonder, however, whether the Quinean and Carnapian perspective on ontology really does justice to many of the most central (...) concerns of this discipline. This chapter argues, by considering a particular ontological dispute between two different kinds of trope theorists, that some of the most interesting and important debates which properly belong to the study of being, whether we call it “metaphysics” or “ ontology ”, do not concern existential questions at all; rather, such disputes in some cases focus on non-existential disagreements over questions of fundamentality. (shrink)

Montague (1970) interprets a small fragment of English through the use of two basic types of objects: individuals and propositions. My dissertation develops an alternative semantics that only uses one basic type (hence, *single-type semantics*). Such a semantics has been conjectured by Partee (2006) as a ‘minimality test’ for the Montagovian type system, which captures the lowest ontological requirements on any successful semantics for Montague’s fragment. The development of this semantics answers a number of important (...) open questions about the salience of the Montagovian type system, the robustness of semantic theories w.r.t. their basic-type choice, and the classification of these theories according to their objects’ informational strength. (shrink)

Deflationism is the view that certain metaphysical debates are defective, leaving it open whether the defect is best explained in semantic, conceptual, or epistemic terms. Local semantic deflationism is the thesis that familiar metaphysical debates, which appear to be about the existence and identity of material objects, are merely verbal. It’s a form of local deflationism because it restricts itself to one particular area of metaphysics. It’s a form of semantic deflationism because the defect it purports to identify in these (...) debates is explained in terms of the broadly semantic notion of a merely verbal disputation. Three questions about this thesis are asked and answered here. Does a commitment to the principle of interpretive charity support it? No. Does it avoid the problems that plagued Carnap? No. Does it support a linguistic turn with respect to questions about the nature of material things? No. The central take-home message is that local semantic deflationism is unstable: advocates of the view must admit that debates about material coincidence and identity are substantive. (shrink)

Kripkenstein’s challenge is usually described as being essentially about the use of a word in new kinds of cases ‒ the old kinds of cases being commonly considered as non-problematic. I show that this way of conceiving the challenge is neither true to Kripke’s intentions nor philosophically defensible: the Kripkean skeptic can question my answering “125” to the question “What is 68 plus 57?” even if that problem is one I have already encountered and answered. I then argue (...) that once the real nature of Kripkenstein’s challenge is properly appreciated, one extremely popular strategy to try to meet it, what usually goes by the name of “semantic dispositionalism”, loses much of its appeal. Along the way, I also explain that Kripkenstein’s challenge is actually two distinct challenges ‒ one concerning the mental state of meaning, or intending, something by a sign and the other concerning the meaning (referentially conceived) of linguistic expressions. (shrink)

In contemporary natural languages semantics one will often see the use of special brackets to enclose a linguistic expression, e.g. ⟦carrot⟧. These brackets---so-called denotation brackets or semantic evaluation brackets---stand for a function that maps a linguistic expression to its "denotation" or semantic value (perhaps relative to a model or other parameters). Even though this notation has been used in one form or another since the early development of natural language semantics in the 1960s and 1970s, Montague himself didn't (...) make use of this notation in his series of groundbreaking papers on semantics. That raises the question: When was the ⟦.⟧-notation introduced to semantics? This note answers that question. (shrink)

Modal idealism is a Theory of Everything, based on metaphysical abstractions of the physical principles of hidden symmetries, entanglement, and quantum field theory, considered in the context of the Many Worlds Interpretation of quantum mechanics. These abstractions are used to extend the scope of existing philosophical positions on idealism, consciousness and possible world semantics, to rationally explain the fundamental mysteries of our existence. While it conceptually aligns with the Many Minds Interpretation of quantum mechanics, modal idealism posits a more (...) comprehensive characterization of the mind, and thereby addresses many of the objections to MMI and MWI. Consequently, it can provide unequivocal, logical answers to our most enduring existential questions. To demonstrate the explanatory power of modal idealism, this article will present seven of our most meaningful physical and metaphysical questions, enumerate the principles of this framework, and use them to rationally answer these questions. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various (...) roles in conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

There are many ways of understanding the nature of philosophical questions. One may consider their morphology, semantics, relevance, or scope. This article introduces a different approach, based on the kind of informational resources required to answer them. The result is a definition of philosophical questions as questions whose answers are in principle open to informed, rational, and honest disagreement, ultimate but not absolute, closed under further questioning, possibly constrained by empirical and logico-mathematical resources, but requiring noetic resources to (...) be answered. The article concludes with a discussion of some of the consequences of this definition for a conception of philosophy as the study (or “science”) of open questions, which uses conceptual design to analyse and answer them. (shrink)

The article develops a correctness theory of truth (CTT) for semantic information. After the introduction, in section two, semantic information is shown to be translatable into propositional semantic information (i). In section three, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in section four, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q (...) + A]. This completes the reduction of the truth of i to the correctness of A. In sections five and six, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates (in a Fregean sense) Q by verifying and validating it (in the computer science’s sense of “verification” and “validation”); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of “proxy”) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of “commutation”); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. The last section draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. (shrink)

How can we distinguish between quasi-realist expressivism and normative realism? The most promising answer to this question is the “explanation” explanation proposed by Dreier (2004), Simpson (2018), and others: the two views might agree in their claims about truth and objectivity, or even in their attributions of semantic content to normative sentences, but they disagree about how to explain normative meaning. Realists explain meaning by invoking normative facts and properties, or representational relations between normative language and the world, (...) the thought goes, while expressivists appeal instead to desire-like mental states in their explanations of meaning. However, I argue that, if we adopt a deflationary approach to representation and other related notions, there need be no such explanatory divide between expressivism and anything recognizable as a plausible notion of normative realism. Any alleged explanatory criterion for realism will either be incompatible with deflationism, or it will fail to capture some standard versions of normative realism. I conclude that, in a deflationary framework, expressivism is compatible with genuine realism. (shrink)

According to the sceptic Saul Kripke envisages in his celebrated book on Wittgenstein on rules and private language, there are no facts about an individual that determine what she means by any given expression. If there are no such facts, the question then is, what justifies the claim that she does use expressions meaningfully? Kripke’s answer, in a nutshell, is that she by and large uses her expressions in conformity with the linguistic standards of the community she belongs (...) to. While Kripke’s sceptical problem has gripped philosophers for over three decades, few, if any, have been satisfied by his proposed solution, and many have struggled to come up with one of their own. The purpose of this paper is to show that a more satisfactory answer to Kripke’s challenge can be developed on the basis of Donald Davidson’s writings on triangulation, the idea of two individuals interacting simultaneously with each other and the world they share. It follows from the triangulation argument that the facts that can be regarded as determining meaning are irreducible. Yet, contra Kripke, they are not mysterious, for the argument does spell out what is needed for an individual’s expressions to be meaningful. (shrink)

It is often argued that inferential role semantics (IRS) entails semantic holism as long as theorists fail to answer the question about which inferences, among the many, are meaning-constitutive. Since analyticity, as truth in virtue of meaning, is a widely dismissed notion in indicating which inferences determine meaning, it seems that holism follows. Semantic holism is often understood as facing problems with the stability of content and many usual explanations of communication. Thus, we should choose between giving (...) up IRS, to avoid these holistic entailments, and defending holism against this charge, to rescue IRS. I try to pursue the second goal by analyzing certain patterns of counterfactual reasoning. Wilfrid Sellars and Robert Brandom claim that, to defend IRS, content-constitutive inferences are those counterfactually robust. While it is difficult to assess the goodness of such a view, it nonetheless entails that counterfactually non-robust inferences (which I call “modally ruled out inferences”) are not content-constitutive. If this is true, and if we take certain remarks about the grasp of concepts on board, there is a way to restrict the scope of the holism entailed by IRS to the extent of reshaping problems with the stability of content. (shrink)

A general theory of logical oppositions is proposed by abstracting these from the Aristotelian background of quantified sentences. Opposition is a relation that goes beyond incompatibility (not being true together), and a question-answer semantics is devised to investigate the features of oppositions and opposites within a functional calculus. Finally, several theoretical problems about its applicability are considered.

The paper proposes two logical analyses of (the norms of) justification. In a first, realist-minded case, truth is logically independent from justification and leads to a pragmatic logic LP including two epistemic and pragmatic operators, namely, assertion and hypothesis. In a second, antirealist-minded case, truth is not logically independent from justification and results in two logical systems of information and justification: AR4 and AR4¢, respectively, provided with a question-answer semantics. The latter proposes many more epistemic agents, each (...) corresponding to a wide variety of epistemic norms. After comparing the different norms of justification involved in these logical systems, two hexagons expressing Aristotelian relations of opposition will be gathered in order to clarify how (a fragment of) pragmatic formulas can be interpreted in a fuzzy-based question-answer semantics. (shrink)

One of the most prominent myths in analytic philosophy is the so- called “Fregean Axiom”, according to which the reference of a sentence is a truth value. In contrast to this referential semantics, a use-based formal semantics will be constructed in which the logical value of a sentence is not its putative referent but the information it conveys. Let us call by “Question Answer Semantics” (thereafter: QAS) the corresponding formal semantics: a non-Fregean many-valued logic, (...) where the meaning of any sentence is an ordered n-tupled of yes-no answers to corresponding questions. A sample of philosophical problems will be approached in order to justify the relevance of QAS. These include: (1) illocutionary forces, and the logical analysis of speech-acts; (2) the variety of logical negations, and their characterization in terms of restricted ranges of logical values; (3) change in meaning, and the use of dynamic oppositions for belief sets. (shrink)

This paper examines distinctive discourse properties of preposed negative 'yes/no' questions (NPQs), such as 'Isn’t Jane coming too?'. Unlike with other 'yes/no' questions, using an NPQ '∼p?' invariably conveys a bias toward a particular answer, where the polarity of the bias is opposite of the polarity of the question: using the negative question '∼p?' invariably expresses that the speaker previously expected the positive answer p to be correct. A prominent approach—what I call the context-management approach, developed (...) most extensively by Romero and Han (2004)—attempts to capture speaker expectation biases by treating NPQs fundamentally as epistemic questions about the proper discourse status of a proposition. I raise challenges for existing context-managing accounts to provide more adequate formalizations of the posited context-managing content, its implementation in the compositional semantics and discourse dynamics, and its role in generating the observed biases. New data regarding discourse differences between NPQs and associated epistemic modal questions are introduced. I argue that we can capture the roles of NPQs in expressing speakers’ states of mind and managing the discourse common ground without positing special context-managing operators or treating NPQs as questions directly about the context. I suggest that we treat the operator introduced with preposed negation as having an ordinary semantics of epistemic necessity, though lexically associated with a general kind of endorsing use observed with modal expressions. The expressive and context-managing roles of NPQs are explained in terms of a general kind of discourse-oriented use of context-sensitive language. The distinctive expectation biases and discourse properties observed with NPQs are derived from the proposed semantics and a general principle of Discourse Relevance. (shrink)

In his _Being Known_ Peacocke sets himself the task of answering how we come to know about metaphysical necessities. He proposes a semantic principle-based conception consisting of, first, his Principles of Possibility which pro­vide necessary and sufficient conditions for a new concept 'admissibility', and second, characterizations of possibility and of necessity in terms of that new con­cept. I focus on one structural feature; viz. the recursive application involved in the specification of 'admissibility'. After sketching Peacocke’s proposal, I intro­duce a fictional (...) protagonist, Cautious Peacocke, whose coherence I claim shows that Peacocke s proposal cannot be made good. I conclude with the conjecture that similar failure will attend any such semantic-based attempts to ground the epistemology of metaphysical necessity. -/- Dans son livre intitulé Being Known, C. Peacocke se propose de repondre à la question de savoir comment nous en venons a connaitre des nécessités métaphysiques. Il développe une conception sémantique reposant sur des principes comprenant, d’une part, ses Principes de Possibilité — qui fournissent les conditions nécessaires et suffisantes pour un nouveau concept, « l’admissibilité » — et d’autre part des caractérisations de la possibilité et de la nécessité a l’aide de ce nouveau concept. Je me concentre sur une caractéristique structurelle, a savoir l’application récursive a l’œuvre dans la spécification de «l’admissibilité ». Apres avoir esquisse la proposition de Peacocke, j’introduis un personnage fictif, Peacocke-prudent. Je soutiens que la cohérence de ce personnage montre que la proposition de Peacocke ne peut pas être satisfaite. Je conclus en conjecturant qu’un échec similaire se présentera pour toutes les tentatives de fonder l’épistemologie de la nécessité métaphysique sur de telles bases semantiques. (shrink)

This article-testimony can be seen as an example of a maybe new discipline that could be called "scientific metaphysics" made of thoughts experiments, definitions, some proofs, some explanations, some conjectures. Of course, to be called science, the discipline needs some possibility of "verification" too. We will see if it can be considered. -/- We start from a thought experiment: -/- Can the universe defined as U_Def be aware conscious of itself as whole? -/- This question is a variant of (...) the more familiar: -/- Can the universe be aware conscious? -/- We can distinguish two main approaches in human history in the attempts at answering this second question: 1) the approach by the bottom with a weak version of consciousness: it includes "panpsychic" like theories. 2) the approach by the head with a strong version of consciousness: it includes "holistic" theories. Spinoza's "Pantheism", for example, can be considered as one of them, even if some interpretations of Spinoza's metaphysics are not satisfied with the equation "god = universe". -/- The purpose developed in this article belongs to the second kind of approach. After a definition of the universe \emph{U}$_{\textit{Def}} $ in 7 points and the introduction of 3 premisses, one of them being devoted to our definition of "strong consciousness", we suggest an answer to the initial question and we draw the most important among numerous consequences: - semantical jump by META-abstraction and introduction of the holistic semantics; - extension of the natural language to a supra-natural language; - highlighting of a higher-order solipsism; - etc. -/- We devote some attention to the notion of "model" in its logical and philosophical acceptation and we introduce the notion of evolutional self-modelization. (shrink)

The thesis deals with the concept of truth and the paradoxes of truth. Philosophical theories usually consider the concept of truth from a wider perspective. They are concerned with questions such as - Is there any connection between the truth and the world? And, if there is - What is the nature of the connection? Contrary to these theories, this analysis is of a logical nature. It deals with the internal semantic structure of language, the mutual semantic connection of sentences, (...) above all the connection of sentences that speak about the truth of other sentences and sentences whose truth they speak about. Truth paradoxes show that there is a problem in our basic understanding of the language meaning and they are a test for any proposed solution. It is important to make a distinction between the normative and analytical aspect of the solution. The former tries to ensure that paradoxes will not emerge. The latter tries to explain paradoxes. Of course, the practical aspect of the solution is also important. It tries to ensure a good framework for logical foundations of knowledge, for related problems in Artificial Intelligence and for the analysis of the natural language. Tarski’s analysis emphasized the T-scheme as the basic intuitive principle for the concept of truth, but it also showed its inconsistency with the classical logic. Tarski’s solution is to preserve the classical logic and to restrict the scheme: we can talk about the truth of sentences of a language only inside another essentially richer metalanguage. This solution is in harmony with the idea of reflexivity of thinking and it has become very fertile for mathematics and science in general. But it has normative nature | truth paradoxes are avoided in a way that in such frame we cannot even express paradoxical sentences. It is also too restrictive because, for the same reason we cannot express a situation in which there is a circular reference of some sentences to other sentences, no matter how common and harmless such a situation may be. Kripke showed that there is no natural restriction to the T-scheme and we have to accept it. But then we must also accept the riskiness of sentences | the possibility that under some circumstances a sentence does not have the classical truth value but it is undetermined. This leads to languages with three-valued semantics. Kripke did not give any definite model, but he gave a theoretical frame for investigations of various models | each fixed point in each three-valued semantics can be a model for the concept of truth. The solutions also have normative nature | we can express the paradoxical sentences, but we escape a contradiction by declaring them undetermined. Such a solution could become an analytical solution only if we provide the analysis that would show in a substantial way that it is the solution that models the concept of truth. Kripke took some steps in the direction of finding an analytical solution. He preferred the strong Kleene three-valued semantics for which he wrote it was "appropriate" but did not explain why it was appropriate. One reason for such a choice is probably that Kripke finds paradoxical sentences meaningful. This eliminates the weak Kleene three valued semantics which corresponds to the idea that paradoxical sentences are meaningless, and thus indeterminate. Another reason could be that the strong Kleene three valued semantics has the so-called investigative interpretation. According to this interpretation, this semantics corresponds to the classical determination of truth, whereby all sentences that do not have an already determined value are temporarily considered indeterminate. When we determine the truth value of these sentences, then we can also determine the truth value of the sentences that are composed of them. Kripke supplemented this investigative interpretation with an intuition about learning the concept of truth. That intuition deals with how we can teach someone who is a competent user of an initial language (without the predicate of truth T) to use sentences that contain the predicate T. That person knows which sentences of the initial language are true and which are not. We give her the rule to assign the T attribute to the former and deny that attribute to the latter. In that way, some new sentences that contain the predicate of truth, and which were indeterminate until then, become determinate. So the person gets a new set of true and false sentences with which he continues the procedure. This intuition leads directly to the smallest fixed point of strong Kleene semantics as an analytically acceptable model for the logical notion of truth. However, since this process is usually saturated only on some transfinite ordinal, this intuition, by climbing on ordinals, increasingly becomes a metaphor. This thesis is an attempt to give an analytical solution to truth paradoxes. It gives an analysis of why and how some sentences lack the classical truth value. The starting point is basic intuition according to which paradoxical sentences are meaningful (because we understand what they are talking about well, moreover we use it for determining their truth values), but they witness the failure of the classical procedure of determining their truth value in some "extreme" circumstances. Paradoxes emerge because the classical procedure of the truth value determination does not always give a classically supposed (and expected) answer. The analysis shows that such an assumption is an unjustified generalization from common situations to all situations. We can accept the classical procedure of the truth value determination and consequently the internal semantic structure of the language, but we must reject the universality of the exterior assumption of a successful ending of the procedure. The consciousness of this transforms paradoxes to normal situations inherent to the classical procedure. Some sentences, although meaningful, when we evaluate them according to the classical truth conditions, the classical conditions do not assign them a unique value. We can assign to them the third value, \undetermined", as a sign of definitive failure of the classical procedure. An analysis of the propagation of the failure in the structure of sentences gives exactly the strong Kleene three-valued semantics, not as an investigative procedure, as it occurs in Kripke, but as the classical truth determination procedure accompanied by the propagation of its own failure. An analysis of the circularities in the determination of the classical truth value gives the criterion of when the classical procedure succeeds and when it fails, when the sentences will have the classical truth value and when they will not. It turns out that the truth values of sentences thus obtained give exactly the largest intrinsic fixed point of the strong Kleene three-valued semantics. In that way, the argumentation is given for that choice among all fixed points of all monotone three-valued semantics for the model of the logical concept of truth. An immediate mathematical description of the fixed point is given, too. It has also been shown how this language can be semantically completed to the classical language which in many respects appears a natural completion of the process of thinking about the truth values of the sentences of a given language. Thus the final model is a language that has one interpretation and two systems of sentence truth evaluation, primary and final evaluation. The language through the symbol T speaks of its primary truth valuation, which is precisely the largest intrinsic fixed point of the strong Kleene three valued semantics. Its final truth valuation is the semantic completion of the first in such a way that all sentences that are not true in the primary valuation are false in the final valuation. (shrink)

Are transcendental phenomenology and possible worlds semantics, two seemingly disparate, perhaps even incompatible philosophical traditions, actually complementary? Have two well-known representatives of each tradition, J.N. Mohanty and J. Hintikka, misinterpreted the other's philosophical "program" in such a way that they did not recognize the complementarity? Charles Harvey 1 has recently argued that the answer to both questions is "yes." Here I intend to argue that the answer to the first is unclear, whereas the answer to the (...) second is "no." Mohanty (at least) rightly cites fundamental differences between transcendental phenomenology and possible worlds semantics. (shrink)

This is a work in the philosophy of language and metasemantics. Its purpose is to help answer the question about how words acquire their meanings. The work is divided into two parts. The purpose of Part One is to defend the claim that, despite numerous attempts, the so-called Kripkenstein’s sceptical challenge, and especially the problem of finitude, has not been offered a successful straight solution. The purpose of Part Two is to critically examine Robert Brandom’s philosophy, which can (...) be treated as an answer to the sceptical challenge in my interpretation. My main claim is that although Brandom’s so-called normativist approach does provide a principled solution to the sceptical challenge, the proposal faces a host of other problems in the light of which I reject it. -/- What is Kripkenstein’s sceptical challenge? The name 'Kripkenstein' is an abbreviation used in the literature for Saul Kripke’s reading of Ludwig Wittgenstein’s later works, published in 1982. In the long essay, Kripke presents (that Wittgenstein presented) a sceptical challenge that demands an explanation of how any word can have a determinate meaning. The challenge is usually thought to consist of three interrelated problems: (1) the problem of finitude, (2) the problem of error, and (3) the problem of normativity. Following Martin Kusch, I view the problem of finitude as the most important one. According to the problem, briefly, since any actual subject is a finite being, i.e. capable of exhibiting only finite expressions of linguistic signs, it will always be possible to ask whether, in a given context, she is following a rule S1 or rule S2 that corresponds to the meaning of the sign. For example, supposing that the sign in question is '+', it can be asked whether the subject in a given context has followed the addition rule or an alternative quaddition rule, according to which any addition problem exceeding certain arbitrary cardinality results in five. According to the hypothesis, the actual use of '+' by any speaker is compatible with both rules. Since any speaker has only finite dispositions to the mathematical conduct, there will always be some limit after which there is no fact of the matter, according to the sceptic, which rule the subject will have turned out to have followed. Hence, it is indeterminate whether any actual subject has ever calculated according to the addition rule or the quaddition rule. -/- From my view, despite the work of Kripke and Kusch, the problem of finitude has not been taken as seriously as it ought to have been. This in turn has significant consequences for the metasemantic theory concerning the origin and nature of meaning. In particular, I claim that the way how the meaning of words is determined must be understood as temporal in nature. Moreover, I claim that Kripke’s causal-historical account of reference can work as a non-straight solution to the challenge that explains how at least the meanings of some words can be temporally determined. -/- One central aim of Brandom’s philosophy is to give a straight answer to the problem of finitude by providing an answer to the problem of normativity. However, I claim that Brandom’s version of the 'normativity of meaning' hypothesis cannot work as he intends. The key issues are difficult to summarise, but to put it succinctly, the crucial problem concerns Brandom’s ambition to give an answer to a version of Agrippa’s trilemma, or how a chain of justifications can end in anything else than (i) premises that have already been used, (ii) a primitive premise, or an (iii) infinitude of premises. My claim is that Brandom’s resolution to the trilemma is not sound. (shrink)

Contemporary philosophy and theoretical psychology are dominated by an acceptance of content-externalism: the view that the contents of one's mental states are constitutively, as opposed to causally, dependent on facts about the external world. In the present work, it is shown that content-externalism involves a failure to distinguish between semantics and pre-semantics---between, on the one hand, the literal meanings of expressions and, on the other hand, the information that one must exploit in order to ascertain their literal meanings. (...) It is further shown that, given the falsity of content-externalism, the falsity of the Computational Theory of Mind (CTM) follows. It is also shown that CTM involves a misunderstanding of terms such as "computation," "syntax," "algorithm," and "formal truth." Novel analyses of the concepts expressed by these terms are put forth. These analyses yield clear, intuition-friendly, and extensionally correct answers to the questions "what are propositions?, "what is it for a proposition to be true?", and "what are the logical and psychological differences between conceptual (propositional) and non-conceptual (non-propositional) content?" Naively taking literal meaning to be in lockstep with cognitive content, Burge, Salmon, Falvey, and other semantic externalists have wrongly taken Kripke's correct semantic views to justify drastic and otherwise contraindicated revisions of commonsense. (Salmon: What is non-existent exists; at a given time, one can rationally accept a proposition and its negation. Burge: Somebody who is having a thought may be psychologically indistinguishable from somebody who is thinking nothing. Falvey: somebody who rightly believes himself to be thinking about water is psychologically indistinguishable from somebody who wrongly thinks himself to be doing so and who, indeed, isn't thinking about anything.) Given a few truisms concerning the differences between thought-borne and sentence-borne information, the data is easily modeled without conceding any legitimacy to any one of these rationality-dismantling atrocities. (It thus turns out, ironically, that no one has done more to undermine Kripke's correct semantic points than Kripke's own followers!). (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Semantic deference is the apparent phenomenon whereby some of -/- our concepts have their content fixed by the minds of others. The -/- phenomenon is puzzling both in terms of how such concepts are -/- supposed to work, but also in terms of why we should have -/- concepts whose content is fixed by others. Here I argue that if we -/- rethink semantic deference in terms of extended mind reasoning -/- we find answers to both of these questions: the (...) minds of others -/- can be understood to play a role in storing the semantic knowledge -/- underpinning our concepts without undermining their -/- functionality, and this ‘outsourcing’ of semantic knowledge greatly -/- expands our overall knowledge-bearing capacity, both at the level -/- of the individual and the community. I conclude that deference in -/- fact affords stronger grounds for a social expansion of knowledge -/- than standard extended mind reasoning permits. (shrink)

What kind of semantics should someone who accepts the epistemicist theory of vagueness defended in Timothy Williamson’s Vagueness (1994) give a definiteness operator? To impose some interesting constraints on acceptable answers to this question, I will assume that the object language also contains a metaphysical necessity operator and a metaphysical actuality operator. I will suggest that the answer is to be found by working within a three-dimensional model theory. I will provide sketches of two ways of extracting (...) an epistemicist semantics from that model theory, one of which I will find to be more plausible than the other. (shrink)

This chapter addresses two questions. First, if knowledge is accounted information, how are we supposed (to apply this analysis in order) to understand perceptual knowledge and knowledge by testimony? In the first part of the chapter, I articulate an answer in terms of a re-interpretation of perception and testimony as data providers rather than full-blown cases of knowledge. Second, if perception and testimony are correctly understood as data providers, how are we supposed (to apply this analysis in order) to (...) understand the semantic value of the data provided by such processes? In the second part of the chapter, I argue in favour of a constructionist hypothesis about how data may become meaningful for human cognitive agents through a process of repurposing of natural data/signals. The conclusion of the chapter is that human agents are natural-born data hackers. (shrink)

The book answers long-standing questions on scientific modeling and inference across multiple perspectives and disciplines, including logic, mathematics, physics and medicine. The different chapters cover a variety of issues, such as the role models play in scientific practice; the way science shapes our concept of models; ways of modeling the pursuit of scientific knowledge; the relationship between our concept of models and our concept of science. The book also discusses models and scientific explanations; models in the semantic view of theories; (...) the applicability of mathematical models to the real world and their effectiveness; the links between models and inferences; and models as a means for acquiring new knowledge. It analyzes different examples of models in physics, biology, mathematics and engineering. Written for researchers and graduate students, it provides a cross-disciplinary reference guide to the notion and the use of models and inferences in science. (shrink)

Are color adjectives ("red", "green", etc.) relative adjectives or absolute adjectives? Existing theories of the meaning of color adjectives attempt to answer that question using informal ("armchair") judgments. The informal judgments of theorists conflict: it has been proposed that color adjectives are absolute with standards anchored at the minimum degree on the scale, that they are absolute but have near-midpoint standards, and that they are relative. In this paper we report two experiments, one based on entailment patterns and (...) one based on presupposition accommodation, that investigate the meaning of scalar adjectives. We find evidence confirming the existence of subgroups of the population who operate with different standards for color adjectives. The evidence of interpersonal variation in where standards are located on the relevant scale and how those standards can be adjusted indicates that the existing theories of the meaning of color adjectives are at best only partially correct. We also find evidence that paradigmatic relative adjectives ("tall", "wide") behave in ways that are not predicted by the standard theory of scalar adjectives. We discuss several different possible explanations for this unexpected behavior. We conclude by discussing the relevance of our findings for philosophical debates about the nature and extent of semantically encoded context sensitivity in which color adjectives have played a key role. (shrink)

One’s account of the meaning of ethical sentences should fit – roughly, as part to whole – with one’s account of the meaning of sentences in general. When we ask, though, where one widely discussed account of the meaning of ethical sentences fits with more general accounts of meaning, the answer is frustratingly unclear. The account I have in mind is the sort of metaethical expressivism inspired by Ayer, Stevenson, and Hare, and defended and worked out in more detail (...) recently by Blackburn, Gibbard, and others. So, my first aim (§1) in this paper is to pose this question about expressivism’s commitments in the theory of meaning and to characterize the answer I think is most natural, given the place expressivist accounts attempt to occupy metaethics. This involves appeal to an ideationalist account of meaning. Unfortunately for the expressivist, however, this answer generates a problem; it’s my second aim (§2) to articulate this problem. Then, my third aim (§3) is to argue that this problem doesn’t extend to the sort of account of the meaning of ethical claims that I favor, which is like expressivism in rejecting a representationalist order of semantic explanation but unlike expressivism in basing an alternative order of semantic explanation on inferential role rather than expressive function. (shrink)

In this commentary, we discuss the nature of reversible and irreversible questions, that is, questions that may enable one to identify the nature of the source of their answers. We then introduce GPT-3, a third-generation, autoregressive language model that uses deep learning to produce human-like texts, and use the previous distinction to analyse it. We expand the analysis to present three tests based on mathematical, semantic, and ethical questions and show that GPT-3 is not designed to pass any of them. (...) This is a reminder that GPT-3 does not do what it is not supposed to do, and that any interpretation of GPT-3 as the beginning of the emergence of a general form of artificial intelligence is merely uninformed science fiction. We conclude by outlining some of the significant consequences of the industrialisation of automatic and cheap production of good, semantic artefacts. (shrink)

The Bounds of Logic presents a new philosophical theory of the scope and nature of logic based on critical analysis of the principles underlying modern Tarskian logic and inspired by mathematical and linguistic development. Extracting central philosophical ideas from Tarski’s early work in semantics, Sher questions whether these are fully realized by the standard first-order system. The answer lays the foundation for a new, broader conception of logic. By generally characterizing logical terms, Sher establishes a fundamental result in (...) semantics. Her development of the notion of logicality for quantifiers and her work on branching are of great importance for linguistics. Sher outlines the boundaries of the new logic and points out some of the philosophical ramifications of the new view of logic for such issues as the logicist thesis, ontological commitment, the role of mathematics in logic, and the metaphysical underpinning of logic. She proposes a constructive definition of logical terms, reexamines and extends the notion of branching quantification, and discusses various linguistic issues and applications. (shrink)

Section 1 provides a brief summary of the pair-list literature singling out some points that are particularly relevant for the coming discussion. -/- Section 2 shows that the dilemma of quantifi cation versus domain restriction arises only in extensional complement interrogatives. In matrix questions and in intensional complements only universals support pairlist readings, whence the simplest domain restriction treatment suffices. Related data including conjunction, disjunction, and cumulative readings are discussed -/- Section 3 argues that in the case of extensional complements (...) the domain restriction treatment is inadequate for at least two independent reasons. One has to do with the fact that not only upward monotonic quantifi ers support pairlist readings, and the other with the derivation of apparent scope out readings. The reasoning is supplemented with some discussion of the semantic properties of layered quantifi ers.  The above will establish the need for quantifi cation, so the question arises how the objections explicitly enlisted in the literature against quantifi cation can be answered. Section 4 considers the de dicto reading of the quantifi er s restriction, quanti cational variability, and the absence of pairlist readings with whether questions, and argues that they need not militate against the quanti ficational analysis. -/- Section 5 summarizes the emergent proposal -/- Finally, section 6 discusses the signifi cance of the above findings for the behavior of weak islands. (shrink)

Racial epithets are terms used to characterize people on the basis of their race, and are often used to harm the people that they target. But what do racial epithets mean, and how do they work to harm in the way that they do? In this essay I set out to answer these questions by offering a pragmatic view of racial epithets, while contrasting my position with Christopher Hom's semantic view.

What makes it the case that an utterance constitutes an illocutionary act of a given kind? This is the central question of speech-act theory. Answers to it—i.e., theories of speech acts—have proliferated. Our main goal in this chapter is to clarify the logical space into which these different theories fit. -/- We begin, in Section 1, by dividing theories of speech acts into five families, each distinguished from the others by its account of the key ingredients in illocutionary acts. (...) Are speech acts fundamentally a matter of convention or intention? Or should we instead think of them in terms of the psychological states they express, in terms of the effects that it is their function to produce, or in terms of the norms that govern them? In Section 2, we take up the highly influential idea that speech acts can be understood in terms of their effects on a conversation’s context or “score”. Part of why this idea has been so useful is that it allows speech-act theorists from the five families to engage at a level of abstraction that elides their foundational disagreements. In Section 3, we investigate some of the motivations for the traditional distinction between propositional content and illocutionary force, and some of the ways in which this distinction has been undermined by recent work. In Section 4, we survey some of the ways in which speech-act theory has been applied to issues outside semantics and pragmatics, narrowly construed. (shrink)

What is it to believe something might be the case? We develop a puzzle that creates difficulties for standard answers to this question. We go on to propose our own solution, which integrates a Bayesian approach to belief with a dynamic semantics for epistemic modals. After showing how our account solves the puzzle, we explore a surprising consequence: virtually all of our beliefs about what might be the case provide counterexamples to the view that rational belief is closed (...) under logical implication. (shrink)

I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and (...) show that, as applied to several central questions, model-theoretic semantics can be considered TVS in disguise. The conclusion is that the truth-valuational substitutional approach is an adequate tool for many of our logic inquiries, conceptually preferable over model-theoretic semantics. Another conclusion is that formal logic is independent of semantics, apart from its use of the notion of truth, but that even with respect to it its assumptions are minimal. (shrink)

I take up two questions raised by Luz Christopher Seiberth's meticulous reconstruction of Wilfrid Sellars's theory of intentionality. The first is whether we should regard Sellars as a transcendental phenomenalist in the most interesting sense of the term: as denying that even an ideally adequate conceptual structure would enable us to represent worldly objects as they are in themselves. I agree with Seiberth that the answer is probably yes, but I suggest that this is due not to Sellars's rejection (...) of the Myth of the Given or appeal to image-models (as Seiberth maintains), but to his view of modality as categorial but as absent from the world an sich. The second is whether, as Richard Rorty complained, Sellars's appeal to picturing lands his theory of intentionality in intractable skepticism. Pace Seiberth, I argue that the transcendental role of picturing does not mitigate this problem, and I suggest that Sellars's most fruitful resource for doing so is not his semantic externalism, but his purely pragmatic response to skepticism. (shrink)