In an article entitled "Is BAD a semantic primitive?", John Myhill suggested that the concept 'bad' should be removed from the list of semantic primitives put forward by Anna Wierzbicka and Cliff Goddard. Myhill argued that 'bad' is semantically decomposable, that there is no word in Biblical Hebrew that corresponds to the English word bad and, thus, no linguistic form that represents the primitive BAD in this language, and that 'bad' is dispensable in the semantic analysis (...) and can be replaced with other components without any loss or change of meaning. Discussing and illustrating some fundamental questions in the search for universal semantic primitives, the present author reconsiders these findings and finds a different answer to John Myhill's question. (shrink)

Quine’s way of dealing with the semantical paradoxes (Ways of Paradox, pp. 9-10) is criticized. The criticism is based on three premises: (1) no learnable language has infinitely many semantical primitives; (2) any language of which Quine’s theory is true has infinitely many semantical primitives; (3) English is a learnable language. The conclusion drawn is that Quine’s theory is not true of English.

W niniejszym tekście, poświęconym definiowaniu m. in. słów i zwrotów frazeologicznych podczas nauczania języków, autorka opisuje lingwistyczną teorię Anny Wierzbickiej, dotyczącą Natural Semantic Metalanguage i w adaptacyjnej formie przenosi ją na płaszczyznę zajęć z języka obcego, gdzie przynosi ona namacalne wyniki. Podczas zajęć językowych wymaga się od uczących się poprawnego definiowania ogólnego, które jednak rzadko przekazywane jest w podręcznikach i na wykładach, mimo iż zdolność ta nie jest wcale oczywista, samo definiowanie zaś nie jest łatwym zadaniem. Przeciwnie - od (...) studentek i studentów języków obcych oczekuje się mentalnego uzdolnienia w tym kierunku, nie uwzględniając faktu, że wiele osób ma trudności z definiowaniem nawet w języku ojczystym. W artykule autorka chce pokazać, że po części zignorowana teoria Anny Wierzbickiej ze swoim punktem wyjściowym, jakim są primes, pozwala uświadomić uczącym się języka obcego, że istotę słowa, wyrażenia czy frazy można wyjaśnić w oparciu o sposób określenia znaczenia, przyjęty w NSM. Nie jest przy tym konieczne, ażeby znaczenia opisywać i określać poprzez primes. Ważne jest, aby w celu uniknięcia błędnego koła podczas objaśnień definicji nie koncentrować się na synonimach i antonimach. Jak takie i podobne objaśnienia mogą wyglądać, pokazane jest na przykładach kilku definicji, które wyjaśnione zostały w oparciu o sposób określenia znaczenia przyjęty w NSM. Autorka dyskutuje również opisy i warunki działania takiej metody. Na zakończenie przedstawione są propozycje w zakresie metodologii nauczania umiejętności definiowania podczas zajęć języka obcego. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the (...) Dutch pluperfect imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

Robert cummins has recently attacked this line of argument: if p is a semantically primitive predicate of a first order language l, then p requires its own clause in the definition of satisfaction integral to a definition of truth of l. thus if l has infinitely many such p, the satisfaction clause cannot be completed and truth for l will remain undefined. against this cummins argues that a single clause in a general base theory for l can specify satisfaction conditions (...) for even infinitely many semantically primitive predicates of l. against cummins we argue that a general base theory contains a primitive expression 'applies to' and that to make his case cummins would need to prove this expression stands for a semantical relation sufficient to a truth definition for l. not only is such a proof lacking but we show the claim to be altogether dubious. (shrink)

This paper sketches a particular line of criticism targeted at Scanlon’s account of a normative reason, which is purported to kill two birds with one stone: to raise doubts about the plausibility of Scanlon’s account of a normative reason and, next, to dismiss Scanlon’s conception of what a normative reason is in the role of an argument for semantic normativism. Following Whiting I take semantic normativism to be the view, according to which linguistic meaning is intrinsically normative. The (...) key argument for semantic normativism is that a word or expression has conditions for its correct use which count, or speak in favour of using it in certain ways and not in others. Specifically, it has immediate implications for how a subject should or may employ that expression. I shall argue that if the favouring format of analysis of a normative reason is not a particularly happy proposal in itself, then it supplies a superficial support for semantic normativism. (shrink)

Those who naturalize semantics concentrate on avoiding difficulties in getting the right sort of cause for the biological item which is to possess semantic properties (to be ‘true of or to be ‘about’ some physical item). Using an analogy with sense‐data, I argue that the real difficulties will be trying to get any proposed neural representation to be the right sort of effect of natural processes. The idea of a biological item which can be a semantic ‘primitive’ is (...) as bankrupt as the idea of a mental item which could be a perceptual ‘primitive’. Eventually I propose a technique for finding naturalized representations without these problems. (shrink)

A notion of strictly primitive recursive realizability is introduced by Damnjanovic in 1994. It is a kind of constructive semantics of the arithmetical sentences using primitive recursive functions. It is of interest to study the corresponding predicate logic. It was argued by Park in 2003 that the predicate logic of strictly primitive recursive realizability is not arithmetical. Park’s argument is essentially based on a claim of Damnjanovic that intuitionistic logic is sound with respect to strictly primitive recursive realizability, but that (...) claim was disproved by the author of this article in 2006. The aim of this paper is to present a correct proof of the result of Park. (shrink)

Conceptual primitives and semantic universals are the cornerstones of a semantic theory which Anna Wierzbicka has been developing for many years. Semantics: Primes and Universals is a major synthesis of her work, presenting a full and systematic exposition of that theory in a non-technical and readable way. It delineates a full set of universal concepts, as they have emerged from large-scale investigations across a wide range of languages undertaken by the author and her colleagues. On the basis (...) of empirical cross-linguistic studies it vindicates the old notion of the "psychic unity of mankind", while at the same time offering a framework for the rigorous description of different languages and cultures. (shrink)

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: the (...) meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

Kripke-Wittgenstein meaning skepticism appears as a serious threat to the idea that there could be meaning-constituting facts. Some people argue that the only viable response is to adopt semantic primitivism (SP). SP is the doctrine that meaning-facts are _sui generis and irreducibly semantic. The idea is that by allowing such primitive semantic facts into our ontology Kripke's skeptical paradox cannot arise. I argue that SP is untenable in spite of its apparent resourcefulness. (edited).

This paper shows that the relevant logics E and Π′ are strongly sound and complete with regards to a version of the “simplified” Routley-Meyer semantics. Such a semantics for E has been thought impossible. Although it is impossible if an admissible rule of E  the rule of restricted assertion or equivalently Ackermann’s δ-rule  is solely added as a primitive rule, it is very much possible when E is axiomatized in the way Anderson and Belnap did. The simplified semantics (...) for E and Π′ requires unreduced frames. Contra what has been claimed, however, no additional frame component is required over and above what’s required to model other relevant logics such as T and R. It is also shown how to modify the tonicity requirements of the ternary relation so as to allow for the standard truth condition for both fusion – the intensional conjunction ◦ – as well as the converse conditional ←. (shrink)

We show that the variety of equivalential algebras with regularization gives the algebraic semantics for the -fragment of intuitionistic propositional logic. We also prove that this fragment is hereditarily structurally complete.

In 1969, De Jongh proved the “maximality” of a fragment of intuitionistic predicate calculus forHA. Leivant strengthened the theorem in 1975, using proof-theoretical tools (normalisation of infinitary sequent calculi). By a refinement of De Jongh's original method (using Beth models instead of Kripke models and sheafs of partial combinatory algebras), a semantical proof is given of a result that is almost as good as Leivant's. Furthermore, it is shown thatHA can be extended to Higher Order Heyting Arithmetic+all trueΠ 2 0 (...) -sentences + transfinite induction over primitive recursive well-orderings. As a corollary of the proof, maximality of intuitionistic predicate calculus is established wrt. an abstract realisability notion defined over a suitable expansion ofHA. (shrink)

Donald Davidson was one of the most influential philosophers of the last half of the 20th century, especially in the theory of meaning and in the philosophy of mind and action. In this paper, I concentrate on a field-shaping proposal of Davidson’s in the theory of meaning, arguably his most influential, namely, that insight into meaning may be best pursued by a bit of indirection, by showing how appropriate knowledge of a finitely axiomatized truth theory for a language can put (...) one in a position both to interpret the utterance of any sentence of the language and to see how its semantically primitive constituents together with their mode of combination determines its meaning (Davidson 1965, 1967, 1970, 1973a). This project has come to be known as truth-theoretic semantics. My aim in this paper is to render the best account I can of the goals and methods of truth-theoretic semantics, to defend it against some objections, and to identify its limitations. Although I believe that the project I describe conforms to the main idea that Davidson had, my aim is not primarily Davidson exegesis. I want to get on the table an approach to compositional semantics for natural languages, inspired by Davidson, but extended and developed, which I think does about as much along those lines as any theory could. I believe it is Davidson’s project, and I defend this in detail elsewhere (Ludwig 2015; Lepore and Ludwig 2005, 2007a, 2007b, 2011). But I want to develop and defend the project while also exploring its limitations, without getting entangled in exegetical questions. (shrink)

The study applied the Natural Semantic Metalanguage to the investigation of pakikisama or ‘getting along with others’. The study aimed to use language in representing cognition and to identify the elements that make the concepts culture-specific. Hence, the study of a language, especially of its vocabulary, can reveal one’s way of thinking, show the essential features of a particular culture and offer important clues for its distinction from others. Using linguistic evidence as data, the study is a semantic (...) analysis, a type which falls under descriptive qualitative research. The native meanings of the concepts are couched in cultural scripts offering an objective representation through the use of semantic primitives or semantic primes. To date, there are 63 semantic primes which make possible the bias-free, culture-independent and non-ethnocentric description of the meaning and its comparison with related concepts in other languages. The study includes a semantic explication which reveals the Filipinos’ unique way of looking at things by demonstrating their dominantly inherent ‘group’ cognitive structures. The study recommends that the concepts be compared with those from other ethnolinguistic groups in order to promote goodwill and understanding among people of diverse cultural types. Keywords- Social Science, semantics, key cultural concepts, Natural Semantic Metalanguage, Philippines. (shrink)

A number of recent works consider treating validity as a primitive notion rather than one defined in some standard manner. There seem to have been three motivations. First, to understand how truth and validity interact in potentially paradoxical settings. Second, to argue that validity is in fact afflicted with paradoxes analogous to the semantic paradoxes. Third, to develop a ‘deflationary’ conception of validity or consequence. This article treats the notion of validity as a primitive notion and shows how to (...) provide a consistent theory of classical validity (and self-applicative truth), conservative over Peano arithmetic. (shrink)

I ON THE PRIMITIVE TERM OF LOGISTICf IN this article I propose to establish a theorem belonging to logistic concerning some connexions, not widely known, ...

The author argues that the so-called “basic emotions”, such as happiness, fear or anger, are in fact cultural artifacts of the English language, just as the Ilongot concept of liget, or the Ifaluk concept of song, are the cultural artifacts of Ilongot and Ifaluk. It is therefore as inappropriate to talk about human emotions in general in terms of happiness, fear, or anger as it would be to talk about them in terms of liget or song. However, this does not (...) mean that we cannot penetrate into the emotional world of speakers of languages other than our own. Nor does it mean that there cannot be any universal human emotions. Universality of emotions is an open issue which requires further investigation. For this further investigation to be fully productive, it has to be undertaken from a universal, language and culture-independent perspective; and it has to be carried out in a universalist framework that is language and culture-independent. The author proposes for this purpose the “natural semantic metalanguage” based on universal (or near-universal) semantic primitives (or near-primitives), developed over two decades by herself and colleagues, and she argues that the use of this metalanguage facilitates such a perspective and offers such a framework. (shrink)

This paper confronts a certain modern view of the relation between semantics and ontology with that of the late-medieval nominalist philosophers, William Ockham and John Buridan. The modern view in question is characterized in terms of what is called here “the thesis of onto-semantic parallelism,” which states that the primitive (indefinable) categorematic concepts of our semantics mark out the primary entities in reality. The paper argues that, despite some apparently plausible misinterpretations to the contrary, the late-medieval nominalist program of (...) “ontological reduction” was not driven by considerations that try to “read off” ontology from semantic analysis or those that try to identify semantic primitives in their search for ontological primitives. The medieval authors presented a much more flexible, dynamic view of “Aristotelian naturalism,” which challenges both of the unappealing modern alternatives of “conceptual tribalism” and “conceptual imperialism.”. (shrink)

This paper sets out a number of reasons for thinking that the framework of possible worlds, even when construed non-reductively, does not provide an adequate basis for an explanation of modality. I first consider a non-reductive version of Lewis' modal realism, and then move on to consider the ersatzist approach of Plantinga et al. My main complaint is that the framework of possible worlds gets the semantics and metaphysics of ordinary modal discourse wrong. That is, possible worlds do not give (...) us an adequate answer to the semantic question of what ordinary modal claims mean, nor do they give us an adequate answer to the metaphysical question of what makes such claims true. (shrink)

If conceptual analysis is possible for finite thinkers, then there must ultimately be a distinction between complex and primitive or irreducible and unanalyzable concepts, by which complex concepts are analyzed as relations among primitive concepts. This investigation considers the advantages of categorizing intentionality as a primitive rather than analyzable concept, in both a historical Brentanian context and in terms of contemporary philosophy of mind. Arguments in support of intentionality as a primitive relation are evaluated relative to objections, especially a recent (...) criticism by Jerry A. Fodor. Against this background, the relation between qualia and intentionality in the understanding of consciousness is explored. (shrink)

Both syntactic and semantic solutions are given for the entailment problem of duality theory. The test algebra theorem provides both a syntactic solution to the entailment problem in terms of primitive positive formulae and a new derivation of the corresponding result in clone theory, viz. the syntactic description of $\operatorname{Inv(Pol}(R))$ for a given set R of finitary relations on a finite set. The semantic solution to the entailment problem follows from the syntactic one, or can be given in (...) the form of an algorithm. It shows, in the special case of a purely relational type, that duality-theoretic entailment is describable in terms of five constructs, namely trivial relations, intersection, repetition removal, product, and retractive projection. All except the last are concrete, in the sense that they are described by a quantifier-free formula. It is proved that if the finite algebra $\underline{M}$ generates a congruence-distributive variety and all subalgebras of $\underline{M}$ are subdirectly irreducible, then concrete constructs suffice to describe entailment. The concept of entailment appropriate to strong dualities is also introduced, and described in terms of coordinate projections, restriction of domains, and composition of partial functions. (shrink)

Traditional approaches in deontic logic have focused on the so-called reportative reading of obligation sentences, by providing truth-functional semantics based on a primitive ideality order between possible worlds. Those approaches, however, do not take into account that, in natural language, obligation sentences primarily carry a prescriptive effect. The paper focuses precisely on that prescriptive character, and shows that the reportative reading can be derived from the prescriptive one. A dynamic, non truth-functional semantics for necessity deontic modals is developed, in which (...) the ideality relations among possible worlds can be updated. Finally, it is proven that the semantics solves several of the classic deontic paradoxes. (shrink)

In setting up a formal system to specify a grammar formalism, the conventional (mathematical) wisdom is to start with primitives (basic primitive structures) as simple as possible, and then introduce various operations for constructing more complex structures. An alternate approach is to start with complex (more complicated) primitives, which directly capture some crucial linguistic properties and then introduce some general operations for composing these complex structures. These two approaches provide different domains of locality, i.e., domains over which various (...) types of linguistic dependencies can be specified. The latter approach, characterized as complicate locally, simplify globally (CLSG), pushes non‐local dependencies to become local, i.e., they arise in the basic primitive structures to start with.The CLSG approach has led to some new insights into syntactic description, semantic composition, language generation, statistical processing, and psycholinguistic phenomena, all these with possible relevance to the cognitive architecture of language. In this paper, we will describe these results in an introductory manner making use of the framework of lexicalized tree‐adjoining grammar (LTAG), a key example of the CLSG approach, thereby describing the interplay between formal analysis on the one hand and linguistic and processing issues on the other hand. (shrink)

I’m sympathetic to a great deal of Peacocke’s project: that possession of a concept should require it playing a certain role in thought; that semantic determination should be treated separately from concept possession; that certain concepts are defective by virtue of eluding sufficient determination or specification: such claims seems to me right, important, and too little appreciated on my side of the Atlantic.

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content or (...) preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

We may wonder about the status of logical accounts of the meaning of language. When does a particular proposal count as a theory? How do we judge a theory to be correct? What criteria can we use to decide whether one theory is “better” than another? Implicitly, many accounts attribute a foundational status to set theory, and set-theoretic characterisations of possible worlds in particular. The goal of a semantic theory is then to find a translation of the phenomena of (...) interest into a set-theoretic model. Such theories may be deemed to have “explanatory” or “predictive” power if a mapping can found into expressions of set-theory that have the appropriate behaviour by virtue of the rules of set-theory (for example Montague 1973; Montague1974). This can be contrasted with an approach in which we can help ourselves to “new” primitives and ontological categories, and devise logical rules and axioms that capture the appropriate inferential behaviour (as in Turner 1992). In general, this alternative approach can be criticised as being mere “descriptivism”, lacking predictive or explanatory power. Here we will seek to defend the axiomatic approach. Any formal account must assume some normative interpretation, but there is a sense in which such theories can provide a more honest characterisation (cf. Dummett 199). In contrast, the set-theoretic approach tends to conflate distinct ontological notions. Mapping a pattern of semantic behaviour into some pre-existing set-theoretic behaviour may lead to certain aspects of that behaviour being overlooked, or ignored (Chierchia & Turner 1988; Bealer 1982). Arguments about the explanatory and predictive power of set-theoretic interpretations can also be questioned (see Benacerraf 1965, for example). We aim to provide alternative notions for evaluating the quality of a formalisation, and the role of formal theory. Ultimately, claims about the methodological and conceptual inadequacies of axiomatic accounts compared to set-theoretic reductions must rely on criteria and assumptions that lie outside the domain of formal semantics as such. (shrink)

We introduce a game model for an Algol-like programming language with primitives for parallel composition and synchronization on semaphores. The semantics is based on a simplified version of Hyland–Ong-style games and it emphasizes the intuitive connection between the concurrent nature of games and that of computation. The model is fully abstract for may-equivalence.

The paper suggests a revision of the notion of harmony, a major necessary condition in proof-theoretic semantics for a natural-deduction proof-system to qualify as meaning conferring, when moving to a bilateral proof-system. The latter considers both forces of assertion and denial as primitive, and is applied here to positive logics, lacking negation altogether. It is suggested that in addition to the balance between (positive) introduction and elimination rules traditionally imposed by harmony, a balance should be imposed also on: (i) negative (...) introduction and elimination rules, and (ii) positive and negative introduction rules. The paper suggests a proof-theoretical definition of duality (not referring to truthtables), using which double harmony is defined. The paper proves that in a doubly-harmonious system, the coordination rule, typical to bilateral systems, is admissible. (shrink)

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

Normal 0 21 false false false PT-BR X-NONE X-NONE MicrosoftInternetExplorer4 According to the Hegelian scheme re-proposed by Honneth, the first pattern of intersubjective recognition, still below the juridical mediation, is the sphere of interactions marked by affective bonds, or love. It is considered a first stage mostly because recognition is rooted in the partners' mutual dependency as needy creatures, which demand care and the emotional approval that follows it. In this sense, a constitutional lacking emerges as the fundamental character of (...) the most primitive kinds of interaction embedded in social norms. And that is important inasmuch the other stages of recognitive practices depend on this first one, in which subjects acquire capacities for rational and moral reasoning and action in the public sphere. However, one could question to what extent the same normative structure can be taking as underlying every loving relationship, as oriented by an affirmation of the subject's independence, while presupposing involuntary feelings of liking and attraction. After all, if the aspirations of reciprocal recognition in this realm are intrinsically related to very concrete features, why taking child caring, friendship and sexual encounter as referred to the same set of recognition patterns? If Honneth's recourse to psychoanalytic theory makes it clear why in all these kinds of interaction is to be found erotic contents of libidinal character, on the other hand one gets no clue on why the very different forms of satisfaction of the drives do not come into consideration. At this point it seems important to recall Georges Bataille's account of sexuality to think not only about the limits of recognition, but also its dialectical structure. The central notion of transgression helps understand why the normative grounds of intersubjective acknowledgment regarding at least some love relationships require a sort of suspension which is not the mere suppression of their validity: the violence that resides at the core of such erotic, transgressive experiences points to a disruptive effect over the features of subjective arrangement, intersubjectively formed. That is why excitement and fear, pleasure and anguish intertwine in eroticism, and desire becomes the name of a fascinating and frightening ontological excess. It is this very paradoxical character that is decisive for Bataille, for if norms need their transgression in order to exert a subjective inscription, one should not take the passage from desire to recognition as just a progressive process towards a determined form of sociality. Bataille associates a certain Durkheimian heritage with a philosophy of life to account for a libidinal economy of recognition in which desire lies at its very core. This paper proposes a reflection on what is at stake in this conceptual operation, and on the significance of the peculiar enjoyment of norms to a rethinking of the particular aspirations of recognition in love relationships. (shrink)

We introduce a framework for a graph-theoretic analysis of the semantic paradoxes. Similar frameworks have been recently developed for infinitary propositional languages by Cook and Rabern, Rabern, and Macauley. Our focus, however, will be on the language of first-order arithmetic augmented with a primitive truth predicate. Using Leitgeb’s notion of semantic dependence, we assign reference graphs (rfgs) to the sentences of this language and define a notion of paradoxicality in terms of acceptable decorations of rfgs with truth values. (...) It is shown that this notion of paradoxicality coincides with that of Kripke. In order to track down the structural components of an rfg that are responsible for paradoxicality, we show that any decoration can be obtained in a three-stage process: first, the rfg is unfolded into a tree, second, the tree is decorated with truth values (yielding a dependence tree in the sense of Yablo), and third, the decorated tree is re-collapsed onto the rfg. We show that paradoxicality enters the picture only at stage three. Due to this we can isolate two basic patterns necessary for paradoxicality. Moreover, we conjecture a solution to the characterization problem for dangerous rfgs that amounts to the claim that basically the Liar- and the Yablo graph are the only paradoxical rfgs. Furthermore, we develop signed rfgs that allow us to distinguish between ‘positive’ and ‘negative’ reference and obtain more fine-grained versions of our results for unsigned rfgs. (shrink)

It has recently been proposed that the framework of semantic relativism be put to use to describe mental content, as deployed in some of the fundamental operations of the mind. This programme has inspired in particular a novel strategy of accounting for the essential egocentricity of first-personal or de se thoughts in relativist terms, with the advantage of dispensing with a notion of self-representation. This paper is a critical discussion of this strategy. While it is based on a plausible (...) appeal to cognitive economy, the relativist theory does not fully account for the epistemic profile that distinguishes de se thinking, as some of its proponents hope to do. A deeper worry concerns the reliance of the theory on a primitive notion of “centre” that hasn’t yet received enough critical attention, and is ambiguous between a thin and a rich reading. I argue that while the rich reading is required if the relativist analysis of the de se is to achieve its most ambitious aims, it also deprives the theory of much of its explanatory power. (shrink)

We illustrate, with three examples, the interaction between boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. The first example (§ 1) is of a logic (more accurately: range of logics) which is incomplete in the sense of being determined by no class of Kripke frames, where the incompleteness is entirely due to the lack of boolean negation amongst the underlying non-modal connectives. The second example (§ 2) (...) focusses on the breakdown, in the absence of boolean disjunction, of the usual canonical model argument for the logic of dense Kripke frames, though a proof of incompleteness with respect to the Kripke semantics is not offered. An alternative semantic account is developed, in terms of which a completeness proof can be given, and this is used (§ 3) in the discussion of the third example, a bimodal logic which is, as with the first example, provably incomplete in terms of the Kripke semantics, the incompleteness being due to the lack of disjunction (as a primitive or defined boolean connective). (shrink)

It is widely believed that there are some emotions which are universally associated with distinctive facial expressions and that one can recognize, universally, an angry face, a happy face, a sad face, and so on. The "basic emotions " are believed to be part of the biological makeup of human species and to be therefore "hardwired". In contrast to this view, Or tony and Turner have suggested that it is not emotions but some components of emotions which are universally linked (...) with certain facial expressions, or rather with some components of facial expressions. Ortony and Turner have made a good case for this hypothesis. But the theory will be more convincing - and indeed more verifiable - if the postulated "dissociable components of emotions" are formulated in a rigorous, and culture-independent manner. The paper argues that the Natural Semantic Metalanguage, based on universal semantic primitives and devised by the author and colleagues, provides a suitable culture-independent framework. (shrink)

Fine (J Philos Logic 46(6):625–674, 2017) develops a unilateral and a bilateral truthmaker semantics for propositional logic. The unilateral approach trades off the primitive exact falsification relation of the bilateral approach for a primitive exclusion relation between states, thereby raising the question if exclusion serves any purpose other than to avoid exact falsification. We argue that exclusion is motivated independently of its use in avoiding exact falsification, namely as a foundation for the reconstruction of modal notions such as possibility and (...) necessity. This reconstruction in turn motivates what we call _emergent exclusion_: an atomic state can exclude a sum of atomic states collectively without excluding any of these atomic states individually. Emergent exclusion is banned in Fine (2017a) in order to maintain exact equivalence in de Morgan’s law \(\lnot (P \wedge Q) \Leftrightarrow \lnot P \vee \lnot Q\) ; we argue that the two sides of this law are not exactly equivalent and discuss a variety of state spaces that feature emergent exclusion. This paper aims to be accessible to linguists without prior exposure to truthmaker semantics. We highlight points of contact with natural language semantics, such as event semantics and algebraic semantics of plurals and conjunction. (shrink)

According to the implicit commitment thesis, once accepting a mathematical formal system S, one is implicitly committed to additional resources not immediately available in S. Traditionally, this thesis has been understood as entailing that, in accepting S, we are bound to accept reflection principles for S and therefore claims in the language of S that are not derivable in S itself. It has recently become clear, however, that such reading of the implicit commitment thesis cannot be compatible with well-established positions (...) in the foundations of mathematics which consider a specific theory S as self-justifying and doubt the legitimacy of any principle that is not derivable in S: examples are Tait’s finitism and the role played in it by Primitive Recursive Arithmetic, Isaacson’s thesis and Peano Arithmetic, Nelson’s ultrafinitism and sub-exponential arithmetical systems. This casts doubts on the very adequacy of the implicit commitment thesis for arithmetical theories. In the paper we show that such foundational standpoints are nonetheless compatible with the implicit commitment thesis. We also show that they can even be compatible with genuine soundness extensions of S with suitable form of reflection. The analysis we propose is as follows: when accepting a system S, we are bound to accept a fixed set of principles extending S and expressing minimal soundness requirements for S, such as the fact that the non-logical axioms of S are true. We call this invariant component the semantic core of implicit commitment. But there is also a variable component of implicit commitment that crucially depends on the justification given for our acceptance of S in which, for instance, may or may not appear reflection principles for S. We claim that the proposed framework regulates in a natural and uniform way our acceptance of different arithmetical theories. (shrink)

A first-order language with a defined identity predicate is proposed whose apparatus for atomic predication is sensitive to grammatical categories of natural language. Subatomic natural deduction systems are defined for this naturalistic first-order language. These systems contain subatomic systems which govern the inferential relations which obtain between naturalistic atomic sentences and between their possibly composite components. As a main result it is shown that normal derivations in the defined systems enjoy the subexpression property which subsumes the subformula property with respect (...) to atomic and identity formulae as a special case. The systems admit a proof-theoretic semantics which does not only apply to logically compound but also to atomic and identity formulae—as well as to their components. The potential of the defined systems for a meticulous first-order analysis of natural inferences whose validity crucially depends on expressions of some of the aforementioned categories is demonstrated. (shrink)

Often when a new scientific theory is introduced, new terms are introduced along with it. Some of these new terms might be given explicit definitions using only terms that were in currency prior to the introduction of the theory. Some of them might be defined using other new terms introduced with the theory. But it frequently happens that the standard formulations of a theory do not define some of the new terms at all; these terms are adopted as primitives. (...) The audience is expected to come to grasp the meanings of the primitive terms by learning the role they play in the theory and its applications. I shall call such new and undefined terms, as well as new terms that are defined using them, theoretical terms. 1 If T is a theory, the T-terms are the theoretical terms introduced by T. A theoretical term need not be a word new to human language; it might be an old term that is employed in a new and specialized sense, not equivalent to any of its familiar senses; e.g. “color” in quantum chromodynamics. (shrink)

It is a common view that radical contextualism about linguistic meaning is incompatible with a compositional explanation of linguistic comprehension. Recently, some philosophers of language have proposed theories of 'pragmatic' compositionality challenging this assumption. This paper takes a close look at a prominent proposal of this kind due to François Recanati. The objective is to give a plausible formulation of the view. The major results are threefold. First, a basic distinction that contextualists make between mandatory and optional pragmatic processes needs (...) to be revised. Second, the pragmatic theory can withstand a Davidsonian objection only by rejecting the importance of a distinction between primitive and non-primitive semantic items. Thirdly, however, the theory is now open to a worry about how it should be understood: either the theory consists in a very broad functionalist generalization about communication, which makes it explanatorily inert, or it boils down to a highly particularist view about linguistic meaning. Finally, I argue that Recanati's notion of 'occasion meaning' is problematic and suggest replacing it with the notion of speaker meaning, which is explanatorily more basic. (shrink)

This paper sets out a semantics for C.I. Lewis's logic S2 based on the ontology of his 1923 paper ‘Facts, Systems, and the Unity of the World’. In that article, worlds are taken to be maximal consistent systems. A system, moreover, is a collection of facts that is closed under logical entailment and conjunction. In this paper, instead of defining systems in terms of logical entailment, I use certain ideas in Lewis's epistemology and philosophy of logic to define a class (...) of models in which systems are taken to be primitive elements but bear certain relations to one another. I prove soundness and completeness for S2 over this class of models and argue that this semantics makes sense of at least a substantial fragment of Lewis's logical theory. (shrink)

In the early twentieth century Arnold Schoenberg introduced into music an atonal style of polyphonic composition. The artistic success of his and his colleagues' oeuvre insured the wide diffusion of his technique of the twelve tone series. In the period immediately following World War II, the serial technique exercised a dominant influence over advanced musical practice. However, in the decades that followed, composers and theorists alike began to entertain doubts about the relation between the derivation of a composition from a (...) series and its audible musical structure. A reconsideration of the theory of atonal polyphony must rest on rigorous analyses both of the structure of the musical materials, and of the semiotic relation between score and performance, which is constitutive of musical works in the western common practice tradition. ;The aim of this dissertation is to advance the project of founding a reconsideration of the theory of atonal polyphony by constructing the concrete entities needed to provide a phenomenalistic semantic framework for the semiotics of contrapuntal theory. The starting point is Nelson Goodman's logical constructionalism, and, in particular, his theory of signs of Languages of Art, and his phenomenalist system of The Structure of Appearance. Chapter One is a contribution to phenomenalist theory. It introduces a systematic notion of the maximal phenomenal continuity that explicates the concept of the sense content, as it occurs in natural language philosophical discourse. Chapter Two begins with a discussion of the idealizations that are appropriate to a semantics of contrapuntal theory. This discussion results in a systematic notion of the primitive concrete entity of contrapuntal theory, the note, which is shown to be a species of sense content, as defined in Chapter One. By aggregating notes, the construction subsumes under the systematic notion of the sub-polyphony both whole compound polyphonic occurrences and their musically significant melodic and harmonic sub-divisions. The resulting explication of the concrete notions of contrapuntal theory both connects phenomenalist theory with a familiar realm of human experience, and provides a basis for a systematic examination and revision of contrapuntal theory. (shrink)

Psychology suffers from the absence of mathematically-formalized primitives. As a result, conceptual and quantitative studies lack an ontological basis that would situate them in the company of natural sciences. The article addresses this problem by describing a minimal psychic structure, expressed in the algebra of quantum theory. The structure is demarcated into categories of emotion and color, renowned as elementary psychological phenomena. This is achieved by means of quantum-theoretic qubit state space, isomorphic to emotion and color experiences both in (...) meaning and math. In particular, colors are mapped to the qubit states through geometric affinity between the HSL-RGB color solids and the Bloch sphere, widely used in physics. The resulting correspondence aligns with the recent model of subjective experience, producing a unified spherical map of emotions and colors. This structure is identified as a semantic atom of natural thinking—a unit of affectively-colored personal meaning, involved in elementary acts of a binary decision. The model contributes to finding a unified ontology of both inert and living Nature, bridging previously disconnected fields of research. In particular, it enables theory-based coordination of emotion, decision, and cybernetic sciences, needed to achieve new levels of practical impact. (shrink)

Two problems are discussed: Can and should psychological concepts be defined, and can and should they be organized in an axiomatic system? I point out that definitions in terms of physiological or behavioral measures are strictly impossible because any particular measure can mean anything, whereas phenomenological definitions always point to antecedents and consequents. I then point out that definitions of antecedents and consequents can be given either in terms of causes or in terms of reasons, and that causes and reasons (...) belong to two incompatible languages. Causes exist independently of persons and reasons exist only for persons. Only the latter belong to psychology, as I see it. The working of the system of psycho-logic is illustrated by an analysis of the conditions of trust. I conclude that psychological terms should be defined by means of semantic primitives, and that one should try to organize them in an axiomatic system. 2012 APA, all rights reserved). (shrink)