This study looks to the work of Tarski's mentors Stanislaw Lesniewski and Tadeusz Kotarbinski, and reconsiders all of the major issues in Tarski scholarship in light of the conception of Intuitionistic Formalism developed: semantics, truth, paradox, logical consequence.

I motivate and characterize an intensional semantics for ‘ought’ on which it does not behave as a universal quantifier over possibilities. My motivational argument centers on taking at face value some standard challenges to the quantificational semantics, especially to the idea that ‘ought’-sentences satisfy the principle of Inheritance. I argue that standard pragmatic approaches to these puzzles are either not sufficiently detailed or unconvincing.

In this paper, I support a hybrid view regarding the metaphysics of worlds. I endorse Lewisian Modal Realism for possible worlds (LMR). My aim is to come up with a hybrid account of impossible worlds that provides all the plenitude of impossibilities for all fine-grained intentional contents. I raise several challenges for such a plenitudinous hybrid theory. My version of hybrid modal realism builds impossible worlds as set-theoretic constructions out of genuine individuals and sets of them, that is, as set-theoretic (...) constructions from parts and sets of parts of genuine Lewisian worlds. _Structured worlds_ are defined as sets of tuples: structured entities built out of Lewisian ‘raw material’. These structured worlds are ersatz worlds, some of which are impossible. I claim that propositions must be sets of worlds rather than members of sets. Once the construction is in place, I evaluate the proposal and show that my hybrid account is able to supply a plenitude of impossibilities and thus giving the resources to make all the hyperintensional distinctions we are looking for, whilst remaining Lewisian-conservative. (shrink)

Given the significant exculpatory power that ignorance has when it comes to moral, legal, and epistemic transgressions, it is important to have an accurate understanding of the concept of ignorance. According to the Standard View of factual ignorance, a person is ignorant that p whenever they do not know that p, while on the New View, a person is ignorant that p whenever they do not truly believe that p. On their own though, neither of these accounts explains how ignorance (...) can often be a degreed notion—how we can sometimes be slightly ignorant, quite ignorant, or completely ignorant that p. In this paper, I will argue that there is a route for advocates of the Standard View and the New View to accommodate the gradability of ignorance. On the view I defend, ‘ignorant’ picks out everyone that is ignorant to some degree, making it possible that ignorance can be both degreed and characterized as a lack of knowledge or true belief. Even though we can be ignorant to a greater or lesser extent, the only way to avoid being ignorant that p is to know or truly believe. (shrink)

Self-locating attitudes and assertions provide a challenge to the received view of mental and linguistic intentionality. In this paper I try to show that the best way to meet this challenge is to adopt relativistic, centred possible worlds accounts for both belief and communication. First, I argue that self-locating beliefs support a centred account of belief. Second, I argue that self-locating utterances support a complementary centred account of communication. Together, these two claims motivate a unified centred conception of belief and (...) communication. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

This dissertation may be divided into two parts. The first part is about the Extended Gricean Model of information transmission. This model, introduced here, is meant to better explain how humans communicate and understand each other. It has been developed to apply to cases that were left unexplained by the two main models of communication found in contemporary philosophy and linguistics, i.e. the Gricean (pragmatic) model and the code (semantic) model. In particular, I show that these latter two models cannot (...) apply to cases where one communicate through spontaneous emotional expressions and how the Extended Gricean Model of information transmission does. The second part of the dissertation is about what emotional signs mean, in various senses of the term ‘mean'. I review existing theories of meaning and see how they apply to emotional signs, i.e. signs which give us information about the affective state of the sign producer. (shrink)

This paper concerns the role of the structural properties of representations in determining the nature of their content. I take as a starting point Fodor's (2007) and Heck's (2007) recent arguments making the iconic structure of perceptual representations essential in establishing their content as content of a different (nonconceptual) kind. I argue that the prima facie state–content error this strategy seems to display is nothing but a case of “state–content error error,” i.e., the mistake of considering that the properties that (...) characterize the type of content certain representations have are indeed independent of their structural properties. I also consider another objection to the general strategy, namely that it falls short of showing that the nonconceptual content of perceptual experiences thus established is the kind of content that figures in true explanations of intentional behavior. I concede this point in respect of Fodor's version of the strategy, while denying that it has any bearing on Heck's approach. The success of this objection in Heck's case ultimately depends, I argue, upon an unjustified commitment to a certain empirically suspect model of perception. (shrink)

What is objectivity? What would it take to have objective representations and do we have what it takes? This paper aims to contribute to answering these questions. To this end, it isolates one relevant sense of objectivity and proposes a generalization of standard frameworks of representational content in order to engage with the question in a way that is rhetorically fair. Armed with a general conception of perspectival content, taken from the literature on centred or de se content, the paper (...) articulates one necessary condition for objective representation: the possession of objective concepts and therefore objective contents. Two ways of meeting this condition are discussed in an exploratory way. (shrink)

In this paper I focus on a recently discussed phenomenon illustrated by sentences containing predicates of taste: the phenomenon of " perspectival plurality " , whereby sentences containing two or more predicates of taste have readings according to which each predicate pertains to a different perspective. This phenomenon has been shown to be problematic for (at least certain versions of) relativism. My main aim is to further the discussion by showing that the phenomenon extends to other perspectival expressions than predicates (...) of taste and by proposing a general solution to the problem raised by it on behalf of the relativist. The core claim of the solution (" multiple indexing ") is that utterances of sentences containing perspectival expressions should be evaluated with respect to (possibly infinite) sequences of perspective parameters. (shrink)

Two opposed movements of thought threaten philosophy as an autonomous practice from the inside: scientific naturalism and quietism. Naturalism (qua methodological thesis) threatens to turn philosophy into a mere ancilla of the sciences, quietism understood as the prescription to remain silent in philosophy would not countenance any more "positive" philosophy. This book reconstructs naturalism and quietism such that it becomes clear naturalism does have the potential to end philosophy as an autonomous practice and that quietism, correctly understood, does not. To (...) this end, this book provides arguments against the prevailing orthodox status of naturalism and a heterogenous reading of Wittgenstein's metaphilosophical quietism as the rejection of a certain kind of theories in philosophy, namely quasi-scientific theories. (shrink)

Provides a comprehensive overview and introduction to the Routledge Handbook of Propositions.

I defend the claim that it is possible for thoughts to be context-sensitive. Assuming that a thought is a sentence of Mentalese and content is a function from indices to truth-values, then a thought, T, is context-sensitive IFF at least one of the following three conditions are met: T exhibits character-underdeterminacy, where T is character underdetermined iff a component of T makes an explicit reference to the context to establish content. T exhibits type-underdeterminacy, where T is type underdetermined iff there (...) are tokens of T that have distinct truth-values. T is token-underdetermined, where T is token underdetermined iff for some possible states of affairs its truth-value is indeterminate. Additionally, there must be a mechanism by which the content of T can be determined by appeal to the context. Otherwise T is not sensitive to the context. The most significant objection to the possibility of context-sensitive thoughts comes from a regress argument. The concern is that any process of removing context-sensitivity from a thought will token an additional thought. If that further thought is context-sensitive, then another thought will have to be tokened. This process will only terminate when a non-context-sensitive thought is arrived at. Yet this seems to show that context-sensitivity in thought, if possible, can only be a contingent, detachable feature of thoughts. To counter this argument, I will present three versions of context-sensitive thought, mirroring each of -. These views make use of a range of relationships between thoughts and their contents or extensions that are affected by the context, but I will argue they do not require the generation of an additional thought. This provides a range of views on which thoughts can be treated as essentially context-sensitive. (shrink)

This chapter provides a general overview of the issues surrounding so-called semantic monsters. In section 1, I outline the basics of Kaplan’s framework and spell out how and why the topic of “monsters” arises within that framework. In Section 2, I distinguish four notions of a monster that are discussed in the literature, and show why, although they can pull apart in different frameworks or with different assumptions, they all coincide within Kaplan’s framework. In Section 3, I discuss one notion (...) that has spun off into the linguistics literature, namely “indexical shift”. In Section 4, I emphasize the connection between monsters and the compositionality of asserted content in Kaplan’s original discussion. Section 5 discusses monsters and the more general idea of re-interpretation or meaning-shift. Section 6 closes with a brief survey of where monsters may dwell, and pointers to avenues for future research. (shrink)

This paper revisits some foundational questions concerning the abstract representation of a discourse context. The context of a conversation is represented by a body of information that is presumed to be shared by the participants in the conversation – the information that the speaker presupposes a point at which a speech act is interpreted. This notion is designed to represent both the information on which context-dependent speech acts depend, and the situation that speech acts are designed to affect, and so (...) to be a representation of context that is appropriate for explaining the interaction of context and the contents expressed in them. After reviewing the motivating ideas and the outlines of the apparatus, the paper responds to a criticism of the framework, and considers the way it can help to clarify some phenomena concerning pronouns with indefinite antecedents. (shrink)

On two standard views of vagueness, vagueness as to whether Harry is bald entails that nobody knows whether Harry is bald—either because vagueness is a type of missing truth, and so there is nothing to know, or because vagueness is a type of ignorance, and so even though there is a truth of the matter, nobody can know what that truth is. Vagueness as to whether Harry is bald does entail that nobody clearly knows that Harry is bald and that (...) nobody clearly knows that Harry is not bald. But it does not entail that nobody knows that Harry is bald or that nobody knows that Harry is not bald. Hence, the two standard views of vagueness are mistaken. (shrink)

Supervaluationism is often described as the most popular semantic treatment of indeterminacy. There’s little consensus, however, about how to fill out the bare-bones idea to include a characterization of logical consequence. The paper explores one methodology for choosing between the logics: pick a logic thatnorms beliefas classical consequence is standardly thought to do. The main focus of the paper considers a variant of standard supervaluational, on which we can characterizedegrees of determinacy. It applies the methodology above to focus ondegree logic. (...) This is developed first in a basic, single-premise case; and then extended to the multipremise case, and to allowdegreesof consequence. The metatheoretic properties of degree logic are set out. On the positive side, the logic is supraclassical—all classical valid sequents are degree logic valid. Strikingly, metarules such as cut and conjunction introduction fail. (shrink)

This dissertation is an experiment: what happens if we treat proper names as anaphoric expressions on a par with pronouns? The first thing to notice is that a name's 'antecedent' can occur in a discourse prior to the one containing the name. An individual may be introduced and tagged with a name in one context, and then retrieved using the name in a later context. To allow for discourse crossing anaphora, in addition to the usual cross-sentential anaphora, a revision of (...) discourse semantics is in order. Essentially, we must countenance discourse referents that span contexts, and think of contexts, not as islands, but as nodes connected to each other by the discourse referents they share. Discourse semantics gives rise to a new notion of content determined by discourse reference rather than pure reference. In a space of contexts structured by shared discourse referents, discourse content becomes transmissable. For a piece of content may be sent from one context to another whenever the discourse referents bundled up in the content are held in common by the two contexts. The final step is to treat the cognitive state of an agent as just another kind of context, and so a potential recipient of discourse content. Discourse content is more fine-grained than traditional 'singular' content, and so is a better fit for our pretheoretic intuitions about communication and attitude reporting. This is illustrated by applying the theory to Frege's puzzle, a puzzle of Loar's about communication, Kripke's puzzle about belief, Geach's intentional identity and new breed of 'mixed' de re-de dicto sentence. (shrink)

Regular polysemes are sets of ambiguous words that all share the same relationship between their meanings, such as CHICKEN and LOBSTER both referring to an animal or its meat. To probe how a distributional semantic model, here exemplified by bidirectional encoder representations from transformers (BERT), represents regular polysemy, we analyzed whether its embeddings support answering sense analogy questions similar to “is the mapping between CHICKEN (as an animal) and CHICKEN (as a meat) similar to that which maps between LOBSTER (as (...) an animal) to LOBSTER (as a meat)?” We did so using the LRcos model, which combines a logistic regression classifier of different categories (e.g., animal vs. meat) with a measure of cosine similarity. We found that (a) the model was sensitive to the shared structure within a given regular relationship; (b) the shared structure varies across different regular relationships (e.g., animal/meat vs. location/organization), potentially reflective of a “regularity continuum;” (c) some high-order latent structure is shared across different regular relationships, suggestive of a similar latent structure across different types of relationships; and (d) there is a lack of evidence for the aforementioned effects being explained by meaning overlap. Lastly, we found that both components of the LRcos model made important contributions to accurate responding and that a variation of this method could yield an accuracy boost of 10% in answering sense analogy questions. These findings enrich previous theoretical work on regular polysemy with a computationally explicit theory and methods, and provide evidence for an important organizational principle for the mental lexicon and the broader conceptual knowledge system. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

A verb is transitive iff it usually occurs with a direct object, and in such occurrences it is said to occur transitively . Thus ‘ate’ occurs transitively in ‘I ate the meat and left the vegetables’, but not in ‘I ate then left’ (perhaps it is not the same verb ‘left’ in these two examples, but it seems to be the same ‘ate’). A verb is intensional if the verb phrase (VP) it forms with its complement is anomalous in at (...) least one of three ways: (i) interchanging expressions in the complement referring to the same entity can change the truth-value of the sentence embedding the VP; (ii) the VP admits of a special “unspecific” reading if it contains a quantifier, or a certain type of quantifier; and (iii) the normal existential commitments of names and existential quantifiers in the complement are suspended even when the embedding sentence is negation-free. (shrink)

Is there an interesting relation between the Preface paradox and the Sorites paradox that might be used to illuminate either or both of those paradoxes and the phenomena of rationality and vagueness with which they, respectively, are bound up? In particular, if we consider the analogy alongside a familiar response to the Preface Paradox that employs degrees of belief, does this give any support to the thought that we should adopt some kind of degree-theoretic treatment of vagueness and the sorites? (...) This chapter argues that it does not; indeed exploring the disanalogies contributes to a case against such a treatment of vagueness more generally. Among other views, it considers Edgington’s account of vagueness that employs a probabilistic structure of “verities”. It then contends that appeal to the framework of supervaluationism yields a better guide to reasoning in vague language than the degree-theoretic treatment can sustain. (shrink)

In this paper I propose three steps to overcome the force-content dichotomy and dispel the Frege point. First, we should ascribe content to force indicators. Through basic assertoric and directive force indicators such as intonation, word order and mood, a subject presents its position of theoretical or practical knowledge of a state of affairs as a fact, as something that is the case, or as a goal, as something to do. Force indicators do not operate on truth- or satisfaction evaluable (...) entities as on the traditional view, but complete and unify them. Second, higher-level acts such as interrogative, logical and fictional acts create higher-level unities that may suspend commitment to the assertions and directions they operate on. But they do not cancel their force, but transfer the meaning of force indicators into the new unities they create. For example, in the context of asking a theoretical or practical question, the assertoric or directive force indicator now presents the kind of knowledge the subject is seeking. Third, the Frege point conflates different varieties of force. We neither need Frege’s assertion sign, nor Hare’s neustic, nor Hanks’s cancellation sign, but only ordinary force indicators and interrogative, logical and fictional markers. Propositions are not forceless contents to which a subject commits by forceful acts, but forceful acts put forward by higher-level acts which may suspend commitment to them. (shrink)

Jerrold J. Katz often explained his semantic theory by way of an analogy with physical atomism and an attendant analogy with chemistry. In this chapter, I track the origin and uses of these analogies by Katz, both in explaining and defending his decompositional semantic theory, through the various phases of his work throughout his career.

The notions of belief and truth frequently interact in philosophical discourse but, surprisingly, a coherent semantics for such discourse is still wanting. Indeed, a number of puzzles stand in way of a satisfactory semantic account of the notion of truth in doxastic contexts. In this paper we discuss these puzzles and develop a more satisfactory semantic account that combines ideas from contextualist theories of attitude reports and Awareness semantics for non-idealized belief.

In diesem Aufsatz argumentiere ich, dass die Standardauffassung von Propositionen und propositionalen Einstellungen inadäquat ist, ein Artefakt der gegenwärtig herrschenden theorielastigen Auffassung von Intentionalität, Sprache und Rationalität, und skizziere eine alternative Auffassung. Im folgenden Abschnitt belege ich erst einmal die These der Theorielastigkeit anhand einiger Beispiele vor allem aus der gegenwärtigen analytischen Philosophie. Der dritte Abschnitt erklärt, wie diese Theorielastigkeit im Standardverständnis von Propositionen und propositionalen Einstellungen verkörpert ist. Im vierten Abschnitt argumentiere ich, dass dieses Standardverständnis der Proposition zwei unvereinbare (...) Rollen zuweist. Sie kann nicht sowohl einen Sachverhalt repräsentieren, der Gegenstand praktischer genauso wie theoretischer Stellungnahmen sein kann, als auch wie eine theoretische Stellungnahme Wahrheitswertträger sein. In den folgenden Abschnitten versuche ich eine partielle Diagnose, wie es zu dieser Auffassung kommen kann: gewisse Formen der Neutralisierung von Stellungnahmen durch das bloße „in den Raum stellen“ (fünfter Abschnitt), durch fiktionale Kontexte (sechster Abschnitt) und den Kontext logischer Verknüpfungen (der so genannte „Frege-Punkt“; siebter Abschnitt) werden verwechselt mit der Neutralität zwischen dem Praktischen und Theoretischen, zwischen Wollen und Wahrheit, die die Standardauffassung erfordern würde. Der achte Abschnitt skizziert in groben Umrissen ein alternatives Bild. Demnach wird eine Repräsentation eines Sachverhalts erst durch die dazu kommende theoretische oder praktische Position zu einer Stellungnahme und damit zum Träger eines Erfüllungswerts. Die Bereiche des Praktischen und des Theoretischen sind parallel strukturiert und unterschieden sich im Wesentlichen nur durch die Verschiedenheit der Passrichtungen. Grundlegende rationale Operationen wie Deduktion, Abduktion und Induktion können auf praktischen Stellungnahmen genauso ausgeführt werden wie auf theoretischen. Im neunten Abschnitt verorte ich die tieferen Wurzeln der Theorielastigkeit in dem Verlangen, das Praktische an die dem Theoretischen eigene Form der Objektivität zu assimilieren. Dieses Verlangen muss aber fruchtlos bleiben, und die dem Praktischen eigene Form der Objektivität wird so verfehlt. Der letzte Abschnitt deutet an, wie sich Werturteile in dem skizzierten Rahmen deuten lassen. (shrink)

In this paper, I present a categorial theory of meaning which asserts that the meaning of a sentence is the function from the actualization of some potentiality or the potentiality of some actuality to the truth of the sentence. I argue that it builds on the virtues of David Lewis’s Possible World Semantics but advances beyond problems that Lewis’s theory faces with its distinctly Aristotelian turn toward actuality and potentiality.

In Pantsar (2014), an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also explain the (...) ... (shrink)

A growing number of philosophers and linguists have argued that many, if not most, terms in our language should be understood as semantically context sensitive. In opposition to this trend, Herman Cappelen and Ernie Lepore defend a view they call "Semantic Minimalism", which holds that there are virtually no semantically context sensitive expressions in English once you get past the standard list of indexicals and demonstratives such as "I", "you", "this", and "that". While minimalism strikes many as obviously false, it (...) will be argued here that the view is more plausible than commonly assumed if one accepts the 'normative' conception of the relation between meaning and use characteristic of the literature on semantic externalism. That said, it is not clear that Cappelen and Lepore always conceive of their minimal semantic contents in this more normative fashion, and once this framework is place, a version of 'moderate contextualism' that they do not consider comes into view. (shrink)

Relativized Metaphysical Modality (RMM: Murray and Wilson, 'Relativized metaphysical modality', Oxford Studies in Metaphysics, 2012; Murray, Perspectives on Modal Metaphysics, 2017) exploits 'two-dimensionalist' resources to metaphysical, rather than epistemological, ends: the second dimension offers perspective-dependence without contingency, diverting attacks on 'Classical' analyses of modals (in effect, analyses validating S5 and the Barcan Formulae). Here, we extend the RMM program in two directions. First, we harvest resources for RMM from Lewis's 1980 'Context--Index' (CI) framework: (a) the ban in CI on binding (...) into context-arguments (akin to Kaplan's 'monstrosity' ban) projects a bright line between perspective-dependence and contingency; and (b) CI-postulated connections among meaning, content, truth, argument-structure, context, and modality collectively generate a 'Generalized Humphrey Problem' for any non-Classical analysis (examples covered include appeals to accessibility, contingent domains, and counterpart relations). Second, we sharpen the tools of RMM-based metaphysical analysis, and extend their domain of coverage across familiar anomalies for Classical modals: we revisit earlier RMM-based bulwarks for S5 (against 'Chisholm's Paradox' for moderate flexibility of essence, and nomological necessitarianism); and we now similarly shore up the Barcan Formulae (against the apparent contingency of existence and nonexistence). (shrink)

Do component forces exist? I argue that the answer lies in the affirmative, on historical and operational grounds.

Can identity itself be vague? Can there be vague objects? Does a positive answer to either question entail a positive answer to the other? In this paper we answer these questions as follows: No, No, and Yes. First, we discuss Evans’s famous 1978 argument and argue that the main lesson that it imparts is that identity itself cannot be vague. We defend the argument from objections and endorse this conclusion. We acknowledge, however, that the argument does not by itself establish (...) either that there cannot be vague objects or that there cannot be identity statements that are indeterminate for ontic reasons. And we further acknowledge that it does not by itself establish that there cannot be identity statements that are indeterminate in virtue of the existence of vague objects. We then go on to argue that, despite this, one who believes in vague objects cannot endorse Evans’s argument. To establish this we offer supplementary arguments that show that if vague objects exist then identity is vague, and that if identity is vague then vague objects exist. Finally we draw attention to an argument parallel to that of Evans’s, but safer, which can be employed against the putative ontic indeterminacy in identity of vague objects which can be differentiated by identity-free properties. (shrink)

A naïve perspective on the world suggests that the world we live in is full of vague objects. In this chapter, a version of the supervaluationist framework will be proposed to provide a systematic conception of such a naïve perspective. Precisifications of a vague object will be characterized as objects that, were they actual objects, every determinate truth about the vague object would be true about them. It will be argued that this view is more effective than other versions of (...) supervaluationism at accommodating commonsensical and metaphysical considerations. The view leaves room for vague identity as a kind of “no fact of the matter.” Thus, Evans’ argument against ontic vagueness fails in a natural way. (shrink)

In this paper, I defend the metalinguistic solution to the problem of mathematical omniscience for the possible-worlds account of propositions by combining it with a computational model of knowledge and belief. The metalinguistic solution states that the objects of belief and ignorance in mathematics are relations between mathematical sentences and what they express. The most pressing problem for the metalinguistic strategy is that it still ascribes too much mathematical knowledge under the standard possible-worlds model of knowledge and belief on which (...) these are closed under entailment. I first argue that Stalnaker's fragmentation strategy is insufficient to solve this problem. I then develop an alternative, computational strategy: I propose a model of mathematical knowledge and belief adapted from the algorithmic model of Halpern et al. which, when combined with the metalinguistic strategy, entails that mathematical knowledge and belief require computational abilities to access metalinguistic information, and thus aren't closed under entailment. As I explain, the computational model generalizes beyond mathematics to a version of the functionalist theory of knowledge and belief that motivates the possible-worlds account in the first place. I conclude that the metalinguistic and computational strategies yield an attractive functionalist, possible-worlds account of mathematical content, knowledge, and inquiry. (shrink)

In this paper, I focus on AIs as very different, or at least potentially very different, kinds of language users from what humans are. Is the metasemantics for AI language use different, in the way Cappelen and Dever argue? Is it reasonable to think that AIs will come to use languages importantly different from human languages, what I call alien languages?

I propose a version of the act‐type theory of propositions, following Hanks and Soames. According to the theory, propositions are types of act of predication. The content of a sentence is the type of such act performed when that sentence is uttered. A consequence of this theory is that the structure of the content of a sentence will mirror the structure of that sentence. I defend this consequence of the theory from two important objections. I then argue that this theory (...) is well motivated because it can be part of a theory of what is said. (shrink)

Hyperintensionality – the failure of substitutivity salva veritate of intensionally equivalent expressions – is one of the most debated topics in recent philosophy of language. Being a phenomenon that affects a wide variety of different sentential contexts, a question concerning its source arises: is hyperintensionality something that can originate from actual features of the world, or it is simply some kind of representational phenomenon, which entirely depends on our conceptual faculties and preferred semantics? After a brief general introduction to the (...) topic from the semantic standpoint, in the present work I defend a view developed by Daniel Nolan, according to which hyperintensionality can be a worldly, non-representational phenomenon. I first reconstruct Nolan’s view and argument for worldly hyperintensionality, understood through the comparison with de re intensional modality. Then, I address the main criticism that has been raised against it, developing three objections. Evidence for worldly hyperintensionality is thereby presented, by focusing on a paradigmatic trigger: counterpossible conditionals. I provide two jointly sufficient criteria for a counterpossible to be a genuine instance of worldly hyperintensionality, then illustrate three case studies from scientific practices that all rely on counterpossible reasoning: reducibility in relative computability theory; scientific explanation of certain substances’ essential properties; and emergent molecular structure in chemistry. Each of them is evaluated by checking if it satisfies the criteria for worldly hyperintensionality, leading to the detection of patterns of counterpossible dependence occurring in at least some specific instances of the case studies discussed. Finally, I suggest a possible realist reading of such dependence relation, locating its relata in the world, independently from our representations. (shrink)

Proof, Computation and Agency: Logic at the Crossroads provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book (...) takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other. (shrink)

This volume is a collection of some of the most important philosophical papers by Peter Gärdenfors. Spanning a period of more than 20 years of his research, they cover a wide ground of topics, from early works on decision theory, belief revision and nonmonotonic logic to more recent work on conceptual spaces, inductive reasoning, semantics and the evolutions of thinking. Many of the papers have only been published in places that are difficult to access. The common theme of all the (...) papers is the dynamics of thought. Several of the papers have become minor classics and the volume bears witness of the wide scope of Gärdenfors’ research and of his crisp and often witty style of writing. The volume will be of interest to researchers in philosophy and other cognitive sciences. (shrink)

The book is about logical analysis of natural language. Since we humans communicate by means of natural language, we need a tool that helps us to understand in a precise manner how the logical and formal mechanisms of natural language work. Moreover, in the age of computers, we need to communicate both with and through computers as well. Transparent Intensional Logic is a tool that is helpful in making our communication and reasoning smooth and precise. It deals with all kinds (...) of linguistic context in a fully compositional and anti-contextual way. (shrink)

In this book some options concerning the greenhouse effect are assessed from a welfarist point of view: business as usual, stabilization of greenhouse gas emissions and reduction by 25% and by 60%. Up to today only economic analyses of such options are available, which monetize welfare losses. Because this is found to be wanting from a moral point of view, the present study welfarizes (among others) monetary losses on the basis of a hedonistic utilitarianism and other, justice incorporating, welfare ethics. (...) For these welfarist evaluations information about the social consequences of the four options are collected from the literature and eventually corrected; then the consequences for individual well-being are assessed based on psychological research about well-being dependent on the social situation of the individual; finally the aggregation formulas of the respective welfare ethics are applied to these data. Assessments by other types of ethics, e.g. Kantian ethic, are included. The strongest abatement option is found to be optimum with great unanimity. - In addition a cost-welfare analysis of greenhouse gas abatement is undertaken revealing efficient cost-welfare ratios for these measures and the most efficient ratio for the strongest option. - A final, more theoretical part discusses the moral obligations following from such evaluations. The notion of 'moral obligation' is explained in a way that, apart from moral goodness of the required act, reinforcement by formal or informal sanctions is another necessary condition for moral obligations. This leads to a conception of a historical morality according to which the demands of morality rise in the long run. Applying this conception to the greenhouse effect implies that presently we have the moral duty to raise the standards of greenhouse gas abatement as much as is politically feasible. (shrink)

This book discusses the two main construals of the explanatory goals of semantic theories. The first, externalist conception, understands semantic theories in terms of a hermeneutic and interpretive explanatory project. The second, internalist conception, understands semantic theories in terms of the psychological mechanisms in virtue of which meanings are generated. It is argued that a fruitful scientific explanation is one that aims to uncover the underlying mechanisms in virtue of which the observable phenomena are made possible, and that a scientific (...) semantics should be doing just that. If this is the case, then a scientific semantics is unlikely to be externalist, for reasons having to do with the subject matter and form of externalist theories. It is argued that semantics construed hermeneutically is nevertheless a valuable explanatory project. (shrink)

Communication and content presents a comprehensive and foundational account of meaning based on new versions of situation theory and game theory. The literal and implied meanings of an utterance are derived from first principles assuming little more than the partial rationality of interacting agents. New analyses of a number of diverse phenomena – a wide notion of ambiguity and content encompassing phonetics, syntax, semantics, pragmatics, and beyond, vagueness, convention and conventional meaning, indeterminacy, universality, the role of truth in communication, semantic (...) change, translation, Frege’s puzzle of informative identities – are developed. Communication, speaker meaning, and reference are defined. Frege’s context and compositional principles are generalized and reconciled in a fixed-point principle, and a detailed critique of Grice, several aspects of Lewis, and some aspects of the Romantic conception of meaning are offered. Connections with other branches of linguistics, especially psycholinguistics, sociolinguistics, historical linguistics, and natural language processing, are explored. -/- The book will be of interest to scholars in philosophy, linguistics, artificial intelligence, and cognitive science. It should also interest readers in related fields like literary and cultural theory and the social sciences. (shrink)

Since 1970-ties in the theory of syntax of natural language quite a number of competing, incommensurable theoretic frameworks have emerged. Today the lack of a leading paradigm and kaleidoscope of perspectives deprives our general understanding of syntax and its relation to semantics and pragmatics. The present book is an attempt to reestablish the most fundamental ideas and intuitions of syntactic well-formedness within a new general account. The account is not supposed to compete with any of today’s syntactic frameworks, but to (...) provide a deeper understanding of why these frameworks succeed or fail when they do and to show a new way for cooperation between logicians and linguists which may lead in future to a unified, yet more specific account. (shrink)

Sortal concepts are at the center of certain logical discussions and have played a significant role in solutions to particular problems in philosophy. Apart from logic and philosophy, the study of sortal concepts has found its place in specific fields of psychology, such as the theory of infant cognitive development and the theory of human perception. In this monograph, different formal logics for sortal concepts and sortal-related logical notions are characterized. Most of these logics are intensional in nature and possess, (...) in addition, a bidimensional character. That is, they simultaneously represent two different logical dimensions. In most cases, the dimensions are those of time and natural necessity, and, in other cases, those of time and epistemic necessity. Another feature of the logics in question concerns second-order quantification over sortal concepts, a logical notion that is also represented in the logics. Some of the logics adopt a constant domain interpretation, others a varying domain interpretation of such quantification. Two of the above bidimensional logics are philosophically grounded on predication sortalism, that is, on the philosophical view that predication necessarily requires sortal concepts. Another bidimensional logic constitutes a logic for complex sortal predicates. These three sorts of logics are among the important novelties of this work since logics with similar features have not been developed up to now, and they might be instrumental for the solution of philosophically significant problems regarding sortal predicates. The book assumes a modern variant of conceptualism as a philosophical background. For this reason, the approach to sortal predicates is in terms of sortal concepts. Concepts, in general, are here understood as intersubjective realizable cognitive capacities. The proper features of sortal concepts are determined by an analysis of the main features of sortal predicates. Posterior to this analysis, the sortal-related logical notions represented in the above logics are discussed. There is also a discussion on the extent to which the set-theoretic formal semantic systems of the book capture different aspects of the conceptualist approach to sortals. These different semantic frameworks are also related to realist and nominalist approaches to sortal predicates, and possible modifications to them are considered that might represent those alternative approaches. (shrink)

Logical form has always been a prime concern for philosophers belonging to the analytic tradition. For at least one century, the study of logical form has been widely adopted as a method of investigation, relying on its capacity to reveal the structure of thoughts or the constitution of facts. This book focuses on the very idea of logical form, which is directly relevant to any principled reflection on that method. Its central thesis is that there is no such thing as (...) a correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and to semantics. This thesis has a negative and a positive side. The negative side is that a deeply rooted presumption about logical form turns out to be overly optimistic: there is no unique notion of logical form that can play both roles. The positive side is that the distinction between two notions of logical form, once properly spelled out, sheds light on some fundamental issues concerning the relation between logic and language. (shrink)

In this dissertation, I investigate a conception of thoughts figuring in ordinary discourse, and argue that this conception is an improvement over a certain standard conception employed in current philosophical and linguistic endeavors. ;In Chapter 2, I discuss the leading principles of the standard conception, a conception according to which thoughts in general are to be identified with propositions. I also briefly preview some of the main features that distinguish the conception developed in the course of this study from the (...) standard conception. ;Chapter 4 is the heart of the thesis. I isolate a reading of the verb 'think' that I contend is both familiar from and central to our ordinary discourse about thoughts and thinking--the "generic reading", I call it. An investigation of the relation expressed by the verb, 'think', on this generic reading, and of the correlative conception of thoughts, occupies the remainder of the study. ;If this ordinary conception of thoughts is to serve the principal functions to which thoughts have standardly been assigned, in philosophical and linguistic endeavors, then there should be a discernible sense in which it is correct to say that thoughts, so conceived, are things that sentences express. In Chapter 5, I discuss the relevant notion of sentential expression. Accounts of this notion have commonly faced a stumbling block in the case of non-declarative sentences. What sort of thoughts, for example, can imperatives or interrogatives be said to express? In Chapter 6, I explain how, on the present conception, there is a clear sense in which sentences of a variety of grammatical moods--imperatives and interrogatives as well as declaratives--may be said, with equal propriety, to express thoughts. ;In Chapter 7, I discuss a fundamental thesis of the standard conception, and argue, in Chapter 8, that any account of the nature of thoughts accommodating this thesis is incompatible with the conception of thoughts arrived at in Chapter 4. Then, in order to retain this familiar conception and its benefits, a new account of the nature of thoughts must be provided. Such an account is described in Chapter 9. (shrink)