I draw upon Helen Steward's concept of agential settling to argue that freedom requires an ability to change the truth‐value of tenseless future contingents over time from false to true and that this ability requires a metaphysically open future.

The subject of this article is the Principle of Characterization—the most controversial principle of Alexius Meinong’s Theory of Objects. The aim of this text is twofold. First of all, to show that Bertrand Russell’s well-known objection to the Principle of Characterization can be reformulated against contemporary unrestricted interpretations of it. Second, to propose an alternative formulation of this principle. This refers to the methodology of metaphysics and is based on the distinction between pre-theoretical and theoretical languages. The proposed formulation fits (...) well with every type of contemporary interpretation of the Theory of Objects and helps to overcome Russell’s criticism. (shrink)

This paper argues that verb phrase ellipsis requires contrast. The central observation is that ellipsis is ungrammatical in tautologous conditionals; e.g., *_If John wins, then he does_. Ellipsis is correctly ruled out by a focus-based theory of ellipsis (Rooth 1992a, b ), but one that crucially imports focus’s requirement for contrast: an elliptical constituent must have an antecedent that is not merely an alternative to it, but a ‘proper’ alternative. An explanation in terms of contrast failure proves superior to alternative (...) explanations in terms of triviality and matching form. Showing as much catalogues what counts for contrast in ellipsis, encompassing negation, questions, and intensionality. Subjecting ellipsis to a contrast requirement is in direct conflict with the traditional analysis of MaxElide effects (Takahashi and Fox 2005 ), favouring alternative explanations (e.g., Jacobson 2019a, b ), perhaps in terms of contrast itself (Griffiths 2019 ). Overall, this paper establishes that contrast has explanatory power in ellipsis licensing. (shrink)

The logical analysis of Nāgārjuna’s catuṣkoṭi has remained a heated topic for logicians in Western academia for nearly a century. At the heart of the catuṣkoṭi, the four corners’ formalization typically appears as: A, Not A, Both, and Neither. The pulse of the controversy is the repetition of negations in the catuṣkoṭi. Westerhoff argues that Nāgārjuna in the Mūlamadhyamakakārikā uses two different negations: paryudāsa and prasajya-pratiṣedha. This paper builds off Westerhoff’s account and presents some subtleties of Nāgārjuna’s use of these (...) negations regarding their scope. This is achieved through an analysis of the Sanskrit and Tibetan Madhyamaka commentarial tradition and through a grammatical analysis of Nāgārjuna’s use of na and a- within a diverse variety of the catuṣkoṭi within the Mūlamadhyamakakārikā. (shrink)

The problem of the many seems to problematize the platitude that we can think about particular things in the world. How is it that, given how very many cat-like candidates there are, we often manage to think and talk about a particular cat? I argue that this challenge stems from an under-examined assumption about the relationship between metaphysics and intentionality. I explore and develop a way of characterizing what it is to think and talk about the world, according to which (...) an abundant ontology poses no obstacle to our ability to think and talk about particular things. (shrink)

In this paper, I present what I call the symmetry conception of God within 1st order, extensional, non-well-founded set theory. The symmetry conception comes in two versions. According to the first, God is that unique being that is universally symmetrical with respect to set membership. According to the second, God is the universally symmetrical set of all sets that are universally symmetrical with respect to set membership. I present a number of theorems, most importantly that any universally symmetrical set is (...) identical to its essence, that show that the two symmetry conceptions intersect with some dominant theological conceptions of God. The theorems also show that both of the symmetry conceptions of God entail that God has a fractal like structure. (shrink)

Epistemic contradictions are now a well-known and often discussed phenomenon among those who study epistemic modals. These contradictions are expressed by sentences like ‘It is raining and it might not be raining’ whose oddness to the common ear demands an explanation. However, it has turned out to be a rather controversial enterprise to provide such an explanation in a sufficiently precise and general manner. According to pragmatic explanations, epistemic contradictions are semantically consistent but pragmatically defective. According to semantic explanations, one (...) should regard epistemic contradictions as plain semantic inconsistencies. Endorsing such a semantic solution is, however, tantamount to rejecting classical logic, which predicts the consistency of epistemic contradictions. After arguing that all existing solutions to this problem face as yet unmet challenges, I will present a new solution that adequately overcomes these challenges. I will propose to view epistemic contradictions as semantically consistent but epistemically defective sentences. The main thesis emerging will be that we need neither abandon the inference rules of classical logic nor the classical truth-conditional approach to semantics to deal adequately with epistemic contradictions. (shrink)

This paper outlines an account of concessive conditionals that rests on two main ideas. One is that the logical form of a sentence as used in a given context is determined by the content expressed by the sentence in that context. The other is that a coherent distinction can be drawn between a reading of ‘if’ according to which a conditional is true when its consequent holds on the supposition that its antecedent holds, and a stronger reading according to which (...) a conditional is true when its antecedent supports its consequent. As we will suggest, the logical form of concessive conditionals can be elucidated by relying on this distinction. (shrink)

This paper is an example of how contextual information interacts with the interpretation of noun phrases (NPs) in discourse. When we encounter an NP escorted by the definite article or a proper name, the expectation is triggered that the speaker is referring to some referent x that the hearer can normally identify. Strawson and Russell have agreed that a referent must be associated with a definite description so that the assertion containing it can be said to be true. In the (...) case where a description does not refer to anything, the assertion is considered by Russell to be false, while Strawson says that the issue of truth or falsity does not arise. In this paper, we examine a case in which contextual information interacts with the interpretation of NPs in discourse and the hearer is not expected to identify a referent when hearing a proper name. In this case, the issue of truth or falsity does not arise, because the hearer does not identify the referent. In fact, s/he does not intend for the discourse to about a referent at all. These situations are primarily represented by sentences uttered during the course of a grammar lecture, in which the lecturer is explaining a rule of language and does not focus on external reality. The hearers are aware of this focus and do not process the NP (in general a proper name) to identify a specific referent. This discourse is of three types, which will be discussed at the end of this paper. -/- Keywords: reference; pragmeme; presupposition; fictional discourse; exemplification acts. (shrink)

By means of a reductio argument, Wittgenstein’s Tractatus calls into question the very idea that we can represent logical form. My paper addresses three interrelated questions: first, what conception of logical form is at issue in this argument? Second, whose conception of logic is this argument intended to undermine? And third, what could count as an adequate response to it? I show that the argument construes logical form as the universal, underlying correlation of any representation and the reality it represents. (...) I further show that the argument seeks to undermine core commitments of Frege’s and Russell’s. But the reductio, as I read it, is not intended to establish the falsity of any of their specific assumptions. Rather, its aim is to make manifest the indeterminacies that underlie the language in which these assumptions are framed, and establish the need for a transformation of that language. So understood, Wittgenstein’s argument exemplifies his idea that philosophy is not a theory, but an activity of elucidation. The interpretation I propose bears on one of the central debates in the literature, namely how we should understand Wittgenstein’s contention that his elucidations succeed despite being nonsensical. (shrink)

Introspective knowledge by acquaintance is knowledge we have by being directly aware of our phenomenally conscious states. In this paper, I argue that introspective knowledge by acquaintance is a sui generis kind of knowledge: it is irreducible to any sort of propositional knowledge and is wholly constituted by a relationship of introspective acquaintance. My main argument is that this is the best explanation of some epistemic facts about phenomenal consciousness and introspection. In particular, it best explains the epistemic asymmetry between (...) a subject who has never had a certain phenomenal state and one who has. I also consider two theoretical objections to my claim: an objection from disunity and an objection from mysteriousness. I show that these objections can be answered and that introspective knowledge by acquaintance being sui generis remains a live option on the table. (shrink)

In this paper, the authors try to clarify the relations between Meinong’s and Russell's thoughts on the ontological ideas of existence. The Meinongian theory on non-existent objects does not in itself violate the principle of non-contradiction, since the problem that this hypothesis offers to the theory of definite descriptions is not so much a logical problem as an ontological problem. To demonstrate this we will establish what we believe are the two main theses basic to the theory of descriptions: the (...) epistemological thesis and logical thesis. (shrink)

An introduction to philosophy of language since Frege, focusing on the 20th century.

Although the historical‐causal picture of reference Kripke sketches in Naming and Necessity is highly influential, Kripke in fact says very little about what reference is and how it comes about. In this paper I point out that the possibility of asking WH‐questions (i.e. ‘what?’, ‘who?’, ‘which?’) about a sound or inscription pattern (e.g., what does that refer to?) shows that in case of names especially, their reference, if there is one, will be preserved by a causal‐historical chain constituted by transmissions (...) of the (physical) patterns themselves, even in absence of language users or any linguistic intentions. I sketch out a causal‐informational theory of reference, that holds that the causal aspect of refence transmission is due to two‐factors. On the other hand there are informational chains constituted by data transmissions, on the other, also communicational rules by which speakers can interpret the data as information of something are needed. In most part the causal‐informational theory sketched in the paper can be viewed as complementing Kripke’s original causal picture. However, I will argue that Kripke's account of fixing the reference of proper names in ‘initial baptisms’ is inadequate. I will argue that most cases of seemingly fixing the reference via use of a definite description (e.g., the naming of Neptune) in fact presuppose a prior causal‐informational connection to the named object, thus essentially fixing the reference in the same way as in cases of baptism by ostension. I will further argue that in the cases that do not fall into the previous category, the baptism by definite description simply fail to fix any reference. I thus conclude that there is no such thing as fixing the reference of a proper name by definite description. (shrink)

Among philosophers, Fregeanism and sententialism are widely considered two of the leading theories of the semantics of attitude reports. Among linguists, these approaches have received little recent sustained discussion. This paper aims to bridge this divide. I present a new formal implementation of Fregeanism and sententialism, with the goal of showing that these theories can be developed in sufficient detail and concreteness to be serious competitors to the theories which are more popular among semanticists. I develop a modern treatment of (...) quantifying in for Fregeanism and sententialism, in the style of Heim and Kratzer, and then show how these theories can—somewhat surprisingly—account for “third readings” on the model of the “Standard Solution” from possible-worlds semantics. The resulting Fregean/sententialist proposal has a distinctive attraction: it treats data related to counterfactual attitudes —which have proven challenging to accommodate in the setting of possible worlds semantics—straightforwardly as third readings. (shrink)

Alonzo Church (1903–1995) was a renowned mathematical logician, philosophical logician, philosopher, teacher and editor. He was one of the founders of the discipline of mathematical logic as it developed after Cantor, Frege and Russell. He was also one of the principal founders of the Association for Symbolic Logic and the Journal of Symbolic Logic. The list of his students, mathematical and philosophical, is striking as it contains the names of renowned logicians and philosophers. In this article, we focus primarily on (...) Church’s philosophical contributions. (For an account of his life and academic history see the Introduction to The Collected Works of Alonzo Church (2019).) However, we also discuss his mathematical results when it is desirable to do so in order to pursue a philosophical issue. (shrink)

What kind of reference (if any) do terms such as “pencil,” “chair,” “television,” and so on have? On the matter, a de-bate between directly referential theorists and descriptiv-ist theorists is open. It is largely acknowledged that natural kind terms (such as “water,” “gold,” “tiger,” etc.) are directly referential expressions (cf. Putnam,1975). That is, they are expressions whose reference is determined by their refer-ents' nature, independent of whether we know or will ever know what this nature is. However, it does not (...) seem like-wise convincing that all artifactual kind terms (like “pen-cil,” “chair,” “television,” etc.) semantically behave the same. Terms for artifactual kinds seem more likely to be subjected to a descriptivist view, that is, definable not by links to their extensions' nature but in terms of conjunctions or clusters of properties. In his celebrated “The Meaning of ‘Meaning’” (1975), Hilary Putnam originated the mentioned debate by arguing that artifactual kind terms also refer directly. Thus, the discussion ultimately revolves around establishing whether artifactual and natural kind terms are both directly referential expressions. The authors engaged in this debate have tried to argue in favor of (or against) Putnam's proposal by highlighting the similarities (or differences) between nat-ural vis-à-vis artifactual kind words and their respective ref-erents. This paper aims to provide a thorough and reasoned overview of the debate at stake, pointing out trends and problems associated with each proposed account. (shrink)

In his late philosophy, Quine generalized the structuralist view in the philosophy of mathematics that mathematical theories are indifferent to the ontology we choose for them. According to his ‘global structuralism’, the choice of objects does not matter to any scientific theory. In the literature, this doctrine is mainly understood as an epistemological thesis claiming that the empirical evidence for a theory does not depend on the choice of its objects. The present paper proposes a new interpretation suggested by Quine’s (...) recently published Kant Lectures from 1980 according to which his global structuralism is a semantic thesis that belongs to his theory of ontological reduction. It claims that a theory can always be reformulated in such a way that its truth does not presuppose the existence of the original objects, but only of some objects that can be considered as their proxies. Quine derives this claim from the principle of the semantic primacy of sentences, which is supposed to license the ontological reductions he uses to establish his global structuralism. It is argued that these reductions do not actually work because they do not account for some hidden ontological commitments that are not detected by his criterion of ontological commitment. (shrink)

On the traditional relationalist conception of singular thought, a thought has singular content when it is based on an ‘information relation’ to its object. Recent work rejects relationalism and suggests singular thoughts are distinguished from descriptive thoughts by their inferential role: only thoughts with singular content can be employed in ‘direct’ inferences, or inferences that ‘trade on identity’. Firstly this view is insufficiently clear, because it conflates two distinct ideas—one about a kind of inference, the other a kind of process (...) that grounds inferences—under the title, ‘trading on identity’. Secondly, this leaves us without a notion that can be used as an alternative to relationalism about singular thought. The first notion is no more applicable to singular than to descriptive thought. The second may help us better understand singular thought, but does so, not by replacing the view that singular thoughts are information-based, but by helping us understand the nature of information-based thought. (shrink)

Just Words: On Speech and Hidden Harm, by McGowanMary Kate. Oxford: Oxford University Press, 2019. Pp. xi + 209.

Jin Yuelin’s logical and philosophical thought was deeply influenced by the philosophy of Bertrand Russell. The same influence existed also in the case of his view on truth, which was considerably close to the views maintained by Russell in his phase of logical atomism. In their investigations, Russell and Jin not only focused on similar topics, but also occupied similar philosophical positions, such as realism in the domain of ontology, empiricism in epistemology, and the correspondence theory in the domain of (...) the theory of truth. Nevertheless, Jin Yuelin’s view on truth was not only a mere imitation or recapitulation or even plagiarized copy of Russell’s, but also contained innovations and characteristics of its own. Jin, for example, emphasized certain general characteristics of truth, including the notion of truth as a relational quality, that truth is not a matter of degree, and that it is relative neither to time and space nor to the different types of knowledge. By so doing, Jin underlined the objectiveness, reliability, and transcendence of true propositions. By arguing that the correspondence theory of truth possessed strong foundations in common sense, Jin set out to defend the role of common sense in philosophy and science, maintaining that the former cannot be completely eliminated and arguing against the notion that any modification of a part of common sense would ultimately be founded on yet another segment of common sense. Moreover, Jin delivered his own response against the theory of the gap between “subject and object/the internal and the external,” which had been used to question the correspondence theory of truth, proposing a variety of cognitivist theory, which defined facts as “the given” (datum) that has been received and arranged. Most importantly, facts are cognitive constructs created on the basis of “the given” and encapsulate both subjectiveness and objectiveness. Jin Yuelin was a modern Chinese philosopher who had achieved profound erudition in both Chinese and Western thought, and, above all, an independent an profoundly original thinker. (shrink)

In recent metaphysics, the questions of whether fictional entities exist, what their nature is, and how to explain truths of statements such as “Sherlock Holmes lives at 221B Baker Street” and “Holmes was created by Arthur Conan Doyle” have been subject to much debate. The main aim of my thesis is to wrestle with key proponents of the abstractionist view that fictional entities are abstract objects that exist (van Inwagen 1977, 2018, Thomasson 1999 and Salmon 1998) as well as Walton’s (...) (1990) pretense view, which denies the existence of such entities. In the process, I propose modifications to these views to deal with problems they face and show how the modifications better account for the philosophical data. -/- Key abstractionists (van Inwagen 1977, Thomasson 1999) make a strict distinction between discourse within fiction, in which statements about literary characters cannot be literally true, and discourse about fiction, as it occurs in literary criticism, where statements about fictional characters can be literally true. Fictional objects are postulated to account for the truth of the latter. This runs into trouble because statements thought to be literally true are not literal. (Yagisawa 2001, Friend 2002) I provide a uniform analysis to account for the truth of statements involving fictional characters by appealing to a presupposition involving a metaphor in both contexts. The presupposition is that there is an x such that x is fictional; x is likened to a real person; and x is and ought to be treated/counted as a real person for all relevant intents and purposes. -/- More generally, I adopt Everett and Schroeder’s (2015) realist view that fictional characters are ideas constituted by mental representations. This, to me, better accounts for how fictional characters are created within the world’s causal nexus (unlike non-spatiotemporal entities in abstractionism), among other things. One key challenge they face is to explain how ideas can possess properties such as being a detective. I present a fine-grained version of their view, according to which the mental representations constituting fictional entities encode mind-dependent properties. Moreover, I explain how reference to such representations is possible, using Bencivenga’s (1983) Neo-Kantian view of reference and Karttunen’s (1976) view on discourse referents. Finally, I suggest that the identity of fictional characters is interest-relative. The constant, and sometimes radical, change of properties that, fictional characters can undergo is taken to be a consequence of the fact that unified mental representations are bundles of simpler mental representations. As change occurs, simpler representations are replaced by others. -/- A key theme that runs through the thesis is that neither fictionality nor pretense is relevant to the semantics of fictional sentences—a claim bolstered by Matravers’ (2014) arguments. Whether or not my account works, this claim, as well as the new philosophical data I bring up, are some of the challenges I pose to the heart of established views. (shrink)

Much of what has been discussed in the theory of reference in the last twenty-five years is strongly influenced by considerations centring on the business of devising a semantics for quantified modal logic. In this context, discussion of the property of rigidity plays an important role. This property is conceived of as a semantic modal property that distinguishes proper names from descriptions. It is argued that there is a semantic modal asym- metry between expressions of these types. In this talk (...) I shall challenge this assumption. By examining the intuitive Kripkean argument or test employed I arrive at two rather nonconformist results: Firstly, it seems that the test does not establish a genuine semantic asymmetry: Rigidity appears to be a pragmatic property. Secondly, the test does not seem to demonstrate an asymmetry at all: When applied correctly it suggests that both proper names and descriptions (even discounting notorious cases like “the even prime”) can be used rigidly—or so I shall argue. (shrink)

Mr. Russell’s Problems of Philosophy is generally considered a classic text within the history of philosophy. This is, however, not the case: every ‘original’ idea therein had been presented by Mr. Russell previously; the book is replete with unoriginal ideas; and a great deal of everything that is considered ‘philosophy’ is ignored in the book. The problematics under discussion are, ultimately, only those of Mr. Russell’s own understanding of philosophy which, as Analytic Philosophy, is quite narrow. Furthermore, what Mr. Russell (...) says in the book is not without its opponents. (shrink)

Chastain and Sawyer, among others, claim that direct cognitive relations can be initiated in evidence cases. Direct cognitive relations will here include Chastain’s knowledge-of and Sawyer’s trace-based acquaintance, as well as related notions such as having-in-mind and singular thought. Against this controversial claim, it is often objected that such cases are better understood as cases of inference rather than cases of direct thought. When one detects something by its footprint, the objection goes, one merely infers that it exists rather than (...) thinking of it directly. The goal of this paper is to analyze what is meant by the inference objection and consider several possible responses to it. Ultimately, I will not offer a knock-down argument against the inference explanation; in fact, I’ll try to explain why I suspect one isn’t possible. Instead, I’ll appeal to the possibility of misdescription and analogous cases involving non-human animals to show that the inference explanation is less plausible than the account to which it provides an alternative. (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)

I observe that the “concept-generator” theory of Percus and Sauerland (2003), Anand (2006), and Charlow and Sharvit (2014) does not predict an intuitive true interpretation of the sentence “Plato did not believe that Hesperus was Phosphorus”. In response, I present a simple theory of attitude reports which employs a fine-grained semantics for names, according to which names which intuitively name the same thing may have distinct compositional semantic values. This simple theory solves the problem with the concept-generator theory, but, as (...) I go on to show, it has problems of its own. I present three examples which the concept-generator theory can accommodate, but the simple fine-grained theory cannot. These examples motivate the full theory of the paper, which combines the basic ideas behind the concept-generator theory with a fine-grained semantics for names. The examples themselves are of interest independently of my theory: two of them constrain the original concept-generator theory more tightly than previously discussed examples had. (shrink)

CAT4 is proposed as a general method for representing information, enabling a powerful programming method for large-scale information systems. It enables generalised machine learning, software automation and novel AI capabilities. This is Part 3 of a five-part introduction. The focus here is on explaining the semantic model for CAT4. Points in CAT4 graphs represent facts. We introduce all the formal (data) elements used in the classic semantic model: sense or intension (1st and 2nd joins), reference (3rd join), functions (4th join), (...) time and truth (logical fields), and symbolic content (name/value fields). Concepts are introduced through examples alternating with theoretical discussion. Some concepts are assumed from Part 1 and 2, but key ideas are re-introduced. The purpose is to explain the CAT4 interpretation, and why the data structure and CAT4 axioms have been chosen: to make the semantic model consistent and complete. We start with methods to translate information from database tables into graph DBs and into CAT4. We conclude with a method for translating natural language into CAT4. We conclude with a comparison of the system with an advanced semantic logic, the hyper-intensional logic TIL, which also aims to translate NL into a logical calculus. The CAT4 Natural Language Translator is discussed in further detail in Part 4, when we introduce functions more formally. Part 5 discusses software design considerations. (shrink)

Contrary to received opinion, the Aristotelian Square of Opposition (square) is logically sound, differing from standard modern predicate logic (SMPL) only in that it restricts the universe U of cognitively constructible situations by banning null predicates, making it less unnatural than SMPL. U-restriction strengthens the logic without making it unsound. It also invites a cognitive approach to logic. Humans are endowed with a cognitive predicate logic (CPL), which checks the process of cognitive modelling (world construal) for consistency. The square is (...) considered a first approximation to CPL, with a cognitive set-theoretic semantics. Not being cognitively real, the null set Ø is eliminated from the semantics of CPL. Still rudimentary in Aristotle’s On Interpretation (Int), the square was implicitly completed in his Prior Analytics (PrAn), thereby introducing U-restriction. Abelard’s reconstruction of the logic of Int is logically and historically correct; the loca (Leaking O-Corner Analysis) interpretation of the square, defended by some modern logicians, is logically faulty and historically untenable. Generally, U-restriction, not redefining the universal quantifier, as in Abelard and loca, is the correct path to a reconstruction of CPL. Valuation Space modelling is used to compute the effects of U-restriction. (shrink)

In this paper, I provide a brief overview of the development of analytic philosophy in the Philippines. I first highlight the circumstances that led to its inception in the late 1930s, and some of the notable works by prominent Filipino analytic philosophers that helped shape the tradition. Next, I discuss the socio-political climate in the late 1950s through the 1970s that may have led some Filipino philosophers to move away from analytic philosophy. Finally, I explore some signs of its re-emergence (...) in the late twentieth century and its possible trajectories in the twenty-first century. (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)

forall x: Dortmund is an adaptation and German translation of forall x: Calgary. As such, it is a full-featured textbook on formal logic. It covers key notions of logic such as consequence and validity, the syntax of truth-functional (propositional) logic and truth-table semantics, the syntax of first-order (predicate) logic with identity and first-order interpretations, formalizing German 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 the (...) syntax and (Kripke-)semantics of modal logic. The book is provided in PDF and in LaTeX source code. A booklet with solutions for the exercises in the book is available. (shrink)

Past work has shown systematic differences between Easterners' and Westerners' intuitions about the reference of proper names. Understanding when these differences emerge in development will help us understand their origins. In the present study, we investigate the referential intuitions of English- and Chinese-speaking children and adults in the U.S. and China. Using a truth-value judgment task modeled on Kripke's classic Gödel case, we find that the cross-cultural differences are already in place at age seven. Thus, these differences cannot be attributed (...) to later education or enculturation. Instead, they must stem from differences that are present in early childhood. We consider alternate theories of reference that are compatible with these findings and discuss the possibility that the cross-cultural differences reflect differences in perspective-taking strategies. (shrink)

Este artigo é uma breve introdução à filosofia da linguagem. Ele se concentra nos problemas que surgem a partir de dois conceitos centrais: referência e significado. Em particular, o foco central é no problema fundacional da referência e no problema descritivo do significado, assim como a relação entre eles. Embora esta de modo algum seja uma introdução exaustiva ao tema, muitos conceitos centrais são clarificados, como por exemplo teoria da referência, termo singular, termo geral, teoria do significado, composicionalidade, conteúdo, significado (...) linguístico, implicatura conversacional, vagueza, etc. Espera-se que sirva como um primeiro contato com a disciplina, principalmente voltado a estudantes de filosofia, filosofia da linguagem e áreas afins. (shrink)

The article discusses the reasons why modern formal semantics of natural language is an integral part of a larger philosophical research program for the study of the nature of intentionality. The purpose of this article is to show how research in the field of formal semantics of natural language became the implementation of a large philosophical research program that is focused on the nature of intentional objects, which since the time of F. Brentano have been considered an integral part of (...) mental phenomena. Mental phenomena are opposed to physical phenomena due to their inherent intentionality. In modern philosophy, it is commonly considered that the comprehension of the nature of intentionality is the key to understanding the nature of consciousness, and, consequently, the nature of man. The article shows that formal semantics represents the structure of the meaning of linguistic expressions, with the help of which human thought is formed, which is one of the main objects of intentional consciousness. In formal semantics, this representation is carried out in a rigorous, systematic, and empirically verifiable way on the basis of natural languages, that is, on those symbolic systems that real people use in real practice to shape their thoughts. The research is based on the works of G. Frege, who laid the foundation for the formal-semantic methodology. Thus, the answer is given to the question of why modern formal linguistics, which originates in the analytical philosophy of the 20th century, is a philosophically significant discipline. This response is a reaction to the objections of skeptics who believe that modern analytic philosophy cannot be considered a direction that has any serious philosophical significance. (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)

Uma das características mais interessantes da filosofia é sua capacidade de revelar problemas difíceis em lugares inesperados. É precisamente isto que ocorre com o caso dos nomes próprios. Usamos nomes cotidianamente para selecionar ou fazer referência a objetos particulares, e depois podermos dizer algo sobre eles. Talvez o leitor diga a um colega que gostaria de estar tomando um café em Paris, ao invés de gastar tempo lendo mais um livro de filosofia. Neste caso, estará usando o nome “Paris” para (...) se referir a um lugar específico do universo. O que você acaba de fazer não é meramente proferir um som, mas proferir um som que de alguma forma lhe permite selecionar uma localidade específica dentre todas as outras do universo. É desta localidade que você fala. Mas como isto é possível? Que tipo de mecanismo garante a alguém o poder de proferir um nome e, com isto, selecionar um particular específico dentre todos os outros do universo? Este é o problema da referência singular dos nomes próprios. O presente livro é sobre este problema. -/- . (shrink)

There is tension between commonly held views concerning phenomenal imagery on the one hand and our first-person epistemic access to it on the other. This tension is evident in many individual issues and experiments in philosophy and psychology (e.g. inattentional and change blindness, the speckled hen, dream coloration, visual periphery). To dissolve it, we can give up either (i) that we lack full introspective access to the phenomenal properties of our imagistic experiences, or (ii) that phenomenal imagery is fully determined, (...) or (iii) that phenomenal imagery does not exist. Which option is preferable? I explore the feasibility of option (ii) in more details by distinguishing between di erent kinds of indeterminacy. One of the most often proclaimed versions of indeterminacy is tied to Representationalism. However, I argue that in this context, Representationalism appears to be the least satisfying option, for which I give ten reasons. By abduction, we should reject Representationalism in favour of (i) or (iii)—the most parsimonious option being eliminativism, and the most conservative being the rejection of privileged access. The decision between these two, however, should be made on a case-by-case basis, depending on which is most adequate given the data. I illustrate this with the comparison between visual agnosia and Charles-Bonnet-Syndrome. (shrink)

In the old days of descriptivism, fictional reference and non-fictional reference with proper names were treated on a par. Descriptivism was not an intuitive theory, but it meritoriously provided a unitary semantic account of names, whether referentially full or empty. Then the revolution of the new theory of reference occurred. This new theory is definitely more intuitive than descriptivism, yet it comes with a drawback: the referentially full use and the referentially empty use, notably the fictional use, of names are (...) semantically no longer on the same footing. How the use of names from fiction is referentially empty has even been seen as a symptom of its not being a use at all. In this paper, I ask the following question: can one keep the merits of the new theory of reference and still provide a unitary account of both fictional and non-fictional reference with names? My answer is positive, provided that one conceives proper names as a special kind of indexicals. (shrink)

There are two families of influential and stubborn puzzles that many theories of aboutness (intentionality) face: underdetermination puzzles and puzzles concerning representations that appear to be about things that do not exist. I propose an approach that elegantly avoids both kinds of puzzle. The central idea is to explain aboutness (the relation supposed to stand between thoughts and terms and their objects) in terms of relations of co-aboutness (the relation of being about the same thing that stands between the thoughts (...) and terms themselves). (shrink)

In order to understand a sentence, one must know the relevant semantic rules. Those rules are not learned in a vacuum; they are given to one through one's senses. As a result, knowledge of semantic rules sometimes comes bundled with semantically irrelevant, but cognitively non-innocuous, knowledge of the circumstances in which those rules were learned. Thus, one must work through non-semantic information in order to know what is literally meant by a given sentence-token. A consequence is that one's knowledge of (...) what is literally meant by a given sentence-token is sometimes embedded in non-semantic knowledge, resulting in a cleavage between what that sentence-token literally means and what the auditor in question takes it to mean. Such deviations obviously have nothing to do with the principles put forth by Grice, since those principles only concern sentence-tokens that have already been understood---since, to put it another way, those principles only concern post-semantic implicature. The just-described deviations are appropriately described as being due to "pre-semantic implicature." Given the phenomenon of pre-semantic implicature, it is easily shown that Russell's Theory of Descriptions, if taken as a theory of literal meaning, is false. In the present volume, these rather elementary principles are entirely ignored, and all of the articles in it are sterile repetitions of the points made by Russell and Strawson. The blinkered approach to language embodied in this volume must be reconsidered in light of psychological principles relating to language-acquisition and language-use. Unfortunately, analytic philosophers shy away from such topics, as is made clear by the papers in this grim volume. (shrink)

Globalisation Considering the Multitude of Worlds This book deals with globalisation, its foundations, its rise and fall and the question of its future. It discusses the conditions that have led, each in its own way, to the reduction of the many worlds to one. The first foundations were laid in the time of the discoveries, the earth was recognised and measured as a unified space. Missionary work and colonisation have made the geographical unit into a unity of fundamental beliefs, values (...) and Western European languages. The brisk trade with the colonies also unified the financial and economic situation of the conquered foreign worlds, which were managed according to Western patterns. The small gain of the political independence of the states achieved in the decolonisation movement was unfortunately destroyed by the great losses already suffered in the area of the fundamental values of the original worlds, their languages, their ways of living, their faith. In the new situation it became apparent that the economic dependence on the former colonial states was increasing rather than decreasing, the way of doing politics had remained by habit that of the colonial powers. Decolonisation was not a way back to the old world. Two metaphysical assumptions of globalisation are discussed in more detail. One is the assumption of realism that the world is one. This assumption justifies missionary and colonialist action. On the other hand, there is the thesis of liberalism that the being of the beings is its economic value. Against the realistic assumption of the one world, arguments are put forward which justify and make plausible the opposite assumption of a multitude of worlds. Now that the world is de facto one thanks to globalisation, and now that it is suffering from problems that affect all people, a new kind of globalisation is needed, one that recognises and respects different worlds on the one hand, but is nevertheless capable of tackling environmental, financial and social problems together. Depending on the subject, two very different ways of reasoning are used. In the preparatory historical part, the arguments are empirical and stick to details; in the part dealing with the justification of the multiplicity of worlds, the argumentation is theoretical, not to say speculative. (shrink)

What does it take for Islam and science to engage in a genuine conversation with each other? This essay is an attempt to answer this question by clarifying the conditions which make having such a conversation possible and plausible. I will first distinguish between three notions of conversation: the trivial conversation (which requires sharing a common language and the meaning of its ordinary expressions), superficial conversation (in which although the language is shared, the communicators fail to share the meaning of (...) their theoretical terms), and genuine conversation (which implies sharing the language and the meaning of ordinary as well as theoretical terms). I will then argue that our real concern with regard to the exchange between Islam and science is to be to specify the conditions under which their proponents can engage in a genuine conversation with each other and that such a conversation to take place essentially requires sharing a common ontology. Following Quine, I will argue that Muslims, like the followers of any religion, would have no other choice but to work from within science. Doing so, however, would not prevent Muslims from having a genuine conversation with the proponents of other worldviews because when the shared ontology fails to offer any potentially testable answer to our remaining questions about the world, the Islamic viewpoint can appear as a genuine alternative among other underdetermined ones, deciding between which would be a matter of pragmatic criteria. (shrink)

The relationship between “character” and an “actor” appears to be quite straightforward: an actor acts as/plays character [x]. But let us be more specific and reword this formulation: actor [y] acts as/plays Hamlet. Or – for the time of the play – actor [y] is Hamlet. And it is this last statement that is paradoxically utterly true and utterly false. It is in the name of a theatrical character that the tension between actor and character arises. Asking, for example, who (...) is Hamlet? yields an answer where both actor and character have legitimate exclusive rights to being “Hamlet.” In short, to whom/what does the name of a theatrical character refer? By first arguing that theatre works as a reverse-“beetle” language-game, whereby I posit that theatre allows for private rule-making, I am able to turn to the idea of reference. It is by examining the name of theatrical characters and what these names refer to that I suggest that – following Hegel – theatrical names refer dialectically. Understanding theatrical characters as such, interpretation hinges not only on the output of theatre (i.e., the meaning), but also the input (i.e., the truth value). (shrink)

One of the central questions of discourse dynamics is when an anaphoric pronoun is licensed. This paper addresses this question as it pertains to the complex data involving anaphora and negation. It is commonly held that negation blocks anaphoric potential, for example, we cannot say “Bill doesn’t have a car. It is black”. However, there are many exceptions to this generalization. This paper examines a variety of types of discourses in which anaphora on indefinites under the scope of negation is (...) felicitous. These cases are not just of intrinsic interest, but I argue present serious problems for the dynamic semantic framework, which builds the licensing facts into the semantics. I argue in favor of adopting a dynamic pragmatics, a theory that explains context change through general Gricean principles, and combining it with a static, d-type theory of anaphora, in which pronouns go proxy for definite descriptions. (shrink)