The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds (...) of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification. (shrink)

This paper concerns Tarski’s use of the term “model” in his 1936 paper “On the Concept of Logical Consequence.” Against several of Tarski’s recent defenders, I argue that Tarski employed a non-standard conception of models in that paper. Against Tarski’s detractors, I argue that this non-standard conception is more philosophically plausible than it may appear. Finally, I make a few comments concerning the traditionally puzzling case of Tarski’s ω-rule example.

A theory of truth is usually demanded to be consistent, but -consistency is less frequently requested. Recently, Yatabe has argued in favour of -inconsistent first-order theories of truth, minimising their odd consequences. In view of this fact, in this paper, we present five arguments against -inconsistent theories of truth. In order to bring out this point, we will focus on two very well-known -inconsistent theories of truth: the classical theory of symmetric truth FS and the non-classical theory of naïve truth (...) based on ᴌukasiewicz infinitely valued logic: PAᴌT. (shrink)

Many of Tarski’s better known papers are either about or include lengthy discussions of how to properly define various concepts: truth, logical consequence, semantic concepts, or definability. In general, these papers identify two primary conditions for successful definitions: formal correctness and material adequacy. Material adequacy requires that the concept expressed by the formal definition capture the intuitive content of truth. Our primary interest in this paper is to better understand Tarski’s thinking about material adequacy, and whether components of his view (...) developed over time. More precisely, we are concerned with how Tarski’s understanding of the content of the common-sense, every-day usage of truth may have developed over time. We distinguish this concern from the character of the extensional criterion of adequacy Tarski proposes: that a materially adequate definition must entail all instances of Convention T. We will develop our reading of Tarski as follows: first, we will review the “Polemical Remarks,” focusing primarily on §§14 and 17, and Tarski’s references to Naess’ empirical research. Next, we will provide a summary and discussion of Naess’ work, especially his findings with respect to Tarski’s definition of truth and his research that suggests there is no single common or everyday concept of truth. Third, we will consider several possible objections to our interpretation of the Tarski–Naess dialectic. We will conclude that Tarski’s conception of material adequacy developed over time, potentially because of what he had learned through his interactions with Naess. (shrink)

The time has come to consider whether experimental philosophy’s (“x-phi”) early arguments, debates, and conceptual frameworks, that may have worn well in its early days, fit with the diverse range of projects undertaken by experimental philosophers. Our aim is to propose a novel taxonomy for x-phi that identifies four paths from empirical findings to philosophical consequences, which we call the “fourfold route.” We show how this taxonomy can be fruitfully applied even at what one might have taken to be the (...) furthest edges of possible applications of x-phi in metaphysics and formal philosophy. Ultimately, the fourfold route helps us understand a different kind of empirical fact: the development of x-phi itself. (shrink)

In this paper I respond to Jacquette’s criticisms, in (Jacquette, 2008), of my (Barker, 2008). In so doing, I argue that the Liar paradox is in fact a problem about the disquotational schema, and that nothing in Jacquette’s paper undermines this diagnosis.

In this paper, we present a non-trivial and expressively complete paraconsistent naïve theory of truth, as a step in the route towards semantic closure. We achieve this goal by expressing self-reference with a weak procedure, that uses equivalences between expressions of the language, as opposed to a strong procedure, that uses identities. Finally, we make some remarks regarding the sense in which the theory of truth discussed has a property closely related to functional completeness, and we present a sound and (...) complete three-sided sequent calculus for this expressively rich theory. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

A new approach to truth is offered which dispenses with the truth predicate, and replaces it with a special kind of quantifier which simultaneously binds variables in sentential and nominal positions. The resulting theory of truth for a (first-order) language is shown to be able to handle blind truth ascriptions, and is shown to be compatible with a characterization of the semantic and syntactic principles governing that language. Comparisons with other approaches to truth are drawn. An axiomatization of AU-quantifiers and (...) a model theory for them is given, and an appendix contains a completeness proof. (shrink)

I revisit my earlier arguments for the (trivial) inconsistency of natural languages, and take up the objection that no such argument can be established on the basis of surface usage. I respond with the evidential centrality of surface usage: the ways it can and can't be undercut by linguistic science. Then some important ramifications of having an inconsistent natural language are explored: (1) the temptation to engage in illegitimate reductio reasoning, (2) the breakdown of the knowledge idiom (because its facticity (...) isn't comfortable with every sentence being true and false). Restoring the utility of the knowledge idiom motivates regimentation - the consistentist reinterpretation of natural language inferences (as they occur in real time). It's then sketched how to give the semantics of a natural language despite its inconsistency: Necessary and sufficient truth conditions are dropped in favor of necessary truth conditions and sufficient truth conditions. (shrink)

It is argued that the blind ascriptive role for the word true, its use, that is, in conjunction with descriptions of classes of sentences or with proper names of sentences (but not quote-names), is one which applies indiscriminately to sentences regardless of whether these are in languages we speak, can understand, or can translate into sentences that we do speak (and understand). Formal analogues of the ordinary word true as they arise in Tarskis seminal work, and in others, cannot replicate (...) this essential role of the ordinary word true. (shrink)

First, I discuss the older “theory-centered” and the more recent semantic conception of scientific theories. I argue that these two perspectives are nothing more than terminological variants of one another. I then offer a new theory-centered view of scientific theories. I argue that this new view captures the insights had by each of these earlier views, that it’s closer to how scientists think about their own theories, and that it better accommodates the phenomenon of inconsistent scientific theories.

There are several epistemic distinctions among truths that I have argued for in this paper. First, there are those truths which holdof every rationally accessible conceptual scheme (class A truths). Second, there are those truths which holdin every rationally accessible conceptual scheme (class B truths). And finally, there are those truths whose truthvalue status isindependent of the empirical sciences (class C truths). The last category broadly includes statementsabout systems and the statements they contain, as well as statements true by virtue (...) of the rules of language itself.At the risk of anachronism, I'll describe the positions of Carnap (1956); Quine (1980); Grice et al. (1956); the various Putnam's and myself in terms of the above distinctions: both Carnap and Quine (pretty much) think there are no class A or class B truths. Both Putnam (1975) and Putnam (1983c) think there are class A and class B truths, and that these classes overlap. I deny there are class B truths but affirm the existence of class A truths (although I haven't given explicit examples of the latter here). Finally, everyone here but Quine (1980) thinks there are class C truths (of one sort or another). Putnam (1975) attempts to show that certain class C truths are simultaneously class A and class B truths. Grice et al. (1956) take pains to distinguish the claim that there are class C truths from the claim that there are class A truths, and claim (against Quine, 1980) that no argument showing there are no class A truths shows there are no class C truths.On my interpretation of Quine (1980) he thinks that the nonexistence of class A truths shows there are no class C truths-given the extra bit of argument that a notion of ‘true by convention’ or ‘true by virtue of meaning’ without epistemic content, is a distinction without significance. But that issue, which is the one Grice et al. (1956) are concerned with, has not been the focus in this paper-and so in a sense I have shifted the terms of the original debate.Here I have been primarily concerned to distinguish epistemic notions and sort out how and in what ways they relate to each other. A primary tool in this exercise has been the explicit recognition that formal models of truth make universality an unlikely property of our conceptual schemes. If I have not convinced anyone that the epistemic notions sort out the way I think they do, I hope at least that some burden-shifting has occurred: that philosophers do not either take it for granted that certain notionsmust be expressible in any conceptual scheme or treat the fact that conceptual schemes must be (in some sense) limited as of little (philosophical) moment.On the other hand, if I am right about the epistemology, it follows that previous attempts to mark out the necessary structures in rationally accessible conceptual schemes via a priori truths is hopeless. What I think must replace their role, what I call globally incorrigible sets of sentences, is a topic for another time. (shrink)

It is a common criticism of presentism – the view according to which only the present exists – that it errs against truthmaker theory. Recent attempts to resolve the truthmaker objection against presentism proceed by restricting truthmaker maximalism (the view that all truths have truthmakers), maintaining that propositions concerning the past are not made true by anything, but are true nonetheless. Support for this view is typically garnered from the case for negative existential propositions, which some philosophers contend are exceptions (...) to truthmaker maximalism. In this article, we argue that a ‘no truthmakers’ approach to the truthmaker objection is critically flawed. (shrink)

This paper explores the nature of the concept of truth. It does not offer an analysis or definition of truth, or an account of how it relates to other concepts. Instead, it explores what sort of concept truth is by considering what sorts of thoughts it enables us to think. My conclusion is that truth is a part of each and every propositional thought. The concept of truth is therefore best thought of as the ability to token propositional thoughts. I (...) explore what implications this view has for existing accounts of concepts, and argue that truth is a concept unlike any other. (shrink)

The Duhem-Quine thesis famously holds that a single hypothesis cannot be confirmed or disconfirmed in isolation, but instead only in conjunction with other background hypotheses. This article argues that this has important and underappreciated implications for metaethics. Section 1 argues that if one begins metaethics firmly wedded to a naturalistic worldview—due (e.g.) to methodological/epistemic considerations—then normativity will appear to be reducible to a set of social-psycho-semantic behaviors that I call the ‘normative stance.’ Contra Hume and Bedke (2012), I argue that (...) the normative stance provides semantically-grounded entailments from natural truths to normative truths, reducing the latter to the former. Specifically, the normative stance explains the truth-conditions, truth-values, and truth-makers of normative propositions in terms of socially grounded cognitive-behavioral rules and other natural facts, thus explaining how there can be bona fide normative facts and properties in a wholly naturalistic world. I then show that the normative stance explains the apparent stance-independence and non-naturalness of normative reasons, intrinsic value, and categoricity of moral reasons as ‘user-illusions’ generated by people having strong psycho-social propensities—rooted in evolution and social cooperation—to take these normative stances. Section 2 then argues that while the normative stance may appear to naturalists to successfully explain normativity, it will not appeal to those who come to metaethics with different background commitments. I conclude that naturalists should take the normative stance to be a promising metaethical theory of normativity, and that whether it is a true theory of normativity is something that can only be ascertained by determining which background hypotheses—naturalistic or otherwise—we should have when doing metaethics. (shrink)

The question “what is an interpretation?” is often intertwined with the perhaps even harder question “what is a scientific theory?”. Given this proximity, we try to clarify the first question to acquire some ground for the latter. The quarrel between the syntactic and semantic conceptions of scientific theories occupied a large part of the scenario of the philosophy of science in the 20th century. For many authors, one of the two currents needed to be victorious. We endorse that such debate, (...) at least in the terms commonly expressed, can be misleading. We argue that the traditional notion of “interpretation” within the syntax/semantic debate is not the same as that of the debate concerning the interpretation of quantum mechanics. As much as the term is the same, the term “interpretation” as employed in quantum mechanics has its meaning beyond (pure) logic. Our main focus here lies on the formal aspects of the solutions to the measurement problem. There are many versions of quantum theory, many of them incompatible with each other. In order to encompass a wider variety of approaches to quantum theory, we propose a different one with an emphasis on pure formalism. This perspective has the intent of elucidating the role of each so-called “interpretation” of quantum mechanics, as well as the precise origin of the need to interpret it. (shrink)

In his Doppelvortrag, Edmund Husserl introduced two concepts of “definiteness” which have been interpreted as a vindication of his role in the history of completeness. Some commentators defended that the meaning of these notions should be understood as categoricity, while other scholars believed that it is closer to syntactic completeness. A detailed study of the early twentieth-century axiomatics and Husserl’s Doppelvortrag shows, however, that many concepts of completeness were conflated as equivalent. Although “absolute definiteness” was principally an attempt to characterize (...) non-extendible manifolds and axiom systems, an absolutely definite theory has a unique model and, thus, it is non-forkable and semantically complete. Non-forkability and decidability were formally delimited by Fraenkel and Carnap almost three decades later and, in fact, they mentioned Husserl as precursor of the latter. Therefore, this paper contributes to a reassessment of Husserl’s place in the history of logic. (shrink)

Between the two horns of Jørgensen's dilemma, the authors opt for that according to which logic deals not only with truth and falsity but also with those concepts not possessing this semantic reference. Notwithstanding the “descriptive” prejudice, deontic logic has gained validity among modal logics. The technical foundation proposed consists in an abstract characterization of logical consequence. By identifying in the abstract notion of consequence the primitive from which to begin, it is possible to define the connectives - even those (...) of obligation - by means of the rules of introduction or elimination in a context of derivation. (shrink)

In this work, we will approach some essential questions about the collective imaginary and their relations with reality and truth. We should face this subject in a conceptual framework, followed by the corresponding factual analysis of demonstrable behavioral realities. We will adopt not only the methodology, but mostly the tenets and propositions of the analytic philosophy, which certainly will be apparent throughout the study, and may be identified by the features described by Perez : -/- Rabossi (1975) defends the idea (...) that analytic philosophy can be identified by considering certain family resemblances. He suggests the following family traits: a positive attitude toward scientific knowledge; a cautious attitude toward metaphysics; a conception of philosophy as a conceptual task, which takes conceptual analysis as a method; a close relationship between language and philosophy; a concern with seeking argumentative answers to philosophical problems; search for conceptual clarity Perez, Diana Ines, "Analytic Philosophy in Latin America”, The Stanford Encyclopedia of Philosophy ). These core concepts involve cultural, social, religious, scientific, philosophic, moral, and political contents, belonging to the individual and collective existence of each one of us. The present work grounds itself on analytical reflection. We will speculate the most comprehensive and profound way we can and express the results of our thoughts. Notwithstanding the multidisciplinary nature of the subject and the methodological openness for accepting contributions from any field of science, this work belongs to the aim of psychology and ontology or, in other terms, social and ontological psychology. The main scope of this paper is to observe how some essential evolutionary attributes of humankind, like creativity, imagination, and association, can become a hazardous sickness, sheltered in the misty shadows of the intelligence. (shrink)

On the basis of careful textual exegesis and philosophical analysis, and contrary to the received view, Mark R. Wheeler demonstrates that Aristotle presents and systematically explicates his definition of the essence of the truth in the Metaphysics. Aristotle states the nominal definitions of the terms "truth" and "falsehood" as part of his arguments in defense of the logical axioms. These nominal definitions express conceptions of truth and falsehood his philosophical opponents would have recognized and accepted in the context of dialectical (...) argument. On the basis of these nominal definitions, Aristotle develops his definitions of the essences of truth and falsehood--his "real" definitions of truth and falsehood. Aristotle's methodical exposition of his essential definitions of truth and falsehood in the Metaphysics serves as a well-developed example of how his philosophical inquiry starts with nominal definitions and ends with real definitions. Wheeler also argues for the novel claim that Aristotle defines the most fundamental kind of truth in terms of accurate measurement. Aristotle's metrical conception of truth serves as the theoretical basis for specifying the truth conditions of various assertions, for identifying the sorts of beings implicated in these truth conditions, and for explaining the nature of approximate truth and falsehood. Far from offering us a minimal account of truth, Wheeler shows how Aristotle offers us a sophisticated and metrical theory of truth. (shrink)

If the conclusion of the Tarski Undefinability Theorem was that some artificially constrained limited notions of a formal system necessarily have undecidable sentences, then Tarski made no mistake within his assumptions. When we expand the scope of his investigation to other notions of formal systems we reach an entirely different conclusion showing that Tarski's assumptions were wrong.

Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

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

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (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)

Discusses the conditions of possibility for intercultural and comparative philosophy, and for crosscultural communication at large. This innovative book explores the preconditions necessary for intercultural and comparative philosophy. Philosophical practices that involve at least two different traditions with no common heritage and whose languages have very different grammatical structure, such as Indo-Germanic languages and classical Chinese, are a particular focus. Lin Ma and Jaap van Brakel look at the necessary and not-so-necessary conditions of possibility of interpretation, comparison, and other forms (...) of interaction and how we can speak of similarities and differences in this context. The authors posit that it is necessary to dissolve the question of universalism versus relativism by replacing the ideal language paradigm with a paradigm of family resemblances and that it is not necessary to share a common language to engage in comparison. Numerous case studies are presented, including many comparisons of Western and Chinese concepts. (shrink)

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

Contemporary philosophy often chants the mantra, ‘Philosophy is continuous with science.’ Now Shepanski gives it a clear sense, by extracting from W. V. Quine’s writings an explicit normative epistemology – i.e. an explicit set of norms for theorizing – that applies to philosophy and science alike. It is recognizably a version of empiricism, yet it permits the kind of philosophical theorizing that Quine practised all his life. Indeed, it is that practice, more than any overt avowals, that justifies attributing this (...) set of norms to Quine. -/- The Quinean epistemology is supported by a metaphilosophy that judges epistemologies by the tenability of their consequences. Shepanski explores the Quinean epistemology’s consequences for inductive and abductive inference, for mathematical entities, for science and for common sense. Moreover, he finds that it continues to be fruitful, as illustrated by a case study in which Quinean methods lead to a new formal treatment of the propositional attitudes. Finally, there is critical discussion of popular alternative views, including foundationalism, the centrality of knowledge, and Quine’s own epistemological naturalism. -/- By focusing on Quine’s normative epistemology, Shepanski illuminates a part of Quine’s thought that has hitherto been insufficiently discussed, and provides a tractable starting point for readers who are new to Quine. Most importantly, he isolates the part of Quine’s thought that has the greatest potential impact outside epistemology, outside philosophy of language, and even outside philosophy. (shrink)

Este trabajo abordará cuestiones esenciales sobre el imaginario colectivo y sus relaciones con la realidad y la verdad. Primero, debemos abordar este tema dentro de un marco conceptual, seguido del correspondiente análisis fáctico de realidades conductuales demostrables. Adoptaremos no solo la metodología, sino sobre todo los principios y proposiciones de la filosofía analítica, que seguramente quedarán patentes a lo largo del estudio y podrán identificarse por las características descritas por Pérez. : Rabossi (1975) sostiene que la filosofía analítica puede identificarse (...) considerando ciertos parecidos familiares. Sugiere los siguientes rasgos familiares: una actitud positiva hacia el conocimiento científico; un enfoque cauteloso de la metafísica; una concepción de la filosofía como tarea conceptual, que toma como método el análisis conceptual; una estrecha relación entre lengua y Filosofía; una preocupación por buscar respuestas argumentativas a problemas filosóficos; la búsqueda de claridad conceptual. -/- Estos conceptos originales implican contenidos culturales, sociales, religiosos, científicos, filosóficos, morales y políticos propios de cada existencia colectiva. En este estudio no debatiremos ni demostraremos. Nuestro objetivo no es establecer sistemáticamente un método, criticar o aportar pruebas. Este trabajo se basa en la reflexión analítica. Especularemos lo más completa y profundamente posible y expresaremos los resultados de nuestros pensamientos. Sin perjuicio del carácter multidisciplinar del tema y de la apertura metodológica para aceptar aportaciones de cualquier campo científico, este trabajo pertenece a la psicología y la ontología o, en otras palabras, a la psicología social y ontológica. La metodología libre que orienta estas reflexiones abarca y considera todo lo que se acerca a la coherencia con la epistemología filosófica y psicológica. Esta metodología no busca evidencia, sino que busca la interrelación entre evidencia existente de cualquier naturaleza y magnitud, infiriendo significado consistente a partir de cosas reales. Muchos grandes pensadores en ningún momento han buscado demostraciones, teorizaciones o sistematizaciones. Estos pensadores pensaron, meditaron y pudieron acercarse a la verdad con la iluminación de su humildad. Ellos serán nuestra referencia y el ejemplo a seguir. De hecho, no encontraremos la verdad. Sin embargo, de una cosa podemos estar seguros: muchas veces nos acercaremos a la verdad y en todo momento nos alejaremos de la mentira. El objetivo principal de este estudio es observar cómo funcionan algunos de los atributos evolutivos esenciales de la humanidad. Al igual que la creatividad, la imaginación y la asociación pueden convertirse en una enfermedad peligrosa, al abrigo de las brumosas sombras de la inteligencia. -/- . (shrink)

The main goal of this paper is to work out Quine's account of explication. Quine does not provide a general account, but considers a paradigmatic example which does not fit other examples he claims to be explications. Besides working out Quine's account of explication and explaining this tension, I show how it connects to other notions such as paraphrase and ontological commitment. Furthermore, I relate Quinean explication to Carnap's conception and argue that Quinean explication is much narrower because its main (...) purpose is to be a criterion of theory choice. (shrink)

Mise en abyme is a term from literary theory denoting a work that doubles itself within itself, for example a story placed within a story or a play within a play. Proliferating in experimental fiction in midcentury France, this technique had a strong impact on contemporary literary theory, but also, as this book project argues, on post-Heideggerian and post-structuralist philosophy. The Little Crystalline Seed focuses on how three of these thinkers invoke the concept of mise en abyme in order to (...) establish ontologies that deviate from that of Heidegger. Iddo Dickmann demonstrates how the concept served in modeling Derrida's logic of supplementarity, Blanchot's philosophy of "ambiguity" and mechanism of Désouvrement, and Deleuze's philosophy of difference, time and repetition. Exploring the interpretative and generative potential of the mise en abyme for continental thought, Dickmann illustrates points of resonance between various philosophical topics such as aesthetics, ethics, time, logic, mirroring, play, and signification. (shrink)

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

Diese Arbeit wird wesentliche Fragen über das kollektive Imaginär und seine Beziehungen zur Realität und Wahrheit ansprechen. Zunächst sollten wir dieses Thema in einem konzeptionellen Rahmen ansprechen, gefolgt von der entsprechenden Tatsachenanalyse demonstrierbarer Verhaltensrealitäten. Wir werden nicht nur die Methodik, sondern vor allem die Prinzipien und Sätze der analytischen Philosophie annehmen. Die vorliegende Arbeit beruht analytischer Reflexion. Wir werden so umfassend und tief wie möglich spekulieren und die Ergebnisse unserer Gedanken ausdrücken. Trotz des multidisziplinären Charakters des Themas und der methodischen (...) Offenheit für die Annahme. Beiträge aus jedem Bereich der Wissenschaft, diese Arbeit gehört zu Psychologie und Ontologie oder, mit anderen Worten, soziale und ontologische Psychologie. Die freie Methodik, die solche Reflexionen leitet, umfasst und betrachtet alles, was sich der Kohärenz mit der philosophischen und psychologischen Epistemologie nähert. Diese Methodik verfolgt keine Beweise, sondern sucht nach der Wechselbeziehung zwischen bestehenden Beweisen jeglicher Art und Größe, die eine kohärente Bedeutung zu den realen Dingen ableiten. Der Hauptbereich dieses Titels besteht darin, zu beobachten, wie einige der wesentlichen evolutionären Attribute der Menschheit, wie Kreativität, Fantasie und Assoziation, zu einer gefährlichen Krankheit werden können, die in den Nebelschatten der Intelligenz versteckt ist. (shrink)

This chapter reviews the major contributions of Donald Davidson to philosophy in the 20th century.

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

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

Contributors: Steven Barbone, Laurent Bove, Edwin Curley, Valérie Debuiche, Michael Della Rocca, Simon B. Duffy, Daniel Garber, Pascale Gillot, Céline Hervet, Jonathan Israel, Chantal Jaquet, Mogens Lærke, Jacqueline Lagrée, Martin Lin, Yitzhak Y. Melamed, Pierre-François Moreau, Steven Nadler, Knox Peden, Alison Peterman, Charles Ramond, Michael A. Rosenthal, Pascal Sévérac, Hasana Sharp, Jack Stetter, Ariel Suhamy, Lorenzo Vinciguerra.

Until now, antirealists have offered sketches of a theory of truth, at best. In this paper, we present a probabilist account of antirealist truth in some formal detail, and we assess its ability to deal with the problems that are standardly taken to beset antirealism.

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)

What requirements must deflationary formal theories of truth satisfy? This chapter argues against the widely accepted view that compositional and Tarskian theories of truth are substantial or otherwise unacceptable to deflationists. First, two purposes that a formal truth theory can serve are distinguished: one descriptive, the other logical (i.e., to characterise the correctness of inferences involving ‘true’). The chapter argues that the most compelling arguments for the incompatibility of compositional and Tarskian theories concern descriptive theories only. -/- Second, two requirements (...) that any deflationist truth theory intended to serve a logical purpose must satisfy are put forward. These requirements, it is argued, suggest that (i) many well-known compositional and Tarskian theories are acceptable from a deflationist standpoint (including CT); (ii) certain other popular theories of truth (including KF and FS) are not similarly acceptable; (iii) there are no conclusive reasons to impose a conservativeness requirement on deflationary theories of truth. (shrink)

In two recent papers, Bob Hale has attempted to free second-order logic of the 'staggering existential assumptions' with which Quine famously attempted to saddle it. I argue, first, that the ontological issue is at best secondary: the crucial issue about second-order logic, at least for a neo-logicist, is epistemological. I then argue that neither Crispin Wright's attempt to characterize a `neutralist' conception of quantification that is wholly independent of existential commitment, nor Hale's attempt to characterize the second-order domain in terms (...) of definability, can serve a neo-logicist's purposes. The problem, in both cases, is similar: neither Wright nor Hale is sufficiently sensitive to the demands that impredicativity imposes. Finally, I defend my own earlier attempt to finesse this issue, in "A Logic for Frege's Theorem", from Hale's criticisms. (shrink)

Alfred Tarski’s influence on computer science was indirect but significant in a number of directions and was in certain respects fundamental. Here surveyed is Tarski’s work on the decision procedure for algebra and geometry, the method of elimination of quantifiers, the semantics of formal languages, model-theoretic preservation theorems, and algebraic logic; various connections of each with computer science are taken up.

This chapter argues that while quotation marks are polysemous, the thread that runs through all uses of quotation marks that involve reference to expressions is pure quotation, in which an expression formed by enclosing another expression in quotation marks refers to that enclosed expression. We defend a version of the so-called disquotational theory of pure quotation and show how this device is used in direct discourse and attitude attributions, in exposition in scholarly contexts, and in so-called mixed quotation in indirect (...) discourse and attitude attributions. We argue that uses of quotation marks that extend beyond pure quotation have two features in common. First, the expressions appearing in quotation marks are intended to be understood, and that they are intended to be understood is essential to the function that such quotations play in communication, though this does not always involve the expressions contributing their extensional properties to fixing truth conditions for the sentences in which they appear. Second, they appeal to a relation to the expression appearing in quotation marks that plays a role in determining the truth conditions of the sentences in which they appear. (shrink)

Defends the view that understanding can be identified with knowledge of T-sentences against the classical criticisms of Foster and Soames.