Switch to: References

Add citations

You must login to add citations.
  1. A Formalisation, Using Non-Standard Rules, Of A 5-Valued Propositional Calculus.Alan Rose† - 1987 - Mathematical Logic Quarterly 33 (2):187-192.
  • Consequences and Design in General and Transcendental Logic.Elena G. Dragalina-Chernaya - 2018 - Kantian Journal 37 (1):25-39.
  • Brutal Composition.Ned Markosian - 1998 - Philosophical Studies 92 (3):211 - 249.
    According to standard, pre-philosophical intuitions, there are many composite objects in the physical universe. There is, for example, my bicycle, which is composed of various parts - wheels, handlebars, molecules, atoms, etc. Recently, a growing body of philosophical literature has concerned itself with questions about the nature of composition.1 The main question that has been raised about composition is, roughly, this: Under what circumstances do some things compose, or add up to, or form, a single object? It turns out that (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   131 citations  
  • Hierarchies Ontological and Ideological.Øystein Linnebo & Agustin Rayo - 2012 - Mind 121 (482):269 - 308.
    Gödel claimed that Zermelo-Fraenkel set theory is 'what becomes of the theory of types if certain superfluous restrictions are removed'. The aim of this paper is to develop a clearer understanding of Gödel's remark, and of the surrounding philosophical terrain. In connection with this, we discuss some technical issues concerning infinitary type theories and the programme of developing the semantics for higher-order languages in other higher-order languages.
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   30 citations  
  • Is ‘Knowing That P’ Identical with ‘Knowing That “P” Is True’?Changsheng Lai - 2019 - Philosophia:1-18.
    It is epistemological orthodoxy that the object of propositional knowledge is the truth of propositions. This traditional view is based on what I call the ‘KT-schema’, viz, ‘S knows that p, iff, S knows that “p” is true’. The purpose of this paper is to reject the KT-schema. By showing the paradoxical upshot of the KT-schema and providing counterexamples to the KT-schema, this paper argues that ‘knowing that p’ is more than ‘knowing that “p” is true’. Consequently, we shall rethink (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Beyond Atomism.Aaron Cotnoir - 2013 - Thought: A Journal of Philosophy 2 (1):67-72.
    Contemporary metaphysicians have been drawn to a certain attractive picture of the structure of the world. This picture consists in classical mereology, the priority of parts over wholes, and the well-foundedness of metaphysical priority. In this short note, I show that this combination of theses entails superatomism, which is a significant strengthening of mereological atomism. This commitment has been missed in the literature due to certain sorts of models of mereology being overlooked. But the entailment is an important one: we (...)
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Composition as Identity: A Study in Ontology and Philosophical Logic.Einar Bohn - unknown
    In this work I first develop, motivate, and defend the view that mereological composition, the relation between an object and all its parts collectively, is a relation of identity. I argue that this view implies and hence can explain the logical necessity of classical mereology, the formal study of the part-whole relation. I then critically discuss four contemporary views of the same kind. Finally, I employ my thesis in a recent discussion of whether the world is fundamentally one in number.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • The Content and Acquisition of Lexical Concepts.Richard Horsey - manuscript
    This thesis aims to develop a psychologically plausible account of concepts by integrating key insights from philosophy (on the metaphysical basis for concept possession) and psychology (on the mechanisms underlying concept acquisition). I adopt an approach known as informational atomism, developed by Jerry Fodor. Informational atomism is the conjunction of two theses: (i) informational semantics, according to which conceptual content is constituted exhaustively by nomological mind–world relations; and (ii) conceptual atomism, according to which (lexical) concepts have no internal structure. I (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Alfred Tarski and the “Concept of Truth in Formalized Languages”. A Running Commentary with Consideration of the Polish Original and the German Translation: Monika Gruber. Berlin: Springer, 2016. Xii + 187 Pp. €93.59 . ISBN 978-3-319-32614-6.David Kashtan - 2019 - History and Philosophy of Logic 40 (3):303-305.
    Volume 40, Issue 3, August 2019, Page 303-305.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Frege’s ‘On the Foundations of Geometry’ and Axiomatic Metatheory.Günther Eder - 2016 - Mind 125 (497):5-40.
    In a series of articles dating from 1903 to 1906, Frege criticizes Hilbert’s methodology of proving the independence and consistency of various fragments of Euclidean geometry in his Foundations of Geometry. In the final part of the last article, Frege makes his own proposal as to how the independence of genuine axioms should be proved. Frege contends that independence proofs require the development of a ‘new science’ with its own basic truths. This paper aims to provide a reconstruction of this (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Naturalism, Realism, and Normativity.Hilary Putnam - 2015 - Journal of the American Philosophical Association 1 (2):312--328.
    ABSTRACT:This essay describes three commitments that have become central to the author's philosophical outlook, namely, to liberal naturalism, to metaphysical realism, and to the epistemic and ontological objectivity of normative judgments.Liberal naturalismis contrasted with familiar scientistic versions of naturalism and their project of forcing explanations in every field into models derived from one or another particular science. The form ofmetaphysical realismthat the author endorses rejects every form of verificationism, including the author's one-time ‘internal realism’, and insists that our claims about (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Why Polish Philosophy Does Not Exist.Barry Smith - 2006 - In J. Jadacki & J. Pasniczek (eds.), Poznan Studies in the Philosophy of the Sciences and the Humanities, vol. 89. Reidel. pp. 19-39.
    Why have Polish philosophers fared so badly as concerns their admission into the pantheon of Continental Philosophers? Why, for example, should Heidegger and Derrida be included in this pantheon, but not Ingarden or Tarski? Why, to put the question from another side, should there be so close an association in Poland between philosophy and logic, and between philosophy and science? We distinguish a series of answers to this question, which are dealt with under the following headings: (a) the role of (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  • Verisimilitude Redeflated.David Miller - 1976 - British Journal for the Philosophy of Science 27 (4):363-381.
  • Dag Prawitz on Proofs, Operations and Grounding.Antonio D’ Aragona - 2019 - Topoi 38 (3):531-550.
    Dag Prawitz’s theory of grounds proposes a fresh approach to valid inferences. Its main aim is to clarify nature and reasons of their epistemic power. The notion of ground is taken to denote what one is in possession of when in a state of evidence, and valid inferences are described in terms of operations that make us pass from grounds we already have to new grounds. Thanks to a rigorously developed proof-as-chains conception, the ground-theoretic framework permits Prawitz to overcome some (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Alonzo Church’s Contributions to Philosophy and Intensional Logic.C. Anthony Anderson - 1998 - Bulletin of Symbolic Logic 4 (2):129-171.
  • The Neglect of Epistemic Considerations in Logic: The Case of Epistemic Assumptions.Göran Sundholm - 2019 - Topoi 38 (3):551-559.
    The two different layers of logical theory—epistemological and ontological—are considered and explained. Special attention is given to epistemic assumptions of the kind that a judgement is granted as known, and their role in validating rules of inference, namely to aid the inferential preservation of epistemic matters from premise judgements to conclusion judgement, while ordinary Natural Deduction assumptions serve to establish the holding of consequence from antecedent propositions to succedent proposition.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • A Theorical Point of View of Reality, Perception, and Language.Josué Antonio Nescolarde-Selva, Josep-Lluis Usó-Doménech & Hugh Gash - 2014 - Complexity 20 (1):27-37.
  • Enciclopédia de Termos Lógico-Filosóficos.João Branquinho, Desidério Murcho & Nelson Gonçalves Gomes (eds.) - 2006 - São Paulo, SP, Brasil: Martins Fontes.
    Esta enciclopédia abrange, de uma forma introdutória mas desejavelmente rigorosa, uma diversidade de conceitos, temas, problemas, argumentos e teorias localizados numa área relativamente recente de estudos, os quais tem sido habitual qualificar como «estudos lógico-filosóficos». De uma forma apropriadamente genérica, e apesar de o território teórico abrangido ser extenso e de contornos por vezes difusos, podemos dizer que na área se investiga um conjunto de questões fundamentais acerca da natureza da linguagem, da mente, da cognição e do raciocínio humanos, bem (...)
    Direct download  
    Translate
     
     
    Export citation  
     
    Bookmark   5 citations  
  • Exhibiting Interpretational and Representational Validity.Michael Baumgartner - 2014 - Synthese 191 (7).
    A natural language argument may be valid in at least two nonequivalent senses: it may be interpretationally or representationally valid (Etchemendy in The concept of logical consequence. Harvard University Press, Cambridge, 1990). Interpretational and representational validity can both be formally exhibited by classical first-order logic. However, as these two notions of informal validity differ extensionally and first-order logic fixes one determinate extension for the notion of formal validity (or consequence), some arguments must be formalized by unrelated nonequivalent formalizations in order (...)
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logic of Implicit and Explicit Justifiers.Alessandro Giordani - 2016 - In L. Felline, A. Ledda, F. Paoli & E. Rossanese (eds.), New Directions in Logic and the Philosophy of Science. College Publications. pp. 119-131.
    The aim of this paper is to provide an intuitive semantics for systems of justification logic which allows us to cope with the distinction between implicit and explicit justifiers. The paper is subdivided into three sections. In the first one, the distinction between implicit and explicit justifiers is presented and connected with a proof-theoretic distinction between two ways of interpreting sequences of sentences; that is, as sequences of axioms in a certain set and as sequences proofs constructed from that set (...)
    Direct download  
     
    Export citation  
     
    Bookmark  
  • A Model-Theoretic Interpretation of Science.Emma Ruttkamp - 1997 - South African Journal of Philosophy 16 (1):31-36.
    I am arguing that it is only by concentrating on the role of models in theory construction, interpretation and change, that one can study the progress of science sensibly. I define the level at which these models operate as a level above the purely empirical (consisting of various systems in reality) but also indeed below that of the fundamental formal theories (expressed linguistically). The essentially multi-interpretability of the theory at the general, abstract linguistic level, implies that it can potentially make (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • How Tarski Defined the Undefinable.Cezary Cieśliński - 2015 - European Review 23 (01):139 - 149.
    This paper describes Tarski’s project of rehabilitating the notion of truth, previously considered dubious by many philosophers. The project was realized by providing a formal truth definition, which does not employ any problematic concept.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Lost in Translation?Giulia Felappi & Marco Santambrogio - 2019 - Topoi 38 (2):265-276.
    According to neo-Russellianism, in a sentence such as John believes that Mont Blanc is 4000 m high, any other proper name co-referring with Mont Blanc can be substituted for it without any change in the proposition expressed. Prima facie, our practice of translation shows that this cannot be correct. We will then show that neo-Russellians have a way out of this problem, which consists in holding that actual translations are not a matter of semantics, but also make an attempt at (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Semantic Variance.Martín Abreu Zavaleta - 2018 - Dissertation, New York University
    This dissertation argues for Semantic Variance, the thesis that nearly every utterance is such that there is no proposition that more than one languge user takes to be that utterance's truth-conditional content. I argue that Semantic Variance is problematic for standard theories concerning the nature of communication, the epistemic significance of ordinary disputes, the semantics of speech reports, and the nature of linguistic competence. In response to the problems arising from the truth of Semantic Variance, I develop new accounts of (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logical Pluralism, Indeterminacy and the Normativity of Logic.Filippo Ferrari & Sebastiano Moruzzi - 2017 - Inquiry: An Interdisciplinary Journal of Philosophy:1-24.
    According to the form of logical pluralism elaborated by Beall and Restall there is more than one relation of logical consequence. Since they take the relation of logical consequence to res...
    Direct download (11 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The Normative Problem for Logical Pluralism.Nathan Kellen - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy:1-24.
    It is commonly thought that logic, whatever it may be, is normative. While accounting for the normativity of logic is a challenge for any view of logic, in this paper I argue that it is par...
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  • Names.Sam Cumming - 2009 - Stanford Encyclopedia of Philosophy.
  • Free Łukasiewicz and Hoop Residuation Algebras.Joel Berman & W. J. Blok - 2004 - Studia Logica 77 (2):153 - 180.
    Hoop residuation algebras are the {, 1}-subreducts of hoops; they include Hilbert algebras and the {, 1}-reducts of MV-algebras (also known as Wajsberg algebras). The paper investigates the structure and cardinality of finitely generated free algebras in varieties of k-potent hoop residuation algebras. The assumption of k-potency guarantees local finiteness of the varieties considered. It is shown that the free algebra on n generators in any of these varieties can be represented as a union of n subalgebras, each of which (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   8 citations  
  • Logic, Literacy, and Professor Gellner.Paul Feyerabend - 1976 - British Journal for the Philosophy of Science 27 (4):381-391.
  • Probabilistic Support, Probabilistic Induction and Bayesian Confirmation Theory.Andres Rivadulla - 1994 - British Journal for the Philosophy of Science 45 (2):477-483.
  • From Logic to Logics (and Back Again). [REVIEW]Larry Briskman - 1982 - British Journal for the Philosophy of Science 33 (1):77-94.
  • A Note on Verisimilitude.Karl Popper - 1976 - British Journal for the Philosophy of Science 27 (2):147-159.
  • The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • Philosophy of Language in the Twentieth Century.Jason Stanley - 2008 - In Dermot Moran (ed.), The Routledge Companion to Twentieth Century Philosophy. Routledge. pp. 382-437.
    In the Twentieth Century, Logic and Philosophy of Language are two of the few areas of philosophy in which philosophers made indisputable progress. For example, even now many of the foremost living ethicists present their theories as somewhat more explicit versions of the ideas of Kant, Mill, or Aristotle. In contrast, it would be patently absurd for a contemporary philosopher of language or logician to think of herself as working in the shadow of any figure who died before the Twentieth (...)
     
    Export citation  
     
    Bookmark   6 citations  
  • Inferentializing Semantics.Jaroslav Peregrin - 2010 - Journal of Philosophical Logic 39 (3):255 - 274.
    The entire development of modern logic is characterized by various forms of confrontation of what has come to be called proof theory with what has earned the label of model theory. For a long time the widely accepted view was that while model theory captures directly what logical formalisms are about, proof theory is merely our technical means of getting some incomplete grip on this; but in recent decades the situation has altered. Not only did proof theory expand into new (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  • Notions of Invariance for Abstraction Principles.G. A. Antonelli - 2010 - Philosophia Mathematica 18 (3):276-292.
    The logical status of abstraction principles, and especially Hume’s Principle, has been long debated, but the best currently availeble tool for explicating a notion’s logical character—permutation invariance—has not received a lot of attention in this debate. This paper aims to fill this gap. After characterizing abstraction principles as particular mappings from the subsets of a domain into that domain and exploring some of their properties, the paper introduces several distinct notions of permutation invariance for such principles, assessing the philosophical significance (...)
    Direct download (9 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Argumentation Theory and the Conception of Epistemic Justification.Lilian Bermejo-Luque - 2009 - In Marcin Koszowy (ed.), Informal Logic and Argumentation Theory. University of Białystok. pp. 285--303.
    I characterize the deductivist ideal of justification and, following to a great extent Toulmin’s work The Uses of Argument, I try to explain why this ideal is erroneous. Then I offer an alternative model of justification capable of making our claims to knowledge about substantial matters sound and reasonable. This model of justification will be based on a conception of justification as the result of good argumentation, and on a model of argumentation which is a pragmatic linguistic reconstruction of Toulmin’s (...)
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On Tarski's Foundations of the Geometry of Solids.Arianna Betti & Iris Loeb - 2012 - Bulletin of Symbolic Logic 18 (2):230-260.
    The paper [Tarski: Les fondements de la géométrie des corps, Annales de la Société Polonaise de Mathématiques, pp. 29—34, 1929] is in many ways remarkable. We address three historico-philosophical issues that force themselves upon the reader. First we argue that in this paper Tarski did not live up to his own methodological ideals, but displayed instead a much more pragmatic approach. Second we show that Leśniewski's philosophy and systems do not play the significant role that one may be tempted to (...)
    Direct download (12 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Is the Theoretical Law Falsifiable or Not?Yoshimi Fujikawa - 1971 - Kagaku Tetsugaku 4:25-36.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Adversus Singularitates: The Ontology of Space–Time Singularities. [REVIEW]Gustavo E. Romero - 2013 - Foundations of Science 18 (2):297-306.
    I argue that there are no physical singularities in space–time. Singular space–time models do not belong to the ontology of the world, because of a simple reason: they are concepts, defective solutions of Einstein’s field equations. I discuss the actual implication of the so-called singularity theorems. In remarking the confusion and fog that emerge from the reification of singularities I hope to contribute to a better understanding of the possibilities and limits of the theory of general relativity.
    Direct download (10 more)  
     
    Export citation  
     
    Bookmark   6 citations  
  • Logical Consequence Revisited.José M. Sagüillo - 1997 - Bulletin of Symbolic Logic 3 (2):216-241.
  • The Scientific and the Ethical.Bernard Williams - 1984 - Royal Institute of Philosophy Lectures 17:209-228.
    Discussions of objectivity often start from considerations about disagreement. We might ask why this should be so. It makes it seem as though disagreement were surprising, but there is no reason why that should be so . The interest in disagreement comes about, rather, because neither agreement nor disagreement is universal. It is not that disagreement needs explanation and agreement does not, but that in different contexts disagreement requires different sorts of explanation, and so does agreement.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Philosophy of Science: Interfaces Between Logic and Knowledge Representation.Emma Ruttkamp - 2006 - South African Journal of Philosophy 25 (4):275-289.
    In this inaugural lecture I offer, against the background of a discussion of knowledge representation and its tools, an overview of my research in the philosophy of science. I defend a relational model-theoretic realism as being the appropriate meta-stance most congruent with the model-theoretic view of science as a form of human engagement with the world. Making use of logics with preferential semantics within a model-theoretic paradigm, I give an account of science as process and product. I demonstrate the power (...)
    No categories
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  • Completeness Properties of Heyting's Predicate Calculus with Respect to Re Models.Dov M. Gabbay - 1976 - Journal of Symbolic Logic 41 (1):81-94.
  • Conventionalism, Truth, and CosmologicaI Furniture.J. O. Wisdom - 1975 - Canadian Journal of Philosophy 4 (3):441-457.
    The problem to be discussed here concerns ontology so far as it may not be formed by scientific theory. In brief terms, the problem arises in the following way. On the one hand, the world surely consists of whatever is there, irrespective of whether human beings are around or not, and irrespective especially of whether human beings have constructed any scientific theories depicting the nature of the world; on the other hand, scientific theories are subject to the limitation that we (...)
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  • Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.
    Direct download (7 more)  
     
    Export citation  
     
    Bookmark   14 citations  
  • Is the Principle of Contradiction a Consequence of $$X^{2}=X$$ X 2 = X?Jean-Yves Beziau - 2018 - Logica Universalis 12 (1-2):55-81.
    According to Boole it is possible to deduce the principle of contradiction from what he calls the fundamental law of thought and expresses as \. We examine in which framework this makes sense and up to which point it depends on notation. This leads us to make various comments on the history and philosophy of modern logic.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  • Independent Axioms for Infinite-Valued Logic.Atwell R. Turquette - 1963 - Journal of Symbolic Logic 28 (3):217-221.
  • Axiomatization of the Infinite-Valued Predicate Calculus.Louise Schmir Hay - 1963 - Journal of Symbolic Logic 28 (1):77-86.
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Fallacy About the Modal Status of Logic.Manuel Ppérez Otero - 2001 - Dialectica 55 (1):9-27.
    In John Etchemendy's book, The Concept of Logical Consequence, several arguments are put forth against the standard model‐theoretic account of logical consequence and logical truth. I argue in this article that crucial parts of Etchemendy's attack depend on a failure to distinguish two senses of logic and two correlative senses of being something a logical question. According to one of these senses, the logic of a language, L, is the set of logical truths of L. In the other sense, logic (...)
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark