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)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (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)

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.

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)

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.

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.

Alfred Tarski seems to endorse a partial conception of truth, the T-schema, which he believes might be clarified by the application of empirical methods, specifically citing the experimental results of Arne Næss (1938a). The aim of this paper is to argue that Næss’ empirical work confirmed Tarski’s semantic conception of truth, among others. In the first part, I lay out the case for believing that Tarski’s T-schema, while not the formal and generalizable Convention-T, provides a partial account of truth that (...) may be buttressed by an examination of the ordinary person’s views of truth. Then, I address a concern raised by Tarski’s contemporaries who saw Næss’ results as refuting Tarski’s semantic conception. Following that, I summarize Næss’ results. Finally, I will contend with a few objections that suggest a strict interpretation of Næss’ results might recommend an overturning of Tarski’s theory. (shrink)

Many of the philosophical doctrines purveyed by postmodernists have been roundly refuted, yet people continue to be taken in by the dishonest devices used in proselytizing for postmodernism. I exhibit, name, and analyse five favourite rhetorical manoeuvres: Troll's Truisms, Motte and Bailey Doctrines, Equivocating Fulcra, the Postmodernist Fox Trot, and Rankly Relativising Fields. Anyone familiar with postmodernist writing will recognise their pervasive hold on the dialectic of postmodernism and come to judge that dialectic as it ought to be judged.

In recent years, some authors have proposed quantitative measures of the coherence of sets of propositions. Such probabilistic measures of coherence (PMCs) are, in general terms, functions that take as their argument a set of propositions (along with some probability distribution) and yield as their value a number that is supposed to represent the degree of coherence of the set. In this paper, I introduce a minimal constraint on PMC theories, the weak stability principle, and show that any correct, coherent, (...) and complete PMC cannot satisfy it. As a matter of fact, the argument offered in this paper can be applied to any coherence theory that uses a priori procedures. I briefly explore some consequences of this fact. (shrink)

Jamie Tappenden was one of the first authors to entertain the possibility of a common treatment for the Liar and the Sorites paradoxes. In order to deal with these two paradoxes he proposed using the Strong Kleene semantic scheme. This strategy left unexplained our tendency to regard as true certain sentences which, according to this semantic scheme, should lack truth value. Tappenden tried to solve this problem by using a new speech act, articulation. Unlike assertion, which implies truth, articulation only (...) implies non-falsity. In this paper I argue that Tappenden’s strategy cannot be successfully applied to truth and the Liar. (shrink)

On investigating a theorem that Russell used in discussing paradoxes of classes, Graham Priest distills a schema and then extends it to form an Inclosure Schema, which he argues is the common structure underlying both class-theoretical paradoxes (such as that of Russell, Cantor, Burali-Forti) and the paradoxes of ?definability? (offered by Richard, König-Dixon and Berry). This article shows that Russell's theorem is not Priest's schema and questions the application of Priest's Inclosure Schema to the paradoxes of ?definability?.1 1?Special thanks to (...) Francesco Orilia for criticisms of an early draft of this article. (shrink)

This article discusses two coextensive concepts of logical consequence that are implicit in the two fundamental logical practices of establishing validity and invalidity for premise-conclusion arguments. The premises and conclusion of an argument have information content (they ?say? something), and they have subject matter (they are ?about? something). The asymmetry between establishing validity and establishing invalidity has long been noted: validity is established through an information-processing procedure exhibiting a step-by-step deduction of the conclusion from the premise-set. Invalidity is established by (...) exhibiting a countermodel satisfying the premises but not the conclusion. The process of establishing validity focuses on information content; the process of establishing invalidity focuses on subject matter. Corcoran's information-theoretic concept of logical consequence corresponds to the former. Tarski's model-theoretic concept of logical consequence formulated in his famous 1936 no-countermodels definition corresponds to the latter. Both are found to be indispensable for understanding the rationale of the deductive method and each complements the other. This study discusses the ontic question of the nature of logical consequence and the epistemic question of the human capabilities presupposed by practical applications of these two concepts as they make validity and invalidity accessible to human knowledge. (shrink)

Eseji su nastali u 2003. i 2004. godini kao dio realizacije mojih istraživanja holizma identiteta i socijalne triangulacije (identitet - znanje - društvena ontologija) tokom rada na istraživačkim projektima Znanstveno-raziskovalneg središča Republike Slovenije, Koper. Istovremeno je rad na projektima u Sarajevu, u sklopu međunarodnih i domaćih aktivnosti koje je organiziralo Filozofsko društvo "Theoria ", bio poticajan za promišljanje nekih značajnih pitanja koja se odnose na rearanžiranje ambijenta životnog svijeta modernog čovjeka.

This book proposes guidelines for constructing and evaluating definitions of terms, i.e. words or phrases of general application. The guidelines extend to adoption of nomenclature. The book is meant to be a practical guide for people who find themselves in their daily lives or their employment producing or evaluating definitions of terms. It can be consulted rather than being read through. The book’s theoretical framework is a distinction, due to Robert H. Ennis, of three dimensions of definitions: the act of (...) the definer, the content of the definition, and its form. The act of a definer is what the definer does in defining a term; the book distinguishes, following Ennis, three basic acts of defining: reporting, stipulating, and advocating. The content of a definition is in one sense the information that the definition conveys and in another sense the words in its defining part. The form of a definition is the way it is expressed, for example as a definition by genus and differentia. (shrink)

l. THE GENERAL PROBLEM OF EPISTEMOLOGY There is a philosophical issue that surely precedes all other possible questions. It concerns the very possibility of our thinking about some thing to some purpose. Short of this no philosophy, theory or research would be possible. But it is not immediately clear that we are assured that what purports to be effective thought, and cognition is such in reality. What guarantee is there for instance that when one is under the impression that one (...) is thinking that "the cat is on the mat" it is in fact the case that one is thinking this? One could not be thinking at all, only having a misleading mystic experience. And then even if one was thinking, one might not be really thinking of the cat being on the mat, but only that one wishes there was a cat, and wonders whether if there was it would be on the mat, and yet the subjective impression was that one was thinking: "The cat is on the mat". Then one might in some way try to think 'the cat is on the mat. ' yet be mistaken in that there aren't any material objects at all, and all one does is to inventory god's perceptions. And so on, and so on! These are of course the kind of problem that the layman habitually views with disdainful alarm. (shrink)

Aristotle’s modal syllogistic is his study of patterns of reasoning about necessity and possibility. Many scholars think the modal syllogistic is incoherent, a ‘realm of darkness’. Others think it is coherent, but devise complicated formal modellings to mimic Aristotle’s results. This volume provides a simple interpretation of Aristotle’s modal syllogistic using standard predicate logic. Rini distinguishes between red terms, such as ‘horse’, ‘plant’ or ‘man’, which name things in virtue of features those things must have, and green terms, such as (...) ‘moving’, which name things in virtue of their non-necessary features. By applying this distinction to the Prior Analytics, Rini shows how traditional interpretive puzzles about the modal syllogistic melt away and the simple structure of Aristotle’s own proofs is revealed. The result is an applied logic which provides needed links between Aristotle’s views of science and logical demonstration. The volume is particularly valuable to researchers and students of the history of logic, Aristotle’s theory of modality, and the philosophy of logic in general. (shrink)

In The Uses of Argument, Stephen Toulmin proposed a model for the layout of arguments: claim, data, warrant, qualifier, rebuttal, backing. Since then, Toulmin’s model has been appropriated, adapted and extended by researchers in speech communications, philosophy and artificial intelligence. This book assembles the best contemporary reflection in these fields, extending or challenging Toulmin’s ideas in ways that make fresh contributions to the theory of analysing and evaluating arguments.

This anthology of the very latest research on truth features the work of recognized luminaries in the field, put together following a rigorous refereeing process. Along with an introduction outlining the central issues in the field, it provides a unique and unrivaled view of contemporary work on the nature of truth, with papers selected from key conferences in 2011 such as Truth Be Told, Truth at Work, Paradoxes of Truth and Denotation and Axiomatic Theories of Truth. Studying the nature of (...) the concept of ‘truth’ has always been a core role of philosophy, but recent years have been a boom time in the topic. With a wealth of recent conferences examining the subject from various angles, this collection of essays recognizes the pressing need for a volume that brings scholars up to date on the arguments. Offering academics and graduate students alike a much-needed repository of today’s cutting-edge work in this vital topic of philosophy, the volume is required reading for anyone needing to keep abreast of developments, and is certain to act as a catalyst for further innovation and research. (shrink)

With his customary incisiveness, W. V. Quine presents logic as the product of two factors, truth and grammar--but argues against the doctrine that the logical truths are true because of grammar or language. Rather, in presenting a general theory of grammar and discussing the boundaries and possible extensions of logic, Quine argues that logic is not a mere matter of words.

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic ; analytical philosophy, philosophy of science, philosophy of mathematics and decision theory and foundations of economics. (...) Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic. (shrink)

This book has two objectives: to be a contribution to the understanding of Frege's theory of truth – especially a defence of his notorious critique of the correspondence theory - and to be an introduction to the practice of interpreting philosophical texts.

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