This paper is partly exegetical, partly systematic. I argue that Frege's account of what he called “colouring” contains some important insights on how communication is related to mental states such as mental images or emotions. I also show that the Fregean perspective is supported by current research in psycholinguistics and that a full understanding of some linguistic phenomena that scholars have accounted for in terms of either semantics or pragmatics need involve psycholinguistic elements.

Some use the need to explain communication, agreement, and disagreement to argue for two-dimensional conceptions of belief content. One prominent defender of an account of this sort is David Chalmers. Chalmers claims that beliefs have two kinds of content. The second dimension of belief content, which is tied to what beliefs pick out in the actual world, is supposed to help explain communication, agreement, and disagreement. I argue that it does not. Since the need to explain these phenomena is the (...) main stated motivation for the addition of the second dimension of belief content, my arguments also undermine the motivation for Chalmers’ two-dimensional account of belief content and theories like it. (shrink)

What, exactly, is the difference between words such as ‘dead’ and ‘deceased’? In this paper, I argue that such differences in register, or style, ought to be construed as genuine differences in non-truth-conditional meaning. I also show that register cannot plausibly accounted for in terms of either presupposition or conventional implicature. Register is, rather, an instance of what I call pure use-conditional meaning. In the case of register, a difference in meaning does not correspond to a difference in the contents (...) speakers intend to convey. (shrink)

A detailed interpretation is provided of the ‘Gray's Elegy’ passage in Russell's ‘On Denoting’. The passage is suffciently obscure that its principal lessons have been independently rediscovered. Russell attempts to demonstrate that the thesis that definite descriptions are singular terms is untenable. The thesis demands a distinction be drawn between content and designation, but the attempt to form a proposition directly about the content (as by using an appropriate form of quotation) inevitably results in a proposition about the thing designated (...) instead of the content expressed. In light of this collapse, argues Russell, the thesis that definite descriptions are singular terms must accept that all propositions about a description's content represent it by means of a higher-level descriptive content, so that knowledge of a description's content is always ‘by description’, not ‘by acquaintance’. This, according to Russell, renders our cognitive grip on definite descriptions inexplicable. Separate responses on behalf of Fregeans and Millians are offered. (shrink)

A sequel to the author’s book /Frege’s Puzzle/ (1986).

This essay assesses the account of truth presented in Wiggins's 2002 paper ‘An indefinibilist cum normative view of truth and the marks of truth'. I agree with Wiggins that we should seek, not to define truth, but to elucidate it by unfolding its connections with other basic notions. However, I give reasons for preferring an elucidation based on Ramsey's account of truth to Wiggins's Tarski-inspired approach. I also cast doubt on Wiggins's thesis that convergence is a mark of truth, arguing (...) instead that a claim which is up for assessment as true or false must be one to which different speakers/hearers can attach, and know that they are attaching, the same sense. I use this principle to rule out an account of indicative conditionals, and bring some considerations to bear on the question of whether those conditionals have truth values. An appendix revisits a debate about the determinateness of distinctness. (shrink)

Should we explicate truth in terms of meaning, or meaning in terms of truth? Ramsey, Prior and Strawson all favoured the former approach: a statement is true if and only if things are as the speaker, in making the statement, states them to be; similarly, a belief is true if and only if things are as a thinker with that belief thereby believes them to be. I defend this explication of truth against a range of objections.Ramsey formalized this account of (...) truth as follows: B is true =df ∃P; in §i, I defend this formula against the late Peter Geach's objection that its right‐hand side is ill‐formed. Davidson held that Ramsey and co. had the whole matter back to front: on his view, we should explicate meaning in terms of truth, not vice versa. In §ii, I argue that Ramsey's approach opens the way to a more promising approach to semantic theorizing than Davidson's. Ramsey presents his formula as a definition of truth, apparently contradicting Tarski's theorem that truth is indefinable. In §iii, I show that the contradiction is only apparent: Tarski assumes that the Liar‐like inscription he uses to prove his theorem has a content, but Ramsey can and should reject that assumption. As I explain in §iv, versions of the Liar Paradox may be generated without making any assumptions about truth: paradox arises when the impredicativity that is found when a statement's content depends on the contents of a collection of statements to which it belongs turns pathological. Since they do not succeed in saying anything, such pathological utterances or inscriptions pose no threat to the laws of logic, when these are understood as universal principles about the ways things may be said or thought to be. There is, though, a call for rules by following which we can be sure that any conclusion deduced from true premisses is true, and hence says something. Such rules cannot be purely formal, but in §v I propose a system of them: this opens the way to the construction of deductive theories even in circumstances where producing a well‐formed formula is no guarantee of saying anything. (shrink)

This critical notice provides an overview of Harry Frankfurt’s On Inequality and assesses whether Frankfurt is right to argue that equality is merely formal and empty. I counter-argue that egalitarianism, properly tweaked and circumscribed, can be defended against Frankfurt’s repudiation. After surveying the main arguments in Frankfurt’s book, I argue that whatever plausibility the ‘doctrine of sufficiency’ defended by Frankfurt may have, it does not strike a fatal blow against egalitarianism. There is nothing in egalitarianism that forbids acceptance of the (...) moral platitude expressed in sufficientarianism's positive thesis,. Nor is there anything in egalitarianism as such that makes it impossible to recognize the banal truth that there are many important things besides equality, and that many dimensions of human affairs are improperly appraised from a relational or comparative point of view. The fact that a relational or comparative point o... (shrink)

The very idea of informative analysis gives rise to a well-known paradox. Yet a parallel puzzle, herein called the paradox of synonymy, arises for statements which do not express analyses. The paradox of synonymy has a straightforward metalinguistic solution: certain words are referring to themselves. Likewise, the paradox of analysis can be solved by recognizing that certain expressions in an analysis statement are referring to their own semantic structures.

This paper proposes an outline for a typology of the different forms that scientific objects can take in the life sciences. The first section discusses preparations (or specimens)—a form of scientific object that accompanied the development of modern biology in different guises from the seventeenth century to the present: as anatomical–morphological specimens, as microscopic cuts, and as biochemical preparations. In the second section, the characteristics of models in biology are discussed. They became prominent from the end of the nineteenth century (...) onwards. Some remarks on the role of simulations—characterising the life sciences of the turn from the twentieth to the twenty-first century—conclude the paper. -/- . (shrink)

This paper examines four arguments in support of Frege's theory of incomplete entities, the heart of his semantics and ontology. Two of these arguments are based upon Frege's contributions to the foundations of mathematics. These are shown to be question-begging. Two are based upon Frege's solution to the problem of the relation of language to thought and reality. They are metaphysical in nature and they force Frege to maintain a theory of types. The latter puts his theory of incomplete entities (...) in the paradoxical position of maintaining that it is no theory at all. Moreover, his metaphysics rules out well-known suggestions for avoiding this difficulty. (shrink)

Both Dummett and Tugendhat seem to conclude that Frege's thesis that truth values are objects which are signified by certain sentences is an assumption which was unjustified even for Frege. In this paper I wish to show that Frege's thesis was one of several assumptions which led Frege to a complex semantic theory for the first order predicate calculus which is surpassed only by Tarski's truth and satisfaction definitions. As such, this thesis receives its justification by being an essential part (...) of a theory which as far as Frege knew was an adequate semantic theory for his version of the first order predicate calculus. This justification, now, of course, would not support the view that there are these objects. The reason for this is that Tarski's truth definition gives us a way of providing a semantics for a class of sentences which properly includes the class of sentences for which Frege's semantics is adequate without the need to assume the existence of truth values as objects. (shrink)

Predictive processing framework has found wide applications in cognitive science and philosophy. It is an attractive candidate for a unified account of the mind in which perception, action, and cognition fit together in a single model. However, PP cannot claim this role if it fails to accommodate an essential part of cognition—conceptual thought. Recently, Williams argued that PP struggles to address at least two of thought’s core properties—generality and rich compositionality. In this paper, I show that neither necessarily presents a (...) problem for PP. In particular, I argue that because we do not have access to cognitive processes but only to their conscious manifestations, compositionality may be a manifest property of thought, rather than a feature of the thinking process, and result from the interplay of thinking and language. Pace Williams, both of these capacities, constituting parts of a complex and multifarious cognitive system, may be fully based on the architectural principles of PP. Under the assumption that language presents a subsystem separate from conceptual thought, I sketch out one possible way for PP to accommodate both generality and rich compositionality. (shrink)

This paper explores the connective ‘because’, based on the idea that ‘CbecauseA’ implies the acceptance/truth of the antecedentAas well as of the consequentC, and additionally that the antecedent makes a difference for the consequent. To capture this idea of difference-making a ‘relevantized’ version of the Ramsey Test for conditionals is employed that takes the antecedent to be relevant to the consequent in the following sense: a conditional is true/accepted in a state$$\sigma $$σjust in case (i) the consequent is true/accepted when$$\sigma (...) $$σis revised by the antecedentand(ii) the consequent fails to be true/accepted when$$\sigma $$σis revised by the antecedent’s negation. To extend this to a semantics for ‘because’, we add that (iii) the antecedent and (iv) the consequent are accepted/true in the state$$\sigma $$σ. We get metaphysical or doxastic interpretations of these clauses, depending on what we mean by a model and a state. We introduce several semantics known from suppositional conditionals, which we reinterpret for difference-making conditionals and ‘because’. We present a minimal logic for ‘because’ sentences and show how it can be extended in ways that parallel the hierarchy of extensions of the logic of suppositional conditionals. We establish correspondence results between axioms for ‘because’ and properties of states, and prove that the specified logics are sound with respect to the semantics. (shrink)

According to Millianism about proper names, what a proper name semantically contributes to the sentence in which it figures is simply its referent; therefore, co-referring proper names are intercheangable salva veritate and salva significatione. In their 2019 paper published in Topoi, Felappi and Santambrogio formulate a thought-provoking argument against Millianism. Their argument aims at establishing that our normal practice of translation shows that Millianism cannot be correct. I argue that Millians can successfully reply. I will address in turn two versions (...) of Felappi and Santambrogio’s argument, focusing especially on the second one, which apparently raises a more challenging problem for Millianism. Finally, I will consider two objections against my own strategy, and I will reply to them. (shrink)

This essay investigates whether or not we should think that the things we say are identical to the things our sentences mean. It is argued that these theoretical notions should be distinguished, since assertoric content does not respect the compositionality principle. As a paradigmatic example, Kaplan's formal language LD is shown to exemplify a failure of compositionality. It is demonstrated that by respecting the theoretical distinction between the objects of assertion and compositional values certain conflicts between compositionality and contextualism are (...) avoided. This includes the conflict between eternalism and the semantics of tense, the embedding problems for contextualism about epistemic modals and taste claims, and the conflict between direct reference and the semantics of bound pronouns (and monstrous operators). After presenting the theoretical picture which distinguishes assertoric content from compositional semantic value, some objections to the picture are addressed. In so doing, the objection from King (2003) stemming from apparent complications with the interaction of temporal expressions and attitude reports is assessed and shown to be non-threatening. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It is (...) concluded that it is unclear whether the theory can deliver all it promises. (shrink)

Neurons repeatedly exposed to similar perceptual experiences fire together and wire together to form ‘meaning kernels’ of concepts. Pulvermueller argues that abstract concepts may be devoid of meaning kernels, because the perceptual experiences that construct abstract concepts are subject to great variation and share few common features. Abstract concept are therefore grounded in the brain through features that belong to ‘meaning halos’, rather than to ‘meaning kernels’.

This article presents an historical and conceptual overview on different approaches to logical abstraction. Two main trends concerning abstraction in the history of logic are highlighted, starting from the logical notions of concept and function. This analysis strictly relates to the philosophical discussion on the nature of abstract objects. I develop this issue further with respect to the procedure of abstraction involved by (typed) λ-systems, focusing on the crucial change about meaning and predicability. In particular, the analysis of the nature (...) of logical types in the context of Constructive Type Theory allows elucidation of the role of the previously introduced notions. Finally, the connection to the analysis of abstraction in computer science is drawn, and the methodological contribution provided by the notion of information is considered, showing its conceptual and technical relevance. Future research shall focus on the notion of information in distributed systems, analysing the paradigm of information hiding in dependent type theories. (shrink)

_ Source: _Volume 46, Issue 2, pp 184 - 204 According to a very specific and widespread line of interpretation, the mode of working of intentionality could be understood by analogy with the linguistic paradigm set forth by Gottlob Frege in his famous essay “_Über Sinn und Bedeutung._” The goal of the present paper is to dismiss such an interpretation by also analyzing the manner in which Husserl relates, and thereby traces back, the constitution of the logical sphere to the (...) so-called pre-categorial. (shrink)

In this paper we focuse on how the first Heidegger changed the essential idea of phenomenology: if the terms of intentionality, pure consciousness, transcendental subject, noema and noesis radically disappear from Heidegger’s conceptuality, what does it mean exactly? Does Heidegger preserve anything from the idea of intentionality, from Husserl’s task of clarifying the aprioristic correlation between consciousness and object, and from Husserl’s relation of foundation of intentional modalities of higher level on modalities of lower level? We want here to emphasize (...) some essential changes concerning the idea of phenomenology: the holistic structure of experience, the task of clarifying the structure of transcendance as a foundation of intentionality, and the inversion of Husserl’s relation of foundation. On the contrary, we show how Husserl’s concept of sense is essentially different from that of ideal signification. (shrink)

Some causal explanations are non-committal in that mention of a property in the explanans conveys information about the causal origin of the explanandum even if the property in question plays no causal role for the explanandum . Programme explanations are a variety of non-committal causal (NCC) explanations. Yet their interest is very limited since, as I will argue in this paper, their range of applicability is in fact quite narrow. However there is at least another variety of NCC explanations, causal (...) orientation explanations, which offer a plausible model for many explanations in the special sciences. (shrink)

After describing the philosophical background of Kerry’s work, an account is given of the way Kerry proposed to supplement Bolzano’s conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege’s work and Kerry’s views were then attacked by Frege.The following two issues were central to this controversy: the relation between the content of a concept and the object of a concept; the logical roles of the definite article.Not only did Frege in (...) 1892 offer an unconvincing solution to Kerry’s puzzle concerning “the concept horse” but he also overlooked the many criticisms levelled by Kerry against the notion of an extension on which his own definition of number was based. (shrink)

After describing the philosophical background of Kerry's work, an account is given of the way Kerry proposed to supplement Bolzano's conception of logic with a psychological account of the mental acts underlying mathematical judgements.In his writings Kerry criticized Frege's work and Kerry's views were then attacked by Frege.The following two issues were central to this controversy: (a) the relation between the content of a concept and the object of a concept; (b) the logical roles of the definite article. Not only (...) did Frege in 1892 offer an unconvincing solution to Kerry's puzzle concerning 'the concept horse' but he also overlooked the many criticisms levelled by Kerry against the notion of an (indefinite) extension on which his own definition of number was based. (shrink)

In a series of recent works, Kit Fine, 605–631, 2003, 2007) has sketched a novel solution to Frege’s puzzle. Radically departing from previous solutions, Fine argues that Frege’s puzzle forces us to reject compositionality. In this paper we first provide an explicit formalization of the relational semantics for first-order logic suggested, but only briefly sketched, by Fine. We then show why the relational semantics alone is technically inadequate, forcing Fine to enrich the syntax with a coordination schema. Given this enrichment, (...) we argue, that that the semantics is compositional. We then examine the deep consequences of this result for Fine’s proposed solution to Frege’s puzzle. We argue that Fine has mis-diagnosed his own solution–his attempted solution does not deny compositionality. The correct characterization of Fine’s solution fits him more comfortably among familiar solutions to the puzzle. (shrink)

Each of our theories of mental representation provides some insight into how the mind works. However, these insights often seem incompatible, as the debates between symbolic, dynamical, emergentist, sub-symbolic, and grounded approaches to cognition attest. Mental representations—whatever they are—must share many features with each of our theories of representation, and yet there are few hypotheses about how a synthesis could be possible. Here, I develop a theory of the underpinnings of symbolic cognition that shows how sub-symbolic dynamics may give rise (...) to higher-level cognitive representations of structures, systems of knowledge, and algorithmic processes. This theory implements a version of conceptual role semantics by positing an internal universal representation language in which learners may create mental models to capture dynamics they observe in the world. The theory formalizes one account of how truly novel conceptual content may arise, allowing us to explain how even elementary logical and computational operations may be learned from a more primitive basis. I provide an implementation that learns to represent a variety of structures, including logic, number, kinship trees, regular languages, context-free languages, domains of theories like magnetism, dominance hierarchies, list structures, quantification, and computational primitives like repetition, reversal, and recursion. This account is based on simple discrete dynamical processes that could be implemented in a variety of different physical or biological systems. In particular, I describe how the required dynamics can be directly implemented in a connectionist framework. The resulting theory provides an “assembly language” for cognition, where high-level theories of symbolic computation can be implemented in simple dynamics that themselves could be encoded in biologically plausible systems. (shrink)

The idea underlying the Begriffsschrift account of identities was that the content of a sentence is a function of the things it is about. If so, then if an identity a=b is about the content of its contained terms and is true, then a=a and a=b have the same content. But they do not have the same content; so, Frege concluded, identities are not about the contents of their contained terms. The way Frege regarded the matter is that in an (...) identity the terms flanking the symbol for identity do not have their ordinary contents, but instead have themselves as their contents. In ?Uber Sinn und Bedeutung? Frege became convinced that if an identity a=bis about the signs aand b, then it expresses no proper knowledge. So, since it is evident that many such identities do express proper knowledge, Frege concluded that identities are not about their contained signs. So he became convinced that his Begriffsschrift account was incorrect. What was the error in the argument that led Frege to that account? It was thinking that the content of a sentence is a function of the contents of its constituent signs, that is, the things it is about. (shrink)

In this paper I attempt to show how Moore’s early emancipation from Bradley’s absolute idealism presupposes a fundamental adherence to certain theses of absolute idealism itself. In particular, I argue that the idea of an immediate epistemic access to concepts and propositions that Moore endorses in his platonic atomism is a reworking of a form of epistemic realism already present in Bradley. Epistemic realism is the conjunction of two theses: i) reality is independent of any constructive work of the human (...) mind; ii) reality is immediately accessible to knowledge. In this paper I first focus on Moore’s early idealist phase, suggesting that it should be understood as an attempt at isolating this thesis in Bradley against Kant’s transcendental idealism. I then suggest that it is on the background of an invariant adherence to it that we should understand Moore’s later rejection of monism and idealism through his anti-psychologism. I hence explore how epistemic realism is at work in Moore’s platonic atomism and conclude with some remarks about the further significance of Moore’s rejection of Kant. (shrink)

It seems that the theories of language of the present century can be classified into two basic groups. The approaches of the first group perceive language as a mathematical structure and understand any theory of language as a kind of application of mathematics or logic. Their ideological background is furnished by logical positivism and analytical philosophy (esp. by Russell, Carnap, Wittgenstein and their followers); and their practical output is Chomskian formal syntax and subsequent formal semantics. The approaches of the other (...) group do not approve of formalization and consider a theory of language closer to psychology than to mathematics. The specific position within this group is occupied by the so-called structuralists (de Saussure, Hjelmslev, Derrida). (shrink)

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the child (...) was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (shrink)

Doing Worlds with Words throws light on the problem of meaning as the meeting point of linguistics, logic and philosophy, and critically assesses the possibilities and limitations of elucidating the nature of meaning by means of formal logic, model theory and model-theoretical semantics. The main thrust of the book is to show that it is misguided to understand model theory metaphysically and so to try to base formal semantics on something like formal metaphysics; rather, the book states that model theory (...) and similar tools of the analysis of language should be understood as capturing the semantically relevant, especially inferential, structure of language. From this vantage point, the reader gains a new light on many of the traditional concepts and problems of logic and philosophy of language, such as meaning, reference, truth and the nature of formal logic. (shrink)

The heyday of discussions initiated by Searle's claim that computers have syntax, but no semantics has now past, yet philosophers and scientists still tend to frame their views on artificial intelligence in terms of syntax and semantics. In this paper I do not intend to take part in these discussions; my aim is more fundamental, viz. to ask what claims about syntax and semantics in this context can mean in the first place. And I argue that their sense is so (...) unclear that that their ability to act as markers within any disputes on artificial intelligence is severely compromised; and hence that their employment brings us nothing more than an illusion of explanation. (shrink)

The perennial question – What is meaning? – receives many answers. In this paper I present and discuss inferentialism – a recent approach to semantics based on the thesis that to have ( such and such ) a meaning is to be governed by ( such and such ) a cluster of inferential rules . I point out that this thesis presupposes that looking for meaning requires seeing language as a social institution (rather than, say, a psychological reality). I also (...) indicate that this approach may be seen as a new embodiment of the old ideas of structuralism. (shrink)

One particular topic in the literature on Frege’s conception of sense relates to two apparently contradictory theses held by Frege: the isomorphism of thought and language on one hand and the expressibility of a thought by different sentences on the other. I will divide the paper into five sections. In (1) I introduce the problem of the tension in Frege’s thought. In (2) I discuss the main attempts to resolve the conflict between Frege’s two contradictory claims, showing what is wrong (...) with some of them. In (3), I analyze where, in Frege’s writings and discussions on sense identity, one can find grounds for two different conceptions of sense. In (4) I show how the two contradictory theses held by Frege are connected with different concerns, compelling Frege to a constant oscillation in terminology. In (5) I summarize two further reasons that prevented Frege from making the distinction between two conceptions of sense clear: (i) the antipsychologism problem and (ii) the overlap of traditions in German literature contemporary to Frege about the concept of value. I conclude with a hint for a reconstruction of the Fregean notion of ‘thought’ which resolves the contradiction between his two theses. (shrink)

In this essay I will consider two theses that are associated with Frege,and will investigate the extent to which Frege really believed them.Much of what I have to say will come as no surprise to scholars of thehistorical Frege. But Frege is not only a historical figure; he alsooccupies a site on the philosophical landscape that has allowed hisdoctrines to seep into the subconscious water table. And scholars in a widevariety of different scholarly establishments then sip from thesedoctrines. I believe (...) that some Frege-interested philosophers at various ofthese establishments might find my conclusions surprising.Some of these philosophical establishments have arisen from an educationalmilieu in which Frege is associated with some specific doctrine at theexpense of not even being aware of other milieux where other specificdoctrines are given sole prominence. The two theses which I will discussillustrate this point. Each of them is called Frege''s Principle, but byphilosophers from different milieux. By calling them milieux I do not want to convey the idea that they are each located at some specificsocio-politico-geographico-temporal location. Rather, it is a matter oftheir each being located at different places on the intellectuallandscape. For this reason one might (and I sometimes will) call them(interpretative) traditions. (shrink)

The nonexistence of fictional entities does not seem incompatible with their possible existence. The aim of this paper is to give an account of the intuitive truth of statements of possible existence involving fictional proper names in an actualist framework. After having clarified the opposition between a possibilist and an actualist approach of possible wolds, I distinguish fictional individuals from fictional characters and the fictional use of fictional proper names from their metafictional use. On that basis, statements of possible existence (...) involving fictional proper names literally say of fictional characters conceived as abstract objects that they might have been exemplified. (shrink)

This paper shows how Peirce's semeiotic could be turned into a powerful science. The New Science of Semiotics provides not only a new paradigm and an empirical justification for all these applications, but also a rational and systematic procedure for carrying them out as well. Thus the New Science of Semiotics transforms the philosophy of law into the science of legal scholarship, the discipline that I call jurisology.

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)