In this introduction, I consider different problems posed by the use of singular terms in fiction (section 1), paying especial attention to proper names and, in particular, to names of real people, places, etc. As we will see (section 2), descriptivist and Millian theories of reference face different kinds of problems in explaining the use of fictional names in fiction-related contexts. Moreover, the task of advancing a uniform account of names in these contexts—an account which deals not only with fictional (...) names but also with “real” names—will prove to be very hard no matter whether we favour realist or antirealist intuitions about fictional discourse (section 3). Section 4 offers an overview of the content of this volume, with emphasis on the discussion between Manuel García-Carpintero and Stacie Friend about the meaning of “real” names in fiction-related contexts, the main topic of the Third Blasco Disputatio. (shrink)

Most contemporary philosophical discussions of intentionality start and end with a treatment of the propositional attitudes. In fact, many theorists hold that all attitudes are propositional attitudes. Our folk-psychological ascriptions suggest, however, that there are non-propositional attitudes: I like Sally, my brother fears snakes, everyone loves my grandmother, and Rush Limbaugh hates Obama. I argue that things are as they appear: there are non-propositional attitudes. More specifically, I argue that there are attitudes that relate individuals to non-propositional objects and do (...) so not in virtue of relating them to propositions. I reach this conclusion by not only showing that attempted analyses of apparently non-propositional attitudes in terms of the propositional fail, but that some non-propositional attitudes don’t even supervene on propositional attitudes. If this is correct, then the common discussions of intentionality that address only propositional attitudes are incomplete and those who hold that all intentional states are propositional are mistaken. (shrink)

The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...) and Skolem. Itinerary V surveys the work in logic connected to the Hilbert school, and itinerary V deals specifically with consistency proofs and metamathematics, including the incompleteness theorems. Itinerary VII traces the development of intuitionistic and many-valued logics. Itinerary VIII surveys the development of semantical notions from the early work on axiomatics up to Tarski's work on truth. (shrink)

Over the past fifty years the philosophy of language and mind has been dominated by a nondescriptivist approach to content and reference. This book attempts to recast and systematize that approach by offering an indexical model in terms of mental files. According to Recanati, we refer through mental files, the function of which is to store information derived through certain types of contextual relation the subject bears to objects in his or her environment. The reference of a file is determined (...) relationally, not satisfactionally, so a file is not to be equated to the body of (mis-)information it contains. Mental files are the mental equivalent of singular terms, and the reference of linguistic expressions is inherited from that of the files we associate with them. On this approach, mental files, the vehicles of singular thought, do all the work of so-called 'modes of presentation' in Fregean and neo-Russellian theories. (shrink)

I argue that on very weak assumptions about truth (in particular, that there are coherent norms governing the use of "true"), there is a proposition absolutely inexpressible with conventional language, or something very close. I argue for this claim "constructively": I use a variant of the Berry Paradox to reveal a particular thought for my readership to entertain that very strongly resists conventional expression. I gauge the severity of this expressive limitation within a taxonomy of expressive failures, and argue that (...) despite its strength there is nothing incoherent about admitting its existence. The argument forms part of a project of clarifying precisely what trade-offs are required to secure the kinds of expressive power truth theorists typically want, in the process showing that the admission of very strong expressive limitations may ultimately prove to be the lesser of two evils. (shrink)

Longstanding philosophical debate over the semantics of proper names has yet to examine the distinctive behavior of deadnames, names that have been rejected by their former bearers. The use of these names to deadname individuals is derogatory, but deadnaming derogates differently than other kinds of derogatory speech. This paper examines different accounts of this behavior, illustrates what going views of names will have to say to account for it, and articulates a novel version of predicativism that can give a semantic (...) explanation for this derogation. (shrink)

El presente texto es una guía para una primera lectura de los Los fundamentos de la aritmética de Gottlob Frege para estudiantes del grado de Filosofía. -/- No pretende hacer ninguna aportación a la investigación sobre Frege sino ofrecer los instrumentos para hacer una primera lectura mediante la recopilación y la ordenación de los textos relevantes de los estudiosos de Frege, especialmente de la literatura en inglés. En la mayor parte de los casos, las referencias a otros autores (Autorfecha) preceden (...) a una traducción de los escritos referidos así como una unificación de la terminología, el recorte de lo no relevante y el añadido de las explicaciones pertinentes para hacer el texto accesible a un estudiante del grado de Filosofía. En el caso de que la cita justifique una afirmación que no se desarrolla, se verá precedida por la palabra "ver" dentro del paréntesis de la referencia. El texto usado para las citas de Los fundamentos de la aritmética es la traducción de Ulises Moulines dado que el que esto escribe no sabe alemán. La guía no supone más matemáticas que las que se estudian en los cursos anteriores a la universidad. Sin embargo, es recomendable haber hecho un curso elemental de lógica matemática y teoría de conjuntos. La razón fundamental es que la formalización de ciertas proposiciones permite aclarar extremos que se hacen muy enojosos sin esos instrumentos. (shrink)

The first work to offer a comprehensive pragmatist anthropology focusing on sensibility, habits, and human experience as contingently yet irreversibly enlanguaged.

This volume announces a new era in the philosophy of God. Many of its contributions work to create stronger links between the philosophy of God, on the one hand, and mathematics or metamathematics, on the other hand. It is about not only the possibilities of applying mathematics or metamathematics to questions about God, but also the reverse question: Does the philosophy of God have anything to offer mathematics or metamathematics? The remaining contributions tackle stereotypes in the philosophy of religion. The (...) volume includes 35 contributions. It is divided into nine parts: 1. Who Created the Concept of God; 2. Omniscience, Omnipotence, Timelessness and Spacelessness of God; 3. God and Perfect Goodness, Perfect Beauty, Perfect Freedom; 4. God, Fundamentality and Creation of All Else; 5. Simplicity and Ineffability of God; 6. God, Necessity and Abstract Objects; 7. God, Infinity, and Pascal's Wager; 8. God and (Meta-)Mathematics; and 9. God and Mind. (shrink)

Frege's theory of indirect contexts and the shift of sense and reference in these contexts has puzzled many. What can the hierarchy of indirect senses, doubly indirect senses, and so on, be? Donald Davidson gave a well-known 'unlearnability' argument against Frege's theory. The present paper argues that the key to Frege's theory lies in the fact that whenever a reference is specified (even though many senses determine a single reference), it is specified in a particular way, so that giving a (...) reference implies giving a sense; and that one must be 'acquainted' with the sense. It is argued that an indirect sense must be 'immediately revelatory' of its reference. General principles for Frege's doctrine of sense and reference are sated, for both direct and indirect quotation, to be understood iteratively. I also discuss Frege's doctrine of tensed and first person statements in the light of my analysis. The views of various other authors are examined. The conclusion is to ascribe to Frege an implicit doctrine of acquaintance similar to that of Russell. (shrink)

This paper presents a new approach to the class-theoretic paradoxes. In the first part of the paper, I will distinguish classes from sets, describe the function of class talk, and present several reasons for postulating type-free classes. This involves applications to the problem of unrestricted quantification, reduction of properties, natural language semantics, and the epistemology of mathematics. In the second part of the paper, I will present some axioms for type-free classes. My approach is loosely based on the Gödel–Russell idea (...) of limited ranges of significance. It is shown how to derive the second-order Dedekind–Peano axioms within that theory. I conclude by discussing whether the theory can be used as a solution to the problem of unrestricted quantification. In an appendix, I prove the consistency of the class theory relative to Zermelo–Fraenkel set theory. (shrink)

In this dissertation, I defend a Russellian form of descriptivism. The main supporting argument invokes a relation between meaning and thought. I argue that the meanings of sentences are the thoughts people use them to express. This is part of a Gricean outlook on meaning according to which psychological intentionality is prior to, and determinative of, linguistic intentionality. The right approach to thought, I argue in Chapter 1, is a type of functionalism on which thoughts have narrow contents. On this (...) view, the attitude ascriptions of a regimented psychology capture what people really believe and desire. These attitude ascriptions have content clauses that are what David Lewis calls ‘modified Ramsey sentences.’ I then conclude that, since the meanings of sentences are the narrow contents of the thoughts speakers use them to express, the meanings of sentences can also be represented with such descriptive sentences. I extend the view so that it applies to individual words. The resulting view is a form of descriptivism. Referring, I claim in Chapter 2, is the expression of a de re attitude. I argue that the non-psychological, de re individuation of thoughts captures only contingent features of these thoughts. Furthermore, whether a thought counts as de re depends on the attributor’s context. These two characteristics carry over to reference. The referential properties of speech acts and expressions are merely contingent features. Furthermore, whether a speech act or expression counts as referring depends upon the attributor’s context. In Chapter 3, I apply this version of descriptivism to indexicals, demonstratives and names. Indexicals turn out to have non-descriptive, context-insensitive, semantically determined meanings. Demonstratives have descriptive, context-sensitive, pragmatically determined meanings. Names, finally, have descriptive, context-insensitive, semantically determined meanings. In the final chapter, I address Putnam's model-theoretic argument, the most formidable obstacle to the form descriptivism outlined here. I criticize Lewis's ‘magnetist’ solution that invokes primitive naturalness because it is committed to the existence of incorrigible error about the external world. I suggest an empiricist approach on which psychological intentionality, and so ultimately linguistic intentionality as well, is anchored in experience. (shrink)

This paper examines to what extent Davidsonian truth-theoretic semantics can give an adequate account for empty names in natural languages. It argues that the prospect is dim because of a tension between metaphysical austerity, non-vacuousness of theorems and empirical adequacy. Sainsbury (2005) proposed a Davidsonian account of empty names called ‘Reference Without Referents’ (RWR), which explicates reference in terms of reference-condition rather than referent, thus avoiding the issue of existence. This is an inspiring account. However, it meets several difficulties. First, (...) there is no non-vacuous, interpretive truth-condition available for any T-sentence containing an empty name, because by stipulation there is no way to compose a true atomic sentence using an empty name in RWR. The absence of an interpretive truth-condition implies the absence of an interpretive reference-condition. It also entails empirical inadequacy to support an interpretation because the related propositional attitude can never be truly satisfied. These considerations cast doubt on whether truth is the proper vehicle to articulate meaning. This paper suggests that we can alleviating the problem by employing truth-conditions varying across contexts of utterance, rather than just contexts of evaluation. The result is a two-dimensional model-theoretic approach to empty names. It involves a new function coined counterfactual reference and the account is compatible with both descriptivism and Millianism. (shrink)

Universalist and nihilist answers to philosophical questions may be extreme, but they are clear enough. Aliquidist answers, by contrast, are typically caught between the Scylla of vagueness and indeterminacy and the Charybdis of ungroundedness and arbitrariness, and steering a proper middle course—saying exactly where in the middle one is going to settle—demands exceptional navigating powers. I myself tend to favor extreme answers precisely for this reason. Here, however, I consider one sense in which Something may claim superiority over its polar (...) competitors, Everything and Nothing, when it comes to answerting the ontological question, “What is there?”. (shrink)

Let propositionalism be the thesis that all mental attitudes are propositional. Anti-propositionalists typically point at apparently non-propositional attitudes, such as fearing a dog and loving a spouse, and play defense against attempts at propositional analysis of such attitudes. Here I explore the anti-propositionalist’s prospects for going on the offensive, trying to show that some apparently propositional attitudes, notably belief and judgment, can be given non-propositional analysis. Although the notion that belief is a non-propositional attitude may seem ludicrous at first, it (...) is admirably defended by Franz Brentano, whose analysis I propose to expound, update, and deepen here. The basic strategy can be thought of as follows. First, although the grammar of belief-that reports clearly suggests a propositional attitude, the grammar of belief-in reports suggests instead an ‘objectual’ attitude. Second, with some ingenuity all belief-that reports can be paraphrased into belief-in reports. Third, given certain general considerations, this paraphraseability recommends the view that the psychological reality of belief states is objectual rather than propositional. Nonetheless, I will argue, there are two very real costs associated with this non-propositional analysis of belie. (shrink)

This book is about the idea that some true statements would have been true no matter how the world had turned out, while others could have been false. It develops and defends a version of the idea that we tell the difference between these two types of truths in part by reflecting on the meanings of words. It has often been thought that modal issues—issues about possibility and necessity—are related to issues about meaning. In this book, the author defends the (...) view that the analysis of meaning is not just a preliminary to answering modal questions in philosophy; it is not merely that before we can find out whether something is possible, we need to get clear on what we are talking about. Rather, clarity about meaning often brings with it answers to modal questions. In service of this view, the author analyzes the notion of necessity and develops ideas about linguistic meaning, applying them to several puzzles and problems in philosophy of language. Meaning and Metaphysical Necessity will be of interest to scholars and advanced students working in metaphysics, philosophy of language, and philosophical logic. [See my homepage for a sample chapter.]. (shrink)

The paper presents an alternative substitutional semantics for first-order modal logic which, in contrast to traditional substitutional (or truth-value) semantics, allows for a fine-grained explanation of the semantical behavior of the terms from which atomic formulae are composed. In contrast to denotational semantics, which is inherently reference-guided, this semantics supports a non-referential conception of modal truth and does not give rise to the problems which pertain to the philosophical interpretation of objectual domains (concerning, e.g., possibilia or trans-world identity). The paper (...) also proposes the notion of modality de nomine as an alternative to the denotational notion of modality de re. (shrink)

Conceptual Engineering alleges that philosophical problems are best treated via revising or replacing our concepts (or words). The goal here is not to defend Conceptual Engineering but rather show that it can (and should) invoke Neutralism—the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. A neutralist treatment of one form of skepticism is used as a case study and is compared with various non-neutral rivals. Along (...) the way, a new taxonomy for paradox is proposed. (shrink)

“It was a peculiarly beautiful book. its smooth creamy paper, a little yellowed by age, was of a kind that had not been manufactured for at least forty years past. . . . Even with nothing written in it, it was a compromising possession. The thing that he was about to do was to open a diary. This was not illegal (nothing was illegal, since there were no longer any laws), but if detected it was reasonably certain that it would (...) be punished by death, or at least by twenty-five years in a forced-labour camp.” The Party fears blank paper. On every street corner, you can find newspapers printed With propaganda but blank paper, now that’s nearly impossible to find. For nearly half a century no more notebooks were produced, no blank papers allowed to touch the hands of the masses. This restriction seems odd. Why is blank paper dangerous? What is treacherous about a nice leather-bound book With creamy pages? The very act of Writing on a blank paper is thoughtcrime and Winston knows it. The intriguing question for us is: What’s at stake in the potential of a blank page? There is political potential in a blank page, it could contain a subversive message that could be passed on to others, yet blank paper to Write on is much Weaker than owning a manual printing press hidden in a basement. If Winston Wanted to instigate rebellion against the Party, he Would not handwrite manifestos, he should print them somehow. There’s something else going on with Writing your thoughts in a notebook, and that is related to Newspeak. (shrink)

Many currently working on a Russellian notion of perceptual acquaintance and its role in perceptual experience (including Campbell 2002a, 2002b, and 2009 and Tye 2009) treat naïve realism and indirect realism as an exhaustive disjunction of possible views. In this paper, I propose a form of direct realism according to which one is directly aware of external objects and their features without perceiving a mind-dependent intermediary and without making any inference. Nevertheless, it also maintains that the qualitative character of perceptual (...) experience is a feature of our internal states of sentient awareness and so is to be distinguished from the features of objects in the perceptual scene. On this proposal, we are pre-reflectively aware of the qualitative character of our sensations simply in virtue of having them, and we are non-inferentially aware of external objects and their features by being attuned to what the occurrence of our sensations tells us about the rest of the world. Consequently, we are presented with, and thus acquainted with, both the external objects and the qualitative character of our sensory experiences, albeit in very different ways. Drawing on resources from Perry (2001) and Searle (in draft), I explain how perceptual experience has this “two-faced presentational character”. (shrink)

In this paper, we present and discuss the findings of two experiments about reference change. Cases of reference change have sometimes been invoked to challenge traditional versions of semantic externalism, but the relevant cases have never been tested empirically. The experiments we have conducted use variants of the famous Twin Earth scenario to test folk intuitions about whether natural kind terms such as ‘water’ or ‘salt’ switch reference after being constantly (mis)applied to different kinds. Our results indicate that this is (...) indeed so. We argue that this finding is evidence against Saul Kripke’s causal-historical view of reference, and at least provisional evidence in favor of the causal source view of reference as suggested by Gareth Evans and Michael Devitt. (shrink)

The paper provides an alternative interpretation of ‘pair points’, discussed in Beall et al., "On the ternary relation and conditionality", J. of Philosophical Logic 41(3), 595-612. Pair points are seen as points viewed from two different ‘perspectives’ and the latter are explicated in terms of two independent valuations. The interpretation is developed into a semantics using pairs of Kripke models (‘pair models’). It is demonstrated that, if certain conditions are fulfilled, pair models are validity-preserving copies of positive substructural models. This (...) yields a general soundness and completeness result for a variety of (positive) substructural logics with respect to multimodal Kripke frames with binary accessibility relations. In addition, an epistemic interpretation of pair models is provided. (shrink)

This is a review of Shelly Kagan's "How to Count Animals, more or less" (2019).

Modeling is central to scientific inquiry. It also depends heavily upon the imagination. In modeling, scientists seem to turn their attention away from the complexity of the real world to imagine a realm of perfect spheres, frictionless planes and perfect rational agents. Modeling poses many questions. What are models? How do they relate to the real world? Recently, a number of philosophers have addressed these questions by focusing on the role of the imagination in modeling. Some have also drawn parallels (...) between models and fiction. This chapter examines these approaches to scientific modeling and considers the challenges they face. (shrink)

A study in philosophical methodology aimed at providing a clear view of the scope and limits of philosophical inquiry.

This dissertation looks at a set of interconnected questions concerning the foundations of probability, and gives a series of interconnected answers. At its core is a piece of old-fashioned philosophical analysis, working out what probability is. Or equivalently, investigating the semantic question of what is the meaning of ‘probability’? Like Keynes and Carnap, I say that probability is degree of reasonable belief. This immediately raises an epistemological question, which degrees count as reasonable? To solve that in its full generality would (...) mean the end of human inquiry, so that won’t be attempted here. Rather I will follow tradition and merely investigate which sets of partial beliefs are coherent. -/- The standard answer to this question, what is commonly called the Bayesian answer, says that degrees of belief are coherent iff they form a probability function. I disagree with the way this is usually justified, but subject to an important qualification I accept the answer. The important qualification is that degrees of belief may be imprecise, or vague. Part one of the dissertation, chapters 1 to 6, looks largely at the consequences of this qualification for the semantic and epistemological questions already mentioned. It turns out that when we allow degrees of belief to be imprecise, we can discharge potentially fatal objections to some philosophically attractive theses. Two of these, that probability is degree of reasonable belief and that the probability calculus provides coherence constraints on partial beliefs, have been mentioned. Others include the claim, defended in chapter 4, that chance is probability given total history. -/- As well as these semantic and epistemological questions, studies of the foundations of probability usually include a detailed discussion of decision theory. For reasons set out in chapter 2, I deny we can gain epistemological insights from decision theory. Nevertheless, it is an interesting field to study on its own, and it might be expected that there would be decision theoretic consequences of allowing imprecise degrees of belief. As I show in part two, this expectation seems to be mistaken. Chapter 9 shows that there aren’t interesting consequences of this theory for decision theory proper, and chapters 10 and 11 show that Keynes’s attempt to use imprecision in degrees of belief to derive a distinctive theory of interest rates is unsound. -/- Chapters 7 and 8 provide a link between these two parts. In chapter 7 I look at some previous philosophical investigations into the effects of imprecision. In chapter 8 I develop what I take to be the best competitor to the theory defended here – a constructivist theory of probability. On this view degrees of belief are precise, but the relevant coherence constraint is a constructivist probability calculus. This view is, I think, mistaken, but the calculus has some intrinsic interest, and there are at least enough arguments for it to warrant a chapter-length examination. (shrink)

A realist view of numbers often rests on the following thesis: statements like ‘The number of moons of Jupiter is four’ are identity statements in which the copula is flanked by singular terms whose semantic function consists in referring to a number (henceforth: Identity). On the basis of Identity the realists argue that the assertive use of such statements commits us to numbers. Recently, some anti-realists have disputed this argument. According to them, Identity is false, and, thus, we may deny (...) that the relevant statements commit us to numbers. The present paper argues that the correct linguistic analysis of the relevant number statements supports the anti-realist view that Identity is false. However, as will further be shown, pace the anti-realist, this analysis does not establish that such statements do not commit us to numbers after all. (shrink)

Most scientific models are not physical objects, and this raises important questions. What sort of entity are models, what is truth in a model, and how do we learn about models? In this paper I argue that models share important aspects in common with literary fiction, and that therefore theories of fiction can be brought to bear on these questions. In particular, I argue that the pretence theory as developed by Walton (1990, Mimesis as make-believe: on the foundations of the (...) representational arts. Harvard University Press, Cambridge/MA) has the resources to answer these questions. I introduce this account, outline the answers that it offers, and develop a general picture of scientific modelling based on it. (shrink)

It is argued that Russell before 1905 saw no value in Frege's sense/reference distinction. This is clearest in the Mont Blanc correspondence. It is argued that Russell and Frege failed to engage because Frege lacked a grasp on the internal/external relations distinction. For Russell sense is either an external relation, objectionably separating out thought and reference, or an internal relation, so what is thought is altered such that we do not know what we are talking about. The novelty of the (...) present paper lies in the arrangement of the parts and the claim that Russellian propositions are not made up of the things themselves but of transparent representatives thereof. (shrink)

"This book is valuable as expounding in full a theory of meaning that has its roots in the work of Frege and has been of the widest influence.

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)

Can humans and artificial intelligences share concepts and communicate? Making AI Intelligible shows that philosophical work on the metaphysics of meaning can help answer these questions. Herman Cappelen and Josh Dever use the externalist tradition in philosophy to create models of how AIs and humans can understand each other. In doing so, they illustrate ways in which that philosophical tradition can be improved. The questions addressed in the book are not only theoretically interesting, but the answers have pressing practical implications. (...) Many important decisions about human life are now influenced by AI. In giving that power to AI, we presuppose that AIs can track features of the world that we care about (for example, creditworthiness, recidivism, cancer, and combatants). If AIs can share our concepts, that will go some way towards justifying this reliance on AI. This ground-breaking study offers insight into how to take some first steps towards achieving Interpretable AI. (shrink)

Um dos grandes desafios da era da informação consiste em filtrar informações claras, rigorosas e atualizadas sobre tópicos importantes. O mesmo vale para a filosofia. Como encontrar conteúdo filosófico confiável em meio a milhares de artigos publicados diariamente na internet? Para ir ainda mais longe, como encontrar uma introdução a algum tópico com uma lista de referências bibliográficas atualizadas e que seja organizada por um especialista da área? Já que você começou a ler este livro, é provável que tenha ouvido (...) falar em algum momento da Enciclopédia Stanford de Filosofia, disponível gratuitamente na internet desde 1995. A página da Stanford faz exatamente isso. Ela cobre inúmeros verbetes sobre quase tudo em filosofia, oferecendo informação confiável sobre temas como feminismo, filosofia na América Latina, zumbis, metafísica e milhares de outros tópicos. A sugestão típica aos profissionais da filosofia que têm interesse em começar a estudar algum tópico, mas não sabem sequer por onde começar, é procurar pelo verbete relevante da Stanford. Infelizmente, o grande empecilho da página para o nosso contexto é que todos os verbetes estão disponíveis apenas em inglês, algo que cria um obstáculo a inúmeros estudantes e interessados que não dominam a língua. Neste sentido, acreditamos que esta publicação preencha um hiato importante na filosofia brasileira. Embora a filosofia no Brasil tenha se profissionalizado e expandido ao longo dos anos, há ainda lacunas em diversas áreas, e os verbetes foram aqui selecionados cuidadosamente no intuito de preencher ao menos algumas dessas lacunas. Este livro apresenta quatro verbetes cruciais para a filosofia, aqui divididos em quatro capítulos: (1) condições necessárias e suficientes, (2) referência (3) causação e (4) consciência. (shrink)

Livro-texto de introdução à lógica, com (mais do que) pitadas de filosofia da lógica, produzido como uma versão revista e ampliada do livro Forallx: Calgary. Trata-se da versão de 13 de outubro de 2022. Comentários, críticas, correções e sugestões são muito bem-vindos.

This second volume continues Richard Routley’s explorations of an improved Meinongian account of non-referring and intensional discourse. It focuses on the essays 2 through 7 of the original monograph, Exploring Meinong’s Jungle and Beyond, following on from the material of the first volume and explores its implications of the Noneist position. It begins with a further development of noneism in the direction of an ontologically neutral chronological logic and associated metaphysical issues concerning existence and change. What follows includes: a detailed (...) response to Quine’s On What There Is; a defense against further objections to noneism; a detailed account of Meinong’s own position; arguments in favour of noneism from common-sense; and a noneist analysis of fictional discourse. We present these essays separately and provide additional scholarly commentaries from a range of philosophers including Fred Kroon, Maria Elisabeth Reicher-Marek and a previously unpublished commentary on noneism by J.J.C. Smart. (shrink)

Language research is currently in a state of flux. The phenomenon of language is not merely the topic of investigation in linguistics, it is examined by a multitude of scholars with different scientific backgrounds. In order to examine how these various disciplines approach language, a think-tank was founded in 2002, called DITO, Dynamisch Inter(-en trans)disciplinair onderzoek, or Dynamic Inter- (and trans)disciplinary Research. The think-tank is located at the Belgian Vrije Universiteit Brussel (Free University of Brussels). This book provides short introductory (...) articles to the language research conducted by some of the think-tank’s most important members, from within the point of view of the following 5 disciplines: philosophy of evolutionary biology, cognitive science, neuroscience, sign language research and artificial intelligence. (shrink)

This is book l of three philosophy books in international language; formal academic philosophy source in Kurdish language Given overall view on classic epistemology for university student in non English language philosophy departments and philosophy schools .

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

forall x: Calgary is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity of arguments, the syntax of truth-functional propositional logic TFL and truth-table semantics, the syntax of first-order (predicate) logic FOL with identity (first-order interpretations), symbolizing English in TFL and FOL, and Fitch-style natural deduction proof systems for both TFL and FOL. It also deals with some advanced topics such as modal logic, soundness, and functional completeness. Exercises with solutions are available. (...) It is provided in PDF (for screen reading, printing, and a special version for dyslexics), HTML, and in LaTeX source code. (shrink)

An introductory textbook on metalogic. It covers naive set theory, first-order logic, sequent calculus and natural deduction, the completeness, compactness, and Löwenheim-Skolem theorems, Turing machines, and the undecidability of the halting problem and of first-order logic. The audience is undergraduate students with some background in formal logic.

Tracing the leading role of emotions in the evolution of the mind, a philosopher and a psychologist pair up to reveal how thought and culture owe less to our faculty for reason than to our capacity to feel. Many accounts of the human mind concentrate on the brain’s computational power. Yet, in evolutionary terms, rational cognition emerged only the day before yesterday. For nearly 200 million years before humans developed a capacity to reason, the emotional centers of the brain were (...) hard at work. If we want to properly understand the evolution of the mind, we must explore this more primal capability that we share with other animals: the power to feel. Emotions saturate every thought and perception with the weight of feelings. The Emotional Mind reveals that many of the distinctive behaviors and social structures of our species are best discerned through the lens of emotions. Even the roots of so much that makes us uniquely human—art, mythology, religion—can be traced to feelings of caring, longing, fear, loneliness, awe, rage, lust, playfulness, and more. From prehistoric cave art to the songs of Hank Williams, Stephen T. Asma and Rami Gabriel explore how the evolution of the emotional mind stimulated our species’ cultural expression in all its rich variety. Bringing together insights and data from philosophy, biology, anthropology, neuroscience, and psychology, The Emotional Mind offers a new paradigm for understanding what it is that makes us so unique. (shrink)

A collection of papers presented at the First International Summer Institute in Cognitive Science, University at Buffalo, July 1994, including the following papers: ** Topological Foundations of Cognitive Science, Barry Smith ** The Bounds of Axiomatisation, Graham White ** Rethinking Boundaries, Wojciech Zelaniec ** Sheaf Mereology and Space Cognition, Jean Petitot ** A Mereotopological Definition of 'Point', Carola Eschenbach ** Discreteness, Finiteness, and the Structure of Topological Spaces, Christopher Habel ** Mass Reference and the Geometry of Solids, Almerindo E. Ojeda (...) ** Defining a 'Doughnut' Made Difficult, N .M. Gotts ** A Theory of Spatial Regions with Indeterminate Boundaries, A.G. Cohn and N.M. Gotts ** Mereotopological Construction of Time from Events, Fabio Pianesi and Achille C. Varzi ** Computational Mereology: A Study of Part-of Relations for Multi-media Indexing, Wlodek Zadrozny and Michelle Kim. (shrink)

This book is an exploration and defense of the coherence of classical theism’s doctrine of divine aseity in the face of the challenge posed by Platonism with respect to abstract objects. A synoptic work in analytic philosophy of religion, the book engages discussions in philosophy of mathematics, philosophy of language, metaphysics, and metaontology. It addresses absolute creationism, non-Platonic realism, fictionalism, neutralism, and alternative logics and semantics, among other topics. The book offers a helpful taxonomy of the wide range of options (...) available to the classical theist for dealing with the challenge of Platonism. It probes in detail the diverse views on the reality of abstract objects and their compatibility with classical theism. It contains a most thorough discussion, rooted in careful exegesis, of the biblical and patristic basis of the doctrine of divine aseity. Finally, it challenges the influential Quinean metaontological theses concerning the way in which we make ontological commitments. (shrink)

Similar to Meinong, Abū Hāšim al-Ğubbāī held the view that some objects do not exist. This paper is a comparative study between Meinong’s object theory and Abū Hāšim’s theory of nonexistent objects. Our comparative study is mostly done through three topics: the characterization principle, objecthood, and the ontological status of existence. Moreover, Abū Hāšim’s theory of nonexistent objects is based on his theory of states, according to which some things, namely states, which among other things include existence, are neither existent (...) nor nonexistent. In this paper, we have also discussed two arguments on behalf of this claim and then we have examined them from a Meinongian perspective. (shrink)

This paper investigates the effects of (surface) DP-internal quantifying expressions on semantic interpretation. In particular, I investigate two syntactic constructions in which an adjective takes scope out of its embedding DP, thus raising an interesting question for strict compositionality. Regarding the first construction, I follow Larson (1999) and assume that the adjective incorporates into the determiner of its DP, forming a complex quantifier [D+A]. I present new evidence in favor of this analysis. Since Larson's semantic analysis of complex quantifiers [D+A] (...) makes a wrong prediction, I propose an alternative, empirically more adequate analysis that treats D+A compounds as pluractional quantifiers in the sense of Lasersohn (1995). Finally, I turn to the second construction, arguing that – despite superficial similarities to the first construction - it should not be analyzed in terms of complex quantifier formation, but in terms of LF-movement of the adjective to Spec,DP. The discussion suggests that there is more than one way for DP-internal modifiers to take DP-external scope in natural language. (shrink)