According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue (...) that, within the constraints of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

I discuss and defend two arguments against semantic theories which wish to avoid commitment to propositions. The first holds that on the most plausible semantics of a class of natural language sentences, the truth of sentences in that class requires the existence of propositions; and some sentences in that class are true. The second holds that, on the best understanding of the form of a semantic theory, the truth of a semantic theory itself entails the (...) existence of propositions. Much of the discussion engages Davidsonian alternatives to a propositionalist semantic theory. (shrink)

What is the relationship between color experience and color? Here, I defend the view that it is semantic: color experience denotes color in a code innately known by the perceiver. This semantic theory contrasts with a variety of theories according to which color is defined as the cause of color experience (in a special set of circumstances). It also contrasts with primary quality theories of color, which treat color as a physical quantity. I argue that the (...) class='Hi'>semantic theory better accounts for the kinds of knowledge we have regarding both the color of objects that we see and of the colors themselves. (shrink)

Arguments from disagreement often take centre stage in debates between competing semantic theories. This paper explores the theoretical basis for arguments from disagreement and, in so doing, proposes methodological principles which allow us to distinguish between legitimate arguments from disagreement and dialectically ineffective arguments from disagreement. In the light of these principles, I evaluate Cappelen and Hawthorne's [2009] argument from disagreement against relativism, and show that it fails to undermine relativism since it is dialectically ineffective. Nevertheless, I argue that (...) an alternative challenge to relativism based on disagreement is available. More generally, I argue that semantic theory is not answerable to data stemming from ‘loaded’ philosophical principles regarding the nature of disagreement. Rather, semantic theorists will exhaust their dialectical responsibilities regarding disagreement if they can demonstrate consistency with a minimal account of the concept. (shrink)

While engaged in the analysis of topics such as the nature of knowledge, meaning, or justice, analytic philosophers have traditionally relied extensively on their own intuitions about when the relevant terms can, and can't, be correctly applied. Consequently, if intuitions about possible cases turned out not to be a reliable tool for the proper analysis of philosophically central concepts, then a radical reworking of philosophy's (or at least analytic philosophy's) methodology would seem to be in order. It is thus not (...) surprising that the increasingly critical scrutiny that intuitions have received of late has produced what has been referred to as a "crisis" in analytic philosophy. This paper will argue, however, that at least those criticisms that stem from recent work on semantic externalism are not as serious as their proponents have claimed. Indeed, this paper will argue while the conceptual intuitions (and the analyses that result from them) will have to be recognized as fallible, they still have a prima facie claim to correctness. A naturalistic and externalistic account of concepts thus merely requires that the methodology of conceptual analysis be reinterpreted (from a 'Platonic' to a 'constructive' model) rather than given up. (shrink)

Methodological deflationism is a policy about how we should conduct ourselves when it comes to theories of truth: in particular, a deflationary theory of truth should be taken as one’s starting point, and the notion of truth should be inflated only as necessary. This policy is motivated, in part, by the need to balance the theoretical virtue of parsimony with that of explanatory sufficiency. In this article, the case is made that the methodological deflationist is in no position to (...) properly balance those virtues—a point made evident by tracing the relationship between semantic theories and the explanatory needs of theories of truth. Furthermore, methodological deflationism threatens to unduly influence semantic theorizing and, in doing so, displays an inappropriate bias towards deflationary theories of truth. (shrink)

Ordinary and transfinite recursion and induction and ZF set theory are used to construct from a fully interpreted object language and from an extra formula a new language. It is fully interpreted under a suitably defined interpretation. This interpretation is equivalent to the interpretation by meanings of sentences if the object language is so interpreted. The added formula provides a truth predicate for the constructed language. The so obtained theory of truth satisfies the norms presented in Hannes Leitgeb's (...) paper 'What Theories of Truth Should be Like (but Cannot be)'. (shrink)

The paper presents Alfred Tarski’s debate with the semantic antinomies: the basic Liar Paradox, and its more sophisticated versions, which are currently discussed in philosophy: Strengthen Liar Paradox, Cyclical Liar Paradox, Contingent Liar Paradox, Correct Liar Paradox, Card Paradox, Yablo’s Paradox and a few others. Since Tarski, himself did not addressed these paradoxes—neither in his famous work published in 1933, nor in later papers in which he developed the Semantic Theory of Truth—therefore, We try to defend his (...) concept of truth against these antinomies. It is demonstrated that Tarskian theory of truth is resistant to the paradoxes and it is still the best solution to avoid the antinomies and remain within a classical logic, that is, accepting the laws of noncontradiction, excluded middle, and the principle of bivalence. Thus, the goal of the paper is double—firstly, to show that none of the versions of the Liar Paradox’s is a serious threat to Tarski’s concept of truth, and secondly, that Semantic Theory of Truth allows to remain within classical logic, and at the same time, avoid antinomies—which makes it the most attractive among classical theories of truth. (shrink)

This article further explains and develops a recent, comprehensive semantic naturalization theory, namely the interactive indexing (II) theory as described in my 2008 Minds and Machines article Semantic Naturalization via Interactive Perceptual Causality (Vol. 18, pp. 527–546). Folk views postulate a concrete intentional relation between cognitive states and the worldly states they are about. The II theory eliminates any such concrete intentionality, replacing it with purely causal relations based on the interactive theory of perception. (...) But intentionality is preserved via purely abstract propositions about the world that index, or correlate with, appropriate cognitive states. Further reasons as to why intentionality must be abstract are provided, along with more details of an II-style account of representation, language use and propositional attitudes. All cognitive representation is explained in terms of classification or sorting dispositions indexed by appropriate propositions. The theory is also related to Fodor’s representational theory of mind, with some surprisingly close parallels being found in spite of the purely dispositional basis of the II theory. In particular, Fodor’s insistence that thinking about an item cannot be reduced to sorting dispositions is supported via a novel two-level account of cognition—upper level propositional attitudes involve significant intermediate processing of a broadly normative epistemic kind prior to the formation of sorting dispositions. To conclude, the weak intentional realism of the II theory—which makes intentional descriptions of the world dispensable—is related to Dennett’s ‘intentional stance’ view, and distinguished from strong (indispensable) intentional realist views. II-style dispositions are also defended. (shrink)

(1) This is Part 2 of the semantic theory I call TM. In Part 1, I developed TM as a theory in the analytic philosophy of language, in lexical semantics, and in the sociology of relating occasions of statement production and comprehension to formal and informal lexicographic conclusions about statements and lexical items – roughly, as showing how synchronic semantics is a sociological derivative of diachronic, person-relative acts of linguistic behavior. I included descriptions of new cognitive psychology (...) experimental paradigms which would allow us to precisely measure the two constituents of semantics – meaning and reference – both at the level of individual speech acts and at the level of societal convergences, i.e. at both the token and type levels. -/- (2) In the Introduction, I recapitulate the arguments of Part 1. The Introduction also develops some analytic philosophical and lexical semantics themes not discussed in Part 1. -/- (3) After the Introduction, I present neural TM (nTM) as a theory of the neural mechanisms and processes which give rise to these person/occasion-relative acts of linguistic behavior. I develop nTM at three levels, the first two of which describe linguistic/semantic functions independently of their cortical locations. At the first level, I describe individual word-to-word and word-to-object connections. At the second level, I describe the corresponding structuralist networks of which they are the individual components. At this level, I introduce some key linguistic concepts of TM – its graded meaning, reference, and generalization sets, and the types of statements which express various levels of word-to-word and word-to-object relationships among lexical items which, because of the constraints they impose on the use of those lexical items in statements we produce and comprehend, are concepts. This constitutes the second structural level of nTM. -/- (4) At the third level, I associate the non-localized structures of the previous levels with cortically located neural structures and with the fasciculi that connect them. I distinguish neural areas in which primary (phonetic) and secondary (orthographic) lexicons are stored in long-term memory. I also describe the embodied concepts which co-exist in the anterior temporal lobes with the images they lexicalize. These concepts are often said to name physical objects and their features, although what they in fact name are kinds of physical objects and features. I describe how conceptual constraints and referential constraints interact to channel our intentions to say how things are into statements which are semantically well-formed, and which consequently successfully communicate information. -/- (5) Following this presentation of nTM, I examine five prominent neural semantic theories. I point out what is wrong with each of them as far as their explanations of semantics are concerned, and I also indicate how nTM can replace the “semantic cores” of those theories. -/- (6) The two basic mistakes made by neuroscience semantic theories, as I will explain, are (i) that all but one of them regard semantics as a matter of the association of words with perceptual images, and of generalizations from those associations; and (ii) that they all rely on an unspecified set of neural structures which purportedly encode the meaning of concepts in abstraction from their phonological and orthographic forms. nTM maintains, in contrast, that there are no abstract neural representations of semantic content. Neural constraints on our linguistic behavior, especially on our ascriptive and co-ascriptive use of words, express the semantic constraints on those words which make them concepts. That is the semantic content of words. -/- (7) I next consider several results from neuroscience experimental data which have been given one interpretation by one or another of the standard neurosemantic theories, but to which nTM gives a different interpretation. I include several predictions which I have found neither confirmed nor disconfirmed in the experimental neuroscience literature. -/- (8) After a concluding section in which I summarize the major changes to neurosemantic theory introduced by TM, and the analytic philosophy of language and lexical semantics contexts within which TM is situated, there follows an appendix in which I discuss neural net AI, and make some recommendations for implementing nTM in silicon. (shrink)

Lexical semantics has a problem. As Allesandro Lenci put it, the problem is that it cannot distinguish semantic from non-semantic relationships within its data. (2008, 2014). The data it relies on are patterns of co-occurrence of lexemes within linguistic corpora. But patterns of co-occurrence can reflect either our knowledge of what the world is like or our knowledge of what words mean -- matters of fact or matters of meaning. -/- In this essay, I develop a semantic (...) theory which draws this distinction in a way which makes it discernible in lexical semantics and cognitive science research. In doing so, this theory unifies truth-functional and structuralist approaches to semantics, and provides an integrated explanation of meaning and reference. -/- I base this semantic theory on linguistic dispositions to pair words with words, and to pair words with things, both based on learned patterns of association. These dispositions manifest themselves in verbal behavior, and (in Part 2) I propose a new neurophysical model to account for these dispositions which underlie both the intensional and extensional patterns in that behavior. (shrink)

This paper argues that the types of intention can be modeled both as modal operators and via a multi-hyperintensional semantics. I delineate the semantic profiles of the types of intention, and provide a precise account of how the types of intention are unified in virtue of both their operations in a single, encompassing, epistemic space, and their role in practical reasoning. I endeavor to provide reasons adducing against the proposal that the types of intention are reducible to the mental (...) states of belief and desire, where the former state is codified by subjective probability measures and the latter is codified by a utility function. I argue, instead, that each of the types of intention -- i.e., intention-in-action, intention-as-explanation, and intention-for-the-future -- has as its aim the value of an outcome of the agent's action, as derived by her partial beliefs and assignments of utility, and as codified by the value of expected utility in evidential decision theory. (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)

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)

In this paper I adopt Kaplan’s framework for distinguishing between descriptive and expressive content. Racial slurs are an especially difficult challenge for truth-conditional semantics because of their projection behaviors. That is to say, the offensive content of slurs “scopes out” of logical operators. I argue that racial slurs express contempt and lack descriptive content, so that many sentences containing slurs are not truth apt. My theory accounts for the intuition of the ordinary speaker who refuses to assent to the (...) truth of a sentence containing a slur, but accepts the same statement made using a neutral counterpart of that slur. Weaknesses of rival theories are briefly discussed. (shrink)

This paper presents a sequent calculus and a dual domain semantics for a theory of definite descriptions in which these expressions are formalised in the context of complete sentences by a binary quantifier I. I forms a formula from two formulas. Ix[F, G] means ‘The F is G’. This approach has the advantage of incorporating scope distinctions directly into the notation. Cut elimination is proved for a system of classical positive free logic with I and it is shown to (...) be sound and complete for the semantics. The system has a number of novel features and is briefly compared to the usual approach of formalising ‘the F ’ by a term forming operator. It does not coincide with Hintikka’s and Lambert’s preferred theories, but the divergence is well-motivated and attractive. (shrink)

An attractive way to model the relation between an underspecified syntactic representation and its completions is to let the underspecified representation correspond to a logical description and the completions to the models of that description. This approach, which underlies the Description Theory of Marcus et al. 1983 has been integrated in Vijay-Shanker 1992 with a pure unification approach to Lexicalized Tree-Adjoining Grammars (Joshi et al. 1975, Schabes 1990). We generalize Description Theory by integrating semantic information, that is, (...) we propose to tackle both syntactic and semantic underspecification using descriptions. (shrink)

The ambiguity theory of ‘knows’ is the view that ‘knows’ and its cognates have more than one propositional sense – i.e. more than one sense that can properly be used in ‘knows that’ etc. constructions. Given that most of us are ‘intuitive invariantists’ – i.e. most of us initially have the intuition that ‘knows’ is univocal – defenders of the ambiguity theory need to offer an explanation for the semantic blindness present if ‘knows’ is in fact ambiguous. (...) This paper is an attempt to offer such an explanation. Section 1 contains a general argument for the ubiquity of semantic blindness for ambiguous words; the upshot being that semantic blindness for the ambiguity of ‘knows’ is thus unsurprising. Section 2 offers more specific arguments for why ‘knows’ is the type of ambiguous word that we’re very unlikely to quickly recognize is ambiguous. (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)

This paper outlines a quantitative theory of strongly semantic information (TSSI) based on truth-values rather than probability distributions. The main hypothesis supported in the paper is that the classic quantitative theory of weakly semantic information (TWSI), based on probability distributions, assumes that truth-values supervene on factual semantic information, yet this principle is too weak and generates a well-known semantic paradox, whereas TSSI, according to which factual semantic information encapsulates truth, can avoid the paradox (...) and is more in line with the standard conception of what generally counts as semantic information. After a brief introduction, section two outlines the semantic paradox implied by TWSI, analysing it in terms of an initial conflict between two requisites of a quantitative theory of semantic information. In section three, three criteria of semantic information equivalence are used to provide a taxonomy of quantitative approaches to semantic information and introduce TSSI. In section four, some further desiderata that should be fulfilled by a quantitative TSSI are explained. From section five to section seven, TSSI is developed on the basis of a calculus of truth-values and semantic discrepancy with respect to a given situation. In section eight, it is shown how TSSI succeeds in solving the paradox. Section nine summarises the main results of the paper and indicates some future developments. (shrink)

As emphasized by Alonzo Church and David Kaplan (Church 1974, Kaplan 1975), the philosophies of language of Frege and Russell incorporate quite different methods of semantic analysis with different basic concepts and different ontologies. Accordingly we distinguish between a Fregean and a Russellian tradition in intensional semantics. The purpose of this paper is to pursue the Russellian alternative and to provide a language of intensional logic with a model-theoretic semantics. We also discuss the so-called Russell-Myhill paradox that threatens simple (...) Russellian type theory if propositions satisfies very strict principles of individuation. One way of avoiding the paradox is to adopt a ramified rather than a simple theory of types. (shrink)

An important problem with machine learning is that when label number n>2, it is very difficult to construct and optimize a group of learning functions, and we wish that optimized learning functions are still useful when prior distribution P(x) (where x is an instance) is changed. To resolve this problem, the semantic information G theory, Logical Bayesian Inference (LBI), and a group of Channel Matching (CM) algorithms together form a systematic solution. MultilabelMultilabel A semantic channel in the (...) G theory consists of a group of truth functions or membership functions. In comparison with likelihood functions, Bayesian posteriors, and Logistic functions used by popular methods, membership functions can be more conveniently used as learning functions without the above problem. In Logical Bayesian Inference (LBI), every label’s learning is independent. For Multilabel learning, we can directly obtain a group of optimized membership functions from a big enough sample with labels, without preparing different samples for different labels. A group of Channel Matching (CM) algorithms are developed for machine learning. For the Maximum Mutual Information (MMI) classification of three classes with Gaussian distributions on a two-dimensional feature space, 2-3 iterations can make mutual information between three classes and three labels surpass 99% of the MMI for most initial partitions. For mixture models, the Expectation-Maxmization (EM) algorithm is improved and becomes the CM-EM algorithm, which can outperform the EM algorithm when mixture ratios are imbalanced, or local convergence exists. The CM iteration algorithm needs to combine neural networks for MMI classifications on high-dimensional feature spaces. LBI needs further studies for the unification of statistics and logic. (shrink)

Semantic Information conveyed by daily language has been researched for many years; yet, we still need a practical formula to measure information of a simple sentence or prediction, such as “There will be heavy rain tomorrow”. For practical purpose, this paper introduces a new formula, Semantic Information Formula (SIF), which is based on L. A. Zadeh’s fuzzy set theory and P. Z. Wang’s random set falling shadow theory. It carries forward C. E. Shannon and K. Popper’s (...) thought. The fuzzy set’s probability defined by Zadeh is treated as the logical probability sought by Popper, and the membership grade is treated as the truth-value of a proposition and also as the posterior logical probability. The classical relative information formula (Information=log(Posterior probability / Prior probability) is revised into SIF by replacing the posterior probability with the membership grade and the prior probability with the fuzzy set’s probability. The SIF can be explained as “Information=Testing severity – Relative square deviation” and hence can be used as Popper's information criterion to test scientific theories or propositions. The information measure defined by the SIF also means the spared codeword length as the classical information measure. This paper introduces the set-Bayes’ formula which establishes the relationship between statistical probability and logical probability, derives Fuzzy Information Criterion (FIC) for the optimization of semantic channel, and discusses applications of SIF and FIC in areas such as linguistic communication, prediction, estimation, test, GPS, translation, and fuzzy reasoning. Particularly, through a detailed example of reasoning, it is proved that we can improve semantic channel with proper fuzziness to increase average semantic information to reach its upper limit: Shannon mutual information. (shrink)

Double negations are easily recognised in both the so-called “negative literature” and the original texts of some important scientific theories. Often they are not equivalent to the corresponding affirmative propositions. In the case the law of double negation fails they belong to non-classical logic, as first, intuitionist logic. Through a comparative analysis of the theories including them the main features of a new kind of theoretical organization governed by intuitionist logic are obtained. Its arguing proceeds through doubly negated propositions and (...) ad absurdum arguments. Then, the final doubly negated predicate is translated in the corresponding affirmative one, from which all the consequences are deduced in order to test them against reality. According to this model the true formalization of intuitionist logic is Kolmogorov’s 1932 paper. The above analysis also shows that modal words play an auxiliary or substitutive role to intuitionist propositions. In addition, it is shown that Vasiliev’s paraconsistent logic is represented through doubly negated propositions. By means of these three kinds of logic one can attribute a specific kind of logic to each of the three distinct steps of the process of building a scientific theory from the experimental data to its final theoretical system. It is also shown that the definition of negation is of a structural kind, rather than of an objective kind or a subjective kind: it has to be referred to the organization of the theory to which it belongs. (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)

Semantics plays a role in grammar in at least three guises. (A) Linguists seek to account for speakers‘ knowledge of what linguistic expressions mean. This goal is typically achieved by assigning a model theoretic interpretation in a compositional fashion. For example, *No whale flies* is true if and only if the intersection of the sets of whales and fliers is empty in the model. (B) Linguists seek to account for the ability of speakers to make various inferences based on (...) class='Hi'>semantic knowledge. For example, *No whale flies* entails *No blue whale flies* and *No whale flies high*. (C) The wellformedness of a variety of syntactic constructions depends on morpho-syntactic features with a semantic flavor. For example, *Under no circumstances would a whale fly* is grammatical, whereas *Under some circumstances would a whale fly* is not, corresponding to the downward vs. upward monotonic features of the preposed phrases. It is usually assumed that once a compositional model theoretic interpretation is assigned to all expressions, its fruits can be freely enjoyed by inferencing and syntax. What place might proof theory have in this picture? (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)

This book present a unified semantic theory of expressions involving the notions of part and whole. It develops a theory of part structures which differs from traditional (extensional) mereological theories in that the notion of an integrated whole plays a central role and in that the part structure of an entity is allowed to vary across different situations, perspectives, and dimensions. The book presents a great range of empirical generalizations involving plurals, mass nouns, adnominal and adverbial modifiers (...) such as 'whole', 'together', and 'alone', nominal and adverbial quanitfiers ranging over parts, and expressions of completion such as 'completely' and 'partly'. (shrink)

In this paper I show that we have strong empirical and theoretical reasons to treat the verbs we use in our semantic theorizing—particularly ‘refers to ’, ‘applies to ’, and ‘is true of ’—as intensional transitive verbs. Stating our semantic theories with intensional vocabulary allows us to partially reconcile two competing approaches to the nature and subject-matter of semantics: the Chomskian approach, on which semantics is non-relational, internalistic, and concerns the psychology of language users, and the Lewisian approach, (...) on which semantics is fully relational, specifies truth-conditions, and has metaphysical implications. ITVs have two readings: an intensional, de dicto reading, and a relational, de re reading. A semantic theory stated with the de dicto readings of our semantic verbs captures the core insights of the Chomskian approach to semantics, in part because it allows us to assign extremely fine-grained semantic values to expressions, even when those expressions are empty. On the other hand, the de re reading yields a theory that is fully relational, and issues in truth-conditions. The resulting theories are related—and compatible—in that they are expressed by two different readings of the very same semantic vocabulary, and plausibly, the distinction between these two readings is one of scope. (shrink)

This paper challenges the negative attitudes towards labelled proof systems, usually referred to as semantic pollution, by arguing that such critiques overlook the full potential of labelled calculi. The overarching objective is to develop a practice-based philosophical analysis of labelled calculi to provide insightful considerations regarding their proof-theoretic and philosophical value. To achieve this, successful applications of labelled calculi and related results will be showcased, and comparisons with other relevant works will be discussed. The paper ends by advocating for (...) a more practice-based approach towards the philosophical understanding of proof systems and their role in structural proof theory. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis (...) into a detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

This paper rejects the imposition of "semantic innocence" as a constraint on semantic theories. In particular, it argues that recent attempts to justify the imposition of "semantic innocence" as a constraint on semantic theories fail.

It is outlined the possibility to extend the quantum formalism in relation to the requirements of the general systems theory. It can be done by using a quantum semantics arising from the deep logical structure of quantum theory. It is so possible taking into account the logical openness relationship between observer and system. We are going to show how considering the truth-values of quantum propositions within the context of the fuzzy sets is here more useful for systemics. In (...) conclusion we propose an example of formal quantum coherence. (shrink)

This essay makes the case for, in the phrase of Angelika Kratzer, packing the fruits of the study of rational decision-making into our semantics for deontic modals—specifically, for parametrizing the truth-condition of a deontic modal to things like decision problems and decision theories. Then it knocks it down. While the fundamental relation of the semantic theory must relate deontic modals to things like decision problems and theories, this semantic relation cannot be intelligibly understood as representing the conditions (...) under which a deontic modal is true. Rather it represents the conditions under which it is accepted by a semantically competent agent. This in turn motivates a reorientation of the whole of semantic theorizing, away from the truth-conditional paradigm, toward a form of Expressivism. (shrink)

I find it interesting that AI researchers don't use concepts very often in their theorizing. No doubt they feel no pressure to. This is because most AI researchers do use representations which allow a system to chunk up its environment, and basically all we know about concepts is that they are representations which allow a system to chunk up its environment.

SEMANTIC ARITHMETIC: A PREFACE John Corcoran Abstract Number theory, or pure arithmetic, concerns the natural numbers themselves, not the notation used, and in particular not the numerals. String theory, or pure syntax, concems the numerals as strings of «uninterpreted» characters without regard to the numbe~s they may be used to denote. Number theory is purely arithmetic; string theory is purely syntactical... in so far as the universe of discourse alone is considered. Semantic arithmetic is (...) a broad subject which begins when numerals are mentioned (not just used) and mentioned as names of numbers (not just as syntactic objects). Semantic arithmetic leads to many fascinating and surprising algorithms and decision procedures; it reveals in a vivid way the experiential import of mathematical propositions and the predictive power of mathematical knowledge; it provides an interesting perspective for philosophical, historical, and pedagogical studies of the growth of scientific knowledge and of the role metalinguistic discourse in scientific thought. (shrink)

The article investigates the significance of the so-called phenomenon of apparent faultless disagreement for debates about the semantics of taste discourse. Two kinds of description of the phenomenon are proposed. The first ensures that faultless disagreement raises a distinctive philosophical challenge; yet, it is argued that Contextualist, Realist and Relativist semantic theories do not account for this description. The second, by contrast, makes the phenomenon irrelevant for the problem of what the right semantics of taste discourse should be. Lastly, (...) the following dilemma is assessed: either faultless disagreement provides strong evidence against semantic theories; or its significance should be considerably downplayed. (shrink)

Cognition involves physical stimulation, neural coding, mental conception, and conscious perception. Beyond the neural coding of physical stimuli, it is not clear how exactly these component processes constitute cognition. Within mathematical sciences, category theory provides tools such as category, functor, and adjointness, which are indispensable in the explication of the mathematical calculations involved in acquiring mathematical knowledge. More speci cally, functorial semantics, in showing that theories and models can be construed as categories and functors, respectively, and in establishing the (...) adjointness between abstraction (of theories) and interpretation (to obtain models), mathematically accounts for knowing-within-mathematics. Here we show that mathematical knowing recapitulates--in an elementary form--ordinary cognition. The process of going from particulars (physical stimuli) to their concrete models (conscious percepts) via abstract theories (mental concepts) and measured properties (neural coding) is common to both mathematical knowing and ordinary cognition. Our investigation of the similarity between knowing-within-mathematics and knowing-in-general leads us to make a case for the development of the basic science of cognition in terms of the functorial semantics of mathematical knowing. (shrink)

In “Is semantics possible?” Putnam connected two themes: the very possibility of semantics (as opposed to formal model theory) for natural languages and the proper semantic treatment of common nouns. Putnam observed that abstract semantic accounts are modeled on formal languages model theory: the substantial contribution is rules for logical connectives (given outside the models), whereas the lexicon (individual constants and predicates) is treated merely schematically by the models. This schematic treatment may be all that is (...) needed for an account of validity in a formal setting, but it does not help to understand how proper and common nouns function in reality (not in models). Putnam then initiated the empirical study of such nouns to indicate, (i), that the popular Frege-Carnap account of them as (“disguised” compound) predicates is empirically incorrect, and, (ii), that they offer a new paradigm for a naturalistic semantics of natural languages. We take Putnam’s program a couple of steps further. First, we investigate the semantics of common nouns and argue that they refer (to kinds), rather than apply by satisfaction/truth to a designation/denotation. Second, we point to general results about semantics as a theory whose fulcrum is the reference relation rather than satisfaction in models and validity across them. (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is (...) also decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

Relationship between default semantics and modularity of mind (in particular mind reading through the principle of Relevance).

At the heart of semantics in the 20th century is Frege’s distinction between sense and force. This is the idea that the content of a self-standing utterance of a sentence S can be divided into two components. One part, the sense, is the proposition that S’s linguistic meaning and context associates with it as its semantic interpretation. The second component is S’s illocutionary force. Illocutionary forces correspond to the three basic kinds of sentential speech acts: assertions, orders, and questions. (...) Forces are then kinds of acts in which propositions are deployed with certain purposes. I sketch a speech-act theoretic semantics in which that distinction does not hold. Instead of propositions and forces, the theory proposes proto-illocutionary acts and illocutionary acts. The orthodox notion of a proposition plays no role in the framework, which is a good thing, since that notion is deeply problematic. The framework also shows how expressionists, who embrace a sophisticated speech-act framework, face no Frege-Geach embedding problem, since the latter assumes the Sense/Force distinction. (shrink)

According to the received view of scientific theories, a scientific theory is an axiomatic-deductive linguistic structure which must include some set of guidelines (“correspondence rules”) for interpreting its theoretical terms with reference to the world of observable phenomena. According to the semantic view, a scientific theory need not be formulated as an axiomatic-deductive structure with correspondence rules, but need only specify models which are said to be “isomorphic” with actual phenomenal systems. In this paper, I consider both (...) the received and semantic views as they bear on the issue of how a theory relates to the world (Section 1). Then I offer a critique of some arguments frequently put forth in support of the semantic view (Section 2). Finally, I suggest a more convincing “meta-methodological” argument (based on the thought of Bernard Lonergan) in favor of the semantic view (Section 3). (shrink)

Philosophers and cognitive scientists have worried that research on animal mind-reading faces a ‘logical problem’: the difficulty of experimentally determining whether animals represent mental states (e.g. seeing) or merely the observable evidence (e.g. line-of-gaze) for those mental states. The most impressive attempt to confront this problem has been mounted recently by Robert Lurz. However, Lurz' approach faces its own logical problem, revealing this challenge to be a special case of the more general problem of distal content. Moreover, participants in this (...) debate do not agree on criteria for representation. As such, future debate should either abandon the representational idiom or confront underlying semantic disagreements. (shrink)

Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from (...) the one suggested by standard model-theoretic semantics. (shrink)

According to Conceptual Role Semantics, the meaning of a representation is the role of that representation in the cognitive life of the agent, e.g. in perception, thought and decision-making. It is an extension of the well known "use" theory of meaning, according to which the meaning of a word is its use in communication and more generally, in social interaction. CRS supplements external use by including the role of a symbol inside a computer or a brain. The uses appealed (...) to are not just actual, but also counterfactual: not only what effects a thought does have, but what effects it would have had if stimuli or other states had differed. The view has arisen separately in philosophy and in cognitive science. The source of the view is Wittgenstein and Sellars, but the source in contemporary philosophy is a series of papers by Harman and Field. Other proponents in philosophy have included Block, Horwich, Loar, McGinn and Peacocke. In cognitive science, they include Woods and Miller and Johnson-Laird. (shrink)