The paper develops an account of minimal traces devoid of representational content and exploits an analogy to a predictive processing framework of perception. As perception can be regarded as a prediction of the present on the basis of sparse sensory inputs without any representational content, episodic memory can be conceived of as a “prediction of the past” on the basis of a minimal trace, i.e., an informationally sparse, merely causal link to a previous experience. The resulting notion of episodic memory (...) will be validated as a natural kind distinct from imagination. This trace minimalist view contrasts with two theory camps dominating the philosophical debate on memory. On one side, we face versions of the Causal Theory that hold on to the idea that episodic remembering requires a memory trace that causally links the event of remembering to the event of experience and carries over representational content from the content of experience to the content of remembering. The Causal Theory, however, fails to account for the epistemic generativity of episodic memory and is psychologically and information-theoretically implausible. On the other side, a new camp of simulationists is currently forming up. Motivated by empirical and conceptual deficits of the Causal Theory, they reject not only the necessity of preserving representational content, but also the necessity of a causal link between experience and memory. They argue that remembering is nothing but a peculiar form of imagination, peculiar only in that it has been reliably produced and is directed towards an episode of one’s personal past. Albeit sharing their criticism of the Causal Theory and, in particular, rejecting its demand for an intermediary carrier of representational content, the paper argues that a causal connection to experience is still necessary to fulfill even the minimal requirements of past-directedness and reliability. (shrink)

Is there a reason to believe that the evolution of language leads to compositional semantics? A proposal from Henry Brighton is presented and criticized. As an alternative, the role of compositionality for the complexity of semantic interpretation is emphasized.

In the paper, original formal-logical conception of syntactic and semantic: intensional and extensional senses of expressions of any language L is outlined. Syntax and bi-level intensional and extensional semantics of language L are characterized categorically: in the spirit of some Husserl’s ideas of pure grammar, Leśniewski-Ajukiewicz’s theory syntactic/semantic categories and in accordance with Frege’s ontological canons, Bocheński’s famous motto—syntax mirrors ontology and some ideas of Suszko: language should be a linguistic scheme of ontological reality and simultaneously a tool of its (...) cognition. In the logical conception of language L, its expressions should satisfy some general conditions of language adequacy. The adequacy ensures their unambiguous syntactic and semantic senses and mutual, syntactic, and semantic compatibility, correspondence guaranteed by the acceptance of a postulate of categorial compatibility syntactic and semantic categories of expressions of L. From this postulate, three principles of compositionality follow: one syntactic and two semantic already known to Frege. They are treated as conditions of homomorphism partial algebra of L into algebraic models of L: syntactic, intensional, and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, of course, an idealization, but only expressions with high degrees of precision of their senses, after due justification, may become theorems of science. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

A remarkable thing about natural language is that we can use it to share our beliefs and thoughts about the world with other speakers of our language. In cases of successful communication, beliefs seem to be transferred from speakers to hearers by means of the hearer recovering the contents of the speaker’s utterances. This is so natural to us that we take it for granted in our everyday life, and rarely stop to think about how it's is possible. Nevertheless, it's (...) a phenomenon that calls for explanation. It is natural to expect that natural language semantics has a key explanatory role to play here. In order to understand this role, we must relate the semantic values assigned to sentences by semantic theory with the content of our speech acts. The simplest possible relation would be identity; the meaning of a sentence is simply the belief expressed by an assertion of the sentence in a given context of utterance. However, a number of problem cases in the literature suggest that this cannot be the case. This dissertation offers a critical assessment of the arguments for distinguishing the semantic value of a sentence from it's so called assertoric content, focusing on problems arising from the analysis of tense and temporal expressions. I conclude that they are indeed distinct, and offer a constructive account of how they must be related in order to allow for an explanation of communicative success. (shrink)

Prioritized bases, i.e., weakly ordered sets of sentences, have been used for specifying an agent’s ‘basic’ or ‘explicit’ beliefs, or alternatively for compactly encoding an agent’s belief state without the claim that the elements of a base are in any sense basic. This paper focuses on the second interpretation and shows how a shifting of priorities in prioritized bases can be used for a simple, constructive and intuitive way of representing a large variety of methods for the change of belief (...) states—methods that have usually been characterized semantically by a system-of-spheres modeling. Among the methods represented are ‘radical’, ‘conservative’ and ‘moderate’ revision, ‘revision by comparison’ in its raising and lowering variants, as well as various constructions for belief expansion and contraction. Importantly, none of these methods makes any use of numbers. (shrink)

The paper briefly surveys the sentential proof-theoretic semantics for fragment of English. Then, appealing to a version of Frege’s context-principle (specified to fit type-logical grammar), a method is presented for deriving proof-theoretic meanings for sub-sentential phrases, down to lexical units (words). The sentential meaning is decomposed according to the function-argument structure as determined by the type-logical grammar. In doing so, the paper presents a novel proof-theoretic interpretation of simple type, replacing Montague’s model-theoretic type interpretation (in arbitrary Henkin models). The domains (...) of derivations are collections of derivations in the associated “dedicated” natural-deduction proof-system, and functions therein (with no appeal to models, truth-values and elements of a domain). The compositionality of the semantics is analyzed. (shrink)

Colloquially, episodic memory is described as “the memory of personally experienced events”. Even though episodic memory has been studied in psychology and neuroscience for about six decades, there is still great uncertainty as to what episodic memory is. Here we ask how episodic memory should be characterized in order to be validated as a natural kind. We propose to conceive of episodic memory as a knowledge-like state that is identified with an experientially based mnemonic representation of an episode that allows (...) for a mnemonic simulation thereof. We call our analysis the Sequence Analysis of Episodic Memory since episodes will be analyzed in terms of sequences of events. Our philosophical analysis of episodic memory is driven and supported by experimental results from psychology and neuroscience. We discuss selected experimental results that provide exemplary evidence for uniform causal mechanisms underlying the properties of episodic memory and argue that episodic memory is a natural kind. The argumentation proceeds along three cornerstones: First, psychological evidence suggests that a violation of any of the proposed conditions for episodic memory amounts to a deficiency of episodic memory and no form of memory or cognitive process but episodic memory fulfills them. Second, empirical results support a claim that the principal anatomical substrate of episodic memory is the hippocampus. Finally, we can pin down causal mechanisms onto neural activities in the hippocampus to explain the psychological states and processes constituting episodic memory. (shrink)

Tarski's model-theoretic truth definition of the 1950s differs from his 1930s truth definition by allowing the language to have a set of parameters that are interpreted by means of structures. The paper traces how the model-theoretic theorems that Tarski and others were proving in the period between these two truth definitions became increasingly difficult to fit into the framework of the earlier truth definition, making the later one more or less inevitable. The paper also maintains that neither recursiveness nor satisfaction (...) are essential features of the truth definition . The recursive form was a ‘practical’ step towards the explicit definition that was Tarski's target. There are model-theoretic languages for which satisfaction is provably too crude a notion for expressing those properties of formulas that are needed for determining the truth of sentences. (shrink)

What has the self to be like such that introspective awareness of it is possible? The paper asks if Descartes’s idea of an inner self can be upheld and discusses this issue by invoking two principles: the phenomenal transparency of experience and the semantic compositionality of conceptual content. It is assumed that self-awareness is a second-order state either in the domain of experience or in the domain of thought. In the former case self-awareness turns out empty if experience is transparent. (...) In the latter, it can best be conceived of as a form of mental quotation. Various proposed analyses of direct and indirect quotation are discussed and tested regarding their applicability to thought. It is concluded that, on the assumption of compositionality, the inner self is only insofar accessible to awareness as it has an accessible phonological structure, as apparently only inner speech does. (shrink)

When reasons are given for compositionality, the arguments usually purport to establish compositionality in an almost a priori manner. I will rehearse these arguments why one could think that compositionality is a priori true, or almost a priori true, and will find all of them inconclusive. This, in itself, is no reason against compositionality, but a reason to try to establish or defend the principle on other than quasi-a priori grounds.

This article deals with the relationship between language and thought, focusing on the question of whether language can be a vehicle of thought, as, for example, Peter Carruthers has claimed. We develop and examine a powerful argument—the "argument from explicitness"—against this cognitive role of language. The premises of the argument are just two: (1) the vehicle of thought has to be explicit, and (2) natural languages are not explicit. We explain what these simple premises mean and why we should believe (...) they are true. Finally, we argue that even though the argument from explicitness shows that natural language cannot be a vehicle of thought, there is a cognitive function for language. (shrink)

The standard approach to model how human beings understand natural languages is the symbolic, compositional approach according to which the meaning of a complex expression is a function of the meanings of its constituents. In other words, meaning plays a fundamental role in the model. In this work, because of the polysemous, flexible, dynamic, and contextual structure of natural languages, this approach is rejected. Instead, a connectionist model which eliminates the concept of meaning is proposed.

There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (shrink)

The paper deals with the problem of logical adequacy of language knowledge with cognition of reality. A logical explication of the concept of language knowledge conceived of as a kind of codified knowledge is taken into account in the paper. Formal considerations regarding the notions of meta-knowledge (logical knowledge about language knowledge) and truth are developed in the spirit of some ideas presented in the author’s earlier papers (1991, 1998, 2001a,b, 2007a,b,c) treating about the notions of meaning, denotation and truthfulness (...) of well-formed expressions (wfes) of any given categorial language. Three aspects connected with knowledge codified in language are considered, including: 1) syntax and two kinds of semantics: intensional and extensional, 2) three kinds of non-standard language models and 3) three notions of truthfulness of wfes. Adequacy of language knowledge to cognitive objects is understood as an agreement of truthfulness of sentences in these three models. (shrink)

We investigate synonymy in the strong sense of content identity. This notion is central in the philosophy of language and in applications of logic. We motivate, uniformly axiomatize, and characterize several “benchmark” notions of synonymy in the messy class of all possible notions of synonymy. This class is divided by two intuitive principles that are governed by a no-go result. We use the notion of a scenario to get a logic of synonymy which is the canonical representative of one division. (...) In the other division, the so-called conceptivist logics, we find, e.g., the well-known system of analytic containment. We axiomatize four logics of synonymy extending AC, relate them semantically and proof-theoretically to SF, and characterize them in terms of weak/strong subject matter preservation and weak/strong logical equivalence. This yields ways out of the no-go result and novel arguments—independent of a particular semantic framework—for each notion of synonymy discussed. This points to pluralism about meaning and a certain non-compositionality of truth in logic programs and neural networks. And it unveils an impossibility for synonymy: if it is to preserve subject matter, then either conjunction and disjunction lose an essential property or a very weak absorption law is violated. (shrink)

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

Every theory of pure quotation embraces in some form or another the intuitively obvious thesis that pure quotations refer to their quoted expressions. However, they all remain vague about the nature of these latter. This paper proposes to take seriously the fact that quoted items are semantic, not syntactic objects, and to develop therefrom a semantics for pure quotation that retains the basic intuitions and at the same time circumvents standard problems.

Markus Werning attempts to refute Quine’s thesis that meaning is indeterminate. To this purpose he employs Hodges’ theorem about extensions of cofinal meaning functions. But the theorem does neither suffice to solve Quine’s problem nor the problem Werning mistakenly identifies with Quine’s. Nevertheless it makes sense to employ the methods used in Werning’s paper with regard to Quine’s thesis, only that they tell in favour of the thesis instead of against it.

Werning applies a theorem by Hodges in order to put forward an argument against Quine's thesis of the indeterminacy of translation and in favour of what Werning calls 'semantic realism'. We show that the argument rests on two critical premises both of which are false. The reasons for these failures are explained and the actual place of this application of Hodges' theorem within Quine's philosophy of language is outlined.

The paper concentrates on the problem of adequate reflection of fragments of reality via expressions of language and inter-subjective knowledge about these fragments, called here, in brief, language adequacy. This problem is formulated in several aspects, the most being: the compatibility of language syntax with its bi-level semantics: intensional and extensional. In this paper, various aspects of language adequacy find their logical explication on the ground of the formal-logical theory T of any categorial language L generated by the so-called classical (...) categorial grammar, and also on the ground of its extension to the bi-level, intensional and extensional semantic-pragmatic theory ST for L. In T, according to the token-type distinction of Ch.S. Peirce, L is characterized first as a language of well-formed expression-tokens (wfe-tokens) - material, concrete objects - and then as a language of wfe-types - abstract objects, classes of wfe-tokens. In ST the semantic-pragmatic notions of meaning and interpretation for wfe-types of L of intensional semantics and the notion of denotation of extensional semanics for wfe-types and constituents of knowledge are formalized. These notions allow formulating a postulate (an axiom of categorial adequacy) from which follow all the most important conditions of the language adequacy, including the above, and a structural one connected with three principles of compositionality. (shrink)

Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the de (...) dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)

I argue that compositionality (in the sense of homomorphic interpretation) is compatible with radical and pervasive contextual effects on interpretation. Apparent problems with this claim lose their force if we are careful in distinguishing the question of how a grammar assigns interpretations from the question of how people figure out which interpretations the grammar assigns. I demonstrate, using a simple example, that this latter task must sometimes be done not by computing a derivation defined directly by the grammar, but through (...) the use of pragmatic background knowledge and extragrammatical reasoning, even when the grammar is designed to be fully compositional. The fact that people must sometimes use global pragmatic mechanisms to identify truth conditions therefore tells us nothing about whether the grammar assigns truth conditions compositionally. Compositional interpretation (or the lack thereof) is identifiable not by the mechanisms necessary to calculating truth conditions, but by the structural relation between the interpretation of a phrase in context and the interpretations of its parts in that same context. Even if this relation varies by context, an invariant grammar is possible if grammars can “invoke” pragmatic concepts; but this does not imply that grammatical theory must explain these concepts or incorporate a theory of pragmatics. (shrink)

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is sensitive to (...) context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

This is the first part of a two-part article on semantic compositionality, that is, the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. Here we provide a brief historical background, a formal framework for syntax and semantics, precise definitions, and a survey of variants of compositionality. Stronger and weaker forms are distinguished, as well as generalized forms that cover extra-linguistic context dependence as well as linguistic (...) context dependence. In the second article, we survey arguments for and arguments against the claim that natural languages are compositional, and consider some problem cases. It will be referred to as Part II. (shrink)

In the recent debate on the semantic/pragmatic divide, Herman Cappelen and Ernie Lepore (2005) on the one hand, and Fran¸cois Recanati (2004) on the other, occupy almost diametrically opposed positions as regards the role of semantics for communication, while largely agreeing on important features of pragmatics. According to Cappelen and Lepore (CL), semantic context sensitivity of natural language sentences is restricted to what is determined by a particular minimal set of canonically context sensitive expressions. If you try to go beyond (...) that set, as has often been done in recent semantic theories, to reach a position of moderate contextualism, your reasons will force you to the much more extreme position of radical contextualism. That is CL’s instability thesis. They argue for it by means of a number of examples intended to illustrate how you are off on a slippery slope if you admit any context sensitivity beyond the basic one. If radical contextualism is true, systematic semantics is not possible, since, according to CL, there cannot be any systematic theory of speech act content. The one exception is that whatever is said by the utterance of a sentence, its minimally context dependent content is part of it. Precisely this is denied by Recanati. Not only is this “minimal proposition” not part of speech act content. The minimal proposition plays no.. (shrink)

The doctrine that meanings are entitieswith a determinate and independent reality is often believed tohave been undermined by Quine's thought experiment of radicaltranslation, which results in an argument for the indeterminacy oftranslation. This paper argues to the contrary. Starting fromQuine's assumption that the meanings of observation sentences arestimulus meanings, i.e., set-theoretical constructions of neuronalstates uniquely determined by inter-subjectively observable facts,the paper shows that this meaning assignment, up to isomorphism,is uniquely extendable to all expressions that occur inobservation sentences. To do so, (...) a theorem recently proven byHodges is used. To derive the conclusion, one only has to assumethat languages are compositional, abide by a generalized contextprinciple and by what I call the category principle. Theseassumptions originating in Frege and Husserl are coherent withQuine's overall position. It is concluded that Quine'snaturalistic approach does not justify scepticism with regard tomeaning, but should rather result in a view that affiliatessemantics with neuroscience. (shrink)

We introduce several senses of the principle ofcompositionality. We illustrate the difference between them with thehelp of some recent results obtained by Cameron and Hodges oncompositional semantics for languages of imperfect information.

The processing of sequences of (English) sentences is analyzedcompositionally through transitions that merge sentences, rather thandecomposing them. Transitions that are in a precise senseinertial are related to disjunctive and non-deterministic approaches toambiguity. Modal interpretations are investigated, inducing variousequivalences on sequences.

The paper argues that cognitive states of biological systems are inherently temporal. Three adequacy conditions for neuronal models of representation are vindicated: the compositionality of meaning, the compositionality of content, and the co-variation with content. Classicist and connectionist approaches are discussed and rejected. Based on recent neurobiological data, oscillatory networks are introduced as a third alternative. A mathematical description in a Hilbert space framework is developed. The states of this structure can be regarded as conceptual representations satisfying the three conditions.

My modest aim in this paper is to prove certain relations between some type of hyper-intensional operators, namely context shifting operators, and compositionality in natural languages. Various authors (e.g. von Fintel & Matthewson 2008; Stalnaker 2014) have argued that context-shifting operators are incompatible with compositionality. In fact, some of them understand Kaplan’s (1989) famous ban on context-shifting operators as a constraint on compositionality. Others, (e.g. Rabern 2013) take contextshifting operators to be compatible with compositionality but, unfortunately, do not provide a (...) proof, or an argument in favor of their position. The aim of this paper is to do precisely that. Additionally, I provide a new proof that compositionality for propositional content (intension) is a proper generalization of compositionality for character (hyper-intensions). (shrink)

The paper analyses what is said and what is presupposed by thePrinciple of Compositionality for semantics, as it is commonly stated. ThePrinciple of Compositionality is an axiom which some semantics satisfy andsome don’t. It says essentially that if two expressions have the same meaning then they make the same contribution to the meanings of expressionscontaining them. This is a sensible axiom only if one combines it with aconverse, that if two expressions make the same contribution to the meanings of sentences (...) containing them, then they have the same meaning;and some assumption that two expressions which can’t meaningfully besubstituted for each other have different meanings. as a full abstraction principle, and as ‘Husserl’s principle’.) Moreoverthe Principle of Compositionality speaks only about when two expressionshave the same meaning; it adds nothing whatever about what that meaningmight be . Some recent discussions by writers in linguistics and logic are assessed. The paper finishes by reviewing thehistory of the notion of compositionality. (shrink)

The Principle of Semantic Compositionality (sometimes called Frege''s Principle) is the principle that the meaning of a (syntactically complex) whole is a function only of the meanings of its (syntactic) parts together with the manner in which these parts were combined. This principle has been extremely influential throughout the history of formal semantics; it has had a tremendous impact upon modern linguistics ever since Montague Grammars became known; and it has more recently shown up as a guiding principle for a (...) certain direction in cognitive science.Despite the fact that The Principle is vague or underspecified at a number of points — such as what meaning is, what counts as a part, what counts as a syntactic complex, what counts as combination — this has not stopped some people from viewing The Principle as obviously true, true almost by definition. And it has not stopped other people from viewing The Principle as false, almost pernicious in its effect. And some of these latter theorists think that it is an empirically false principle while others think of it as a methodologically wrong-headed way to proceed. (shrink)

Ordinary semantic compositionality (meaning of whole determined from meanings of parts plus composition) can serve to explain how a hearer manages to assign an appropriate meaning to a new sentence. But it does not serve to explain how the speaker manages to find an appropriate sentence for expressing a new thought. For this we would need a principle of inverse compositionality, by which the expression of a complex content is determined by the expressions of it parts and the mode of (...) composition. But this presupposes that contents have constituent structure, and this cannot be taken for granted. However, it can be proved that if a certain principle of substitutivity is valid for a particular language, then the meanings expressed by its sentences can justifiably be treated as structured. In its simplest form, this principle says that if in a complex expression a constituent is replaced by another constituent with a different meaning, the new complex has a meaning different from the original. This principle is again inversely related to the normal compositional principle of substitutivity. The combination of ordinary and inverse compositionality is here called 'strong compositionality'. The proof is carried out in the algebraic framework developed by Wilfrid Hodges and Dag Westerståhl. (shrink)

There are two principles which bear the name Frege''sprinciple: the principle of compositionality, and the contextprinciple. The aim of this contribution is to investigate whether thisis justified: did Frege accept both principles at the same time, did hehold the one principle but not the other, or did he, at some moment,change his opinion? The conclusion is as follows. There is a developmentin Frege''s position. In the period of Grundlagen he followed to a strict form of contextuality. He repeatedcontextuality in later (...) writings, but became less strict. From 1914 on,pushed by the needs of research, he comes close to compositionality. Buthe could never make the final step toward compositionality forprincipled reasons, therefore he always would reject compositionality. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial (...) complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

This article focuses on the relevance of computational complexity for cognition. The syntactic items may be expressions that are surface strings. But in general, strings are syntactically ambiguous in that they can be generated in more than one way from atomic expressions and operations. The semantic function must take disambiguated items as arguments. When expressions are ambiguous, expressions cannot be the arguments. Instead, it is common to take the arguments to be terms, whose surface syntax reflects the derivation of the (...) string. The semantic function differs in one other important respect from an arithmetic function, since it maps entities between domains, from a syntactic to an ontic or conceptual domain of meanings. Compositionality helps to explain the rate of success in linguistic communication when the sentence used or the content communicated is new. (shrink)

There have been, I am afraid, almost as many answers to the question what is logic? as there have been logicians. However, if logic is not to be an obscure "science of everything", we must assume that the majority of the various answers share a common core which does offer a reasonable delimitation of the subject matter of logic. To probe this core, let us start from the answer given by Gottlob Frege (1918/9), the person probably most responsible for modern (...) logic: the subject matter of logic is "truth", and especially its "laws"1. How should we understand the concept of "laws of truth"? The underlying point clearly is that the truth/falsity of our statements is partly a contingent and partly a necessary, lawful matter: that "Paris is in France" is true is a contingent matter, whereas that "Paris is in France or it is not in France" is true is a necessary matter (let us, for the time being, leave aside the Quinean scruples regarding the delimitation of necessarily true statements). Logic,then, should focus on the statements that are true as a matter of law (i.e. necessarily), or, more generally, the truth of which "lawfully depends" on some other statements (i.e. which are true as a matter of law provided these other statements are true). This renders Fregean laws of truth as, in general, a matter of "lawful truth-dependence" - i.e. of entailment or inference (again, let us now disregard any possible difference between these two concepts). This yields a conception of logic as a theory of entailment or inference, a conception which looms behind many other specifications of the subject matter of logic and which, I think, is ultimately correct. However, we can also see the logician – and this is the view we will stick to here – as trying to separate true sentences from false ones; or, equivalently, to map sentences onto truth and falsity. Let us first consider the case of a non-empirical language with a single, definite truth valuation – like the language of Peano arithmetic.. (shrink)

The goal of inquiry in this essay is to ascertain to what extent the Principle of Compositionality – the thesis that the meaning of a complex expression is determined by the meaning of its parts and its mode of composition – can be justifiably imposed as a constraint on semantic theories, and thereby provide information about what meanings are. Apart from the introduction and the concluding chapter the thesis is divided into five chapters addressing different questions pertaining to the overarching (...) goal of inquiry. Chapter Two is an attempt to determine whether the Principle of Compositionality is a trivial principle. It is argued that this is not the case in the context of providing the semantics of natural languages since it is an open question whether the best theories that respect available syntactic and semantic data are compositional. Chapter Three and Chapter Four ask whether there are reasons to think that the Principle of Compositionality is true. It is argued that the three most commonly cited reasons for thinking that correct semantic theories must be compositional – Linguistic Creativity, Productivity and Systematicity – in fact only give us reasons to think that the meaning of complex expressions depend on the meanings of their parts and their modes of composition, but not that the meaning of complex expressions depend ONLY on those factors. Chapter Five asks whether there are any reasons to think that the Principle of Compositionality is false. It is argued that all the phenomena that have been suggested entail non-compositionality are in fact compatible with some versions of compositionality. Even if this conclusion is reached in this chapter, the conclusion of the previous two chapters entails that we are not justified in imposing the Principle of Compositionality as an adequacy constraint on Semantic theories. Chapter Six explores the ways in which information about what meanings are can be derived by imposing constraints on semantic theories. It is argued that the distinction emphasized in Chapter Three and Chapter Four between depending on and depending ONLY on is of critical importance. It is demonstrated that the informative potential of the Principle of Compositionality goes far beyond that of the principle we are in fact justified in imposing on semantic theories. So not only is it the case that we cannot learn anything about meanings from the justified imposition of the Principle of Compositionality – since we cannot justifiably impose it as a constraint on semantic theories – what we could have learned from it had we been justified in imposing it is very different from what we can learn from the principle that we are justified in imposing. (shrink)

Sandu and Pietarinen [Partiality and Games: Propositional Logic. Logic J. IGPL 9 (2001) 101] study independence friendly propositional logics. That is, traditional propositional logic extended by means of syntax that allow connectives to be independent of each other, although the one may be subordinate to the other. Sandu and Pietarinen observe that the IF propositional logics have exotic properties, like functional completeness for three-valued functions. In this paper we focus on one of their IF propositional logics and study its properties, (...) by means of notions from computational complexity. This approach enables us to compare propositional logic before and after the IF make-over. We observe that all but one of the best-known decision problems experience a complexity jump, provided that the complexity classes at hand are not equal. Our results concern every discipline that incorporates some notion of independence such as computer science, natural language semantics, and game theory. A corollary of one of our theorems illustrates this claim with respect to the latter discipline. (shrink)

From a general semantic point of view, Thomas Bricot and John Mair are proponents of the solution to semantic paradoxes based on appreciation of the contextuality of truth, who differ in their approach to the relations of logical consequence and contradiction. The core of the study is the analysis of Mair's criticism of Bricot presented in the sixth quaestio of his Tractatus insolubilium where the consequences of non-compositional semantics for the concepts of synonymy and logical form are addressed. The polemic (...) between John Mair and Thomas Bricot is construed as having immediate consequences for research in the area of non-compositional semantics. (shrink)

This entry introduces the reader to the main ideas in Frege's philosophy of logic, mathematics, and language.

1 Logic in philosophy The century that was Logic has played an important role in modern philosophy, especially, in alliances with philosophical schools such as the Vienna Circle, neopositivism, or formal language variants of analytical philosophy. The original impact was via the work of Frege, Russell, and other pioneers, backed up by the prestige of research into the foundations of mathematics, which was fast bringing to light those amazing insights that still impress us to-day. The Golden Age of the 1930s (...) deeply affected philosophy, and heartened the minority of philosophers with a formalanalytical bent. As Brand Blanshard writes in Reason and Analysis (1964) – I quote from memory here, to avoid the usual disappointment when re-reading an original text. (shrink)

This article is concerned with the principle of compositionality, i.e. the principle that the meaning of a complex expression is a function of the meanings of its parts and its mode of composition. After a brief historical background, a formal algebraic framework for syntax and semantics is presented. In this framework, both syntactic operations and semantic functions are partial. Using 20 the framework, the basic idea of compositionality is given a precise statement, and several variants, both weaker and stronger, as (...) well as related properties, are distinguished. Several arguments for compositionality are discussed, and the standard arguments are found inconclusive. Also, several arguments against compositionality, and for the claim that it is a trivial property, are discussed, 25 and are found to be flawed. Finally, a number of real or apparent problems for compositionality are considered, and some solutions are proposed. (shrink)

A semantics may be compositional and yet partial, in the sense that not all well-formed expressions are assigned meanings by it. Examples come from both natural and formal languages. When can such a semantics be extended to a total one, preserving compositionality? This sort of extension problem was formulated by Hodges, and solved there in a particular case, in which the total extension respects a precise version of the fregean dictum that the meaning of an expression is the contribution it (...) makes to the meanings of complex phrases of which it is a part. Hodges' result presupposes the so-called Husserl property, which says roughly that synonymous expressions must have the same category. Here I solve a different version of the compositional extension problem, corresponding to another type of linguistic situation in which we only have a partial semantics, and without assuming the Husserl property. I also briefly compare Hodges' framework for grammars in terms of partial algebras with more familiar ones, going back to Montague, which use many-sorted algebras instead. (shrink)