Switch to: References

Add citations

You must login to add citations.
  1. Rethinking Sellars’ Myth of the Given: From the Epistemological to the Modal Relevance of Givenness in Kant and Hegel.Paul Redding - 2019 - International Journal of Philosophical Studies 27 (3):379-398.
    ABSTRACTHere, I pursue consequences, for the interpretation of Sellars’ critique of the ‘Myth of the Given’, of separating the modal significance that Kant attributed to empirical intuition from th...
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Supertasks and Arithmetical Truth.Jared Warren & Daniel Waxman - 2020 - Philosophical Studies 177 (5):1275-1282.
    This paper discusses the relevance of supertask computation for the determinacy of arithmetic. Recent work in the philosophy of physics has made plausible the possibility of supertask computers, capable of running through infinitely many individual computations in a finite time. A natural thought is that, if supertask computers are possible, this implies that arithmetical truth is determinate. In this paper we argue, via a careful analysis of putative arguments from supertask computations to determinacy, that this natural thought is mistaken: supertasks (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is Antiphilosophy?Charles M. Djordjevic - 2019 - Metaphilosophy 50 (1-2):16-35.
    In certain philosophical quarters, a new metaphilosophical position is being discussed—antiphilosophy. Such a position seems to maintain that there is no distinction between philosophy and sophistry, reason and rhetoric, arguing and emoting. This paper examines antiphilosophy. Specifically, it aims to address three interrelated questions: Is antiphilosophy a possible metaphilosophical position? If it is, what characterizes it? And what ramifications would it have? The paper argues that antiphilosophy is possible and is best construed as an attempt to reconstruct philosophical discourse on (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Lógica clásica y esquizofrenia: por una semántica lúdica.Juan Redmond & Rodrigo Lopez-Orellana - 2018 - Revista de filosofía (Chile) 74:215-241.
    Resumen:En este artículo delineamos una propuesta para elaborar una lógica de las ficciones desde el enfoque lúdico del pragmatismo dialógico. En efecto, centrados en una de las críticas mayores al enfoque clásico de la lógica: la esquizofrenia estructural de su semántica (Lambert 2004: 142-143; 160), recorremos los compromisos ontológicos de las dos tradiciones mayores de la lógica (Aristóteles y Frege) para establecer sus posibilidades y límites en el análisis del discurso ficcional, y la superación desde una perspectiva lúdico pragmática.Palabras clave: (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Factive knowability and the problem of possible omniscience.Jan Heylen - 2020 - Philosophical Studies 177 (1):65-87.
    Famously, the Church–Fitch paradox of knowability is a deductive argument from the thesis that all truths are knowable to the conclusion that all truths are known. In this argument, knowability is analyzed in terms of having the possibility to know. Several philosophers have objected to this analysis, because it turns knowability into a nonfactive notion. In addition, they claim that, if the knowability thesis is reformulated with the help of factive concepts of knowability, then omniscience can be avoided. In this (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Enciclopédia de Termos Lógico-Filosóficos.João Miguel Biscaia 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Compositionality and the Prospect of a Pluralistic Semantic Theory.Adam C. Podlaskowski - 2019 - Australasian Journal of Philosophy 97 (2):325-339.
    A semantic theory is committed to semantic monism just in case every particular semantic property posited by the theory is a member of the same kind. The commitment to semantic monism appears to draw some support from the need to provide a compositional semantics, since taking a single kind of semantic property as key to a semantic theory affords a uniform pattern on the basis of which the meaning of any given sentence can be compositionally determined. This line of support (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Intuitionistic logic and its philosophy.Panu Raatikainen - 2013 - Al-Mukhatabat. A Trilingual Journal For Logic, Epistemology and Analytical Philosophy (6):114-127.
    Download  
     
    Export citation  
     
    Bookmark  
  • Labyrinth of Continua.Patrick Reeder - 2018 - Philosophia Mathematica 26 (1):1-39.
    This is a survey of the concept of continuity. Efforts to explicate continuity have produced a plurality of philosophical conceptions of continuity that have provably distinct expressions within contemporary mathematics. I claim that there is a divide between the conceptions that treat the whole continuum as prior to its parts, and those conceptions that treat the parts of the continuum as prior to the whole. Along this divide, a tension emerges between those conceptions that favor philosophical idealizations of continuity and (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Modality and Hyperintensionality in Mathematics.David Elohim - manuscript
    This paper aims to contribute to the analysis of the nature of mathematical modality and hyperintensionality, and to the applications of the latter to absolute decidability. Rather than countenancing the interpretational type of mathematical modality as a primitive, I argue that the interpretational type of mathematical modality is a species of epistemic modality. I argue, then, that the framework of two-dimensional semantics ought to be applied to the mathematical setting. The framework permits of a formally precise account of the priority (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Inference and Epistemic Transparency.Gabriele Usberti - 2019 - Topoi 38 (3):517-530.
    In his paper “Explaining Deductive Inference” Prawitz states what he calls «a fundamental problem of logic and the philosophy of logic»: the problem of explaining «Why do certain inferences have the epistemic power to confer evidence on the conclusion when applied to premisses for which there is evidence already?». In this paper I suggest a way of articulating, and partly modifying, the intuitionistic answer to this problem in such a way as to both answer Prawitz’s problem and satisfy a requirement (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Is ‘No’ a Force-Indicator? Yes, Sooner or Later!Fabien Schang & James Trafford - 2017 - Logica Universalis 11 (2):225-251.
    This paper discusses the philosophical and logical motivations for rejectivism, primarily by considering a dialogical approach to logic, which is formalized in a Question–Answer Semantics. We develop a generalized account of rejectivism through close consideration of Mark Textor's arguments against rejectivism that the negative expression ‘No’ is never used as an act of rejection and is equivalent with a negative sentence. In doing so, we also shed light upon well-known issues regarding the supposed non-embeddability and non-iterability of force indicators.
    Download  
     
    Export citation  
     
    Bookmark  
  • Mathematical constructivism in spacetime.Geoffrey Hellman - 1998 - British Journal for the Philosophy of Science 49 (3):425-450.
    To what extent can constructive mathematics based on intuitionistc logic recover the mathematics needed for spacetime physics? Certain aspects of this important question are examined, both technical and philosophical. On the technical side, order, connectivity, and extremization properties of the continuum are reviewed, and attention is called to certain striking results concerning causal structure in General Relativity Theory, in particular the singularity theorems of Hawking and Penrose. As they stand, these results appear to elude constructivization. On the philosophical side, it (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Fitch's Paradox and the Problem of Shared Content.Thorsten Sander - 2006 - Abstracta 3 (1):74-86.
    According to the “paradox of knowability”, the moderate thesis that all truths are knowable – ... – implies the seemingly preposterous claim that all truths are actually known – ... –, i.e. that we are omniscient. If Fitch’s argument were successful, it would amount to a knockdown rebuttal of anti-realism by reductio. In the paper I defend the nowadays rather neglected strategy of intuitionistic revisionism. Employing only intuitionistically acceptable rules of inference, the conclusion of the argument is, firstly, not ..., (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017 - Dissertation, Arché, University of St Andrews
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Cláusula Final da Definição Geral do Silogismo e suas funções na silogística e nos Primeiros Analíticos I de Aristóteles.Felipe Weinmann - 2014 - Dissertation, University of Campinas
    Aristotle's General Definition of the Syllogism may be taken as consisting of two parts: the Inferential Conditions and the Final Clause. Although this distinction is well known, traditional interpretations neglect the Final Clause and its influence on syllogistic. Instead, the aforementioned tradition focuses on the Inferential Conditions only. We intend to show that this neglect has severe consequences not just on syllogistic but on the whole exegesis of Aristotle's Prior Analytics I. Due to these consequences, our objective is to analyse (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • A new framework for justification logic.Alessandro Giordani - 2015 - Journal of Applied Non-Classical Logics 25 (4):308-323.
    The logic of justification provides an in-depth analysis of the epistemic states of an agent. This paper aims at solving some of the problems to which the common interpretation of the operators of justification logic is subject by providing a framework in which a crucial distinction between potential and explicit justifiers is exploited. The paper is subdivided into three sections. The first section offers an introduction to a basic system LJ of justification logic and to the problems concerning its interpretation. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (1 other version)An Essay on the Ancient Ideal of ‘Enraonar’.Enric Trillas & María G. Navarro - 2015 - Archives of Philosophy and History of Soft Computing (I):1-28.
    ‘Reasoning’ can be considered a general concept that, upon speaking, is the ‘enraonar’, a Catalan word that should not be mistaken with ‘explain’ nor with ‘discuss’ which imply more detail, and cover different situations. This article is presented as an essay on the ancient ideal of ‘enraonar’. To that end, it is explained in what sense ‘enraonar’ and reason are one of the most complex phenomena thought has to deal with. Here it is argued that these natural phenomena require a (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Existence Assumptions and Logical Principles: Choice Operators in Intuitionistic Logic.Corey Edward Mulvihill - 2015 - Dissertation, University of Waterloo
    Hilbert’s choice operators τ and ε, when added to intuitionistic logic, strengthen it. In the presence of certain extensionality axioms they produce classical logic, while in the presence of weaker decidability conditions for terms they produce various superintuitionistic intermediate logics. In this thesis, I argue that there are important philosophical lessons to be learned from these results. To make the case, I begin with a historical discussion situating the development of Hilbert’s operators in relation to his evolving program in the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Giving Up on “the Rest of the Language".Adam C. Podlaskowski - 2015 - Acta Analytica 30 (3):293-304.
    In this essay, the tension that Benacerraf identifies for theories of mathematical truth is used as the vehicle for arguing against a particular desideratum for semantic theories. More specifically, I place in question the desideratum that a semantic theory, provided for some area of discourse, should run in parallel with the semantic theory holding for the rest of the language. The importance of this desideratum is also made clear by means of tracing out the subtle implications of its rejection.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Nāgārjuna’s Catuṣkoṭi.Jan Westerhoff - 2006 - Journal of Indian Philosophy 34 (4):367-395.
    The catuṣkoṭi or tetralemma is an argumentative figure familiar to any reader of Buddhist philosophical literature. Roughly speaking it consists of the enumeration of four alternatives: that some propositions holds, that it fails to hold, that it both holds and fails to hold, that it neither holds nor fails to hold. The tetralemma also constitutes one of the more puzzling features of Buddhist philosophy as the use to which it is put in arguments is not immediately obvious and certainly not (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • A Finite Hilbert‐Style Axiomatization of the Implication‐Less Fragment of the Intuitionistic Propositional Calculus.Jordi Rebagliato & Ventura Verdú - 1994 - Mathematical Logic Quarterly 40 (1):61-68.
    In this paper we obtain a finite Hilbert-style axiomatization of the implicationless fragment of the intuitionistic propositional calculus. As a consequence we obtain finite axiomatizations of all structural closure operators on the algebra of {–}-formulas containing this fragment.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • (1 other version)The classical propositional calculus of arguments.Robert Bull - 1984 - Mathematical Logic Quarterly 30 (1‐6):45-86.
    Download  
     
    Export citation  
     
    Bookmark  
  • Counterfactuals as Strict Conditionals.Andrea Iacona - 2015 - Disputatio 7 (41):165-191.
    This paper defends the thesis that counterfactuals are strict conditionals. Its purpose is to show that there is a coherent view according to which counterfactuals are strict conditionals whose antecedent is stated elliptically. Section 1 introduces the view. Section 2 outlines a response to the main argument against the thesis that counterfactuals are strict conditionals. Section 3 compares the view with a proposal due to Aqvist, which may be regarded as its direct predecessor. Sections 4 and 5 explain how the (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Wittgenstein on Mathematical Identities.André Porto - 2012 - Disputatio 4 (34):755-805.
    This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What is inferentialism?Jaroslav Peregrin - unknown
    Inferentialism is the conviction that to be meaningful in the distinctively human way, or to have a 'conceptual content', is to be governed by a certain kind of inferential rules. The term was coined by Robert Brandom as a label for his theory of language; however, it is also naturally applicable (and is growing increasingly common) within the philosophy of logic.
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The truth and nothing but the truth, yet never the whole truth: Frege, Russell and the analysis of unities.Graham Stevens - 2003 - History and Philosophy of Logic 24 (3):221-240.
    It is widely assumed that Russell's problems with the unity of the proposition were recurring and insoluble within the framework of the logical theory of his Principles of Mathematics. By contrast, Frege's functional analysis of thoughts (grounded in a type-theoretic distinction between concepts and objects) is commonly assumed to provide a solution to the problem or, at least, a means of avoiding the difficulty altogether. The Fregean solution is unavailable to Russell because of his commitment to the thesis that there (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Inferentialism and the categoricity problem: Reply to Raatikainen. North-Holland - unknown
    It is sometimes held that rules of inference determine the meaning of the logical constants: the meaning of, say, conjunction is fully determined by either its introduction or its elimination rules, or both; similarly for the other connectives. In a recent paper, Panu Raatikainen argues that this view—call it logical inferentialism—is undermined by some “very little known” considerations by Carnap (1943) to the effect that “in a definite sense, it is not true that the standard rules of inference” themselves suffice (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • On Naturalizing the Epistemology of Mathematics.Jeffrey W. Roland - 2009 - Pacific Philosophical Quarterly 90 (1):63-97.
    In this paper, I consider an argument for the claim that any satisfactory epistemology of mathematics will violate core tenets of naturalism, i.e. that mathematics cannot be naturalized. I find little reason for optimism that the argument can be effectively answered.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • The development of mathematical logic from Russell to Tarski, 1900-1935.Paolo Mancosu, Richard Zach & Calixto Badesa - 2009 - In Leila Haaparanta (ed.), The development of modern logic. New York: Oxford University Press.
    The period from 1900 to 1935 was particularly fruitful and important for the development of logic and logical metatheory. This survey is organized along eight "itineraries" concentrating on historically and conceptually linked strands in this development. Itinerary I deals with the evolution of conceptions of axiomatics. Itinerary II centers on the logical work of Bertrand Russell. Itinerary III presents the development of set theory from Zermelo onward. Itinerary IV discusses the contributions of the algebra of logic tradition, in particular, Löwenheim (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Conceptions of truth in intuitionism.Panu Raatikainen - 2004 - History and Philosophy of Logic 25 (2):131--45.
    Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  • Epistemic truth and excluded middle.Cesare Cozzo - 1998 - Theoria 64 (2-3):243-282.
    Can an epistemic conception of truth and an endorsement of the excluded middle (together with other principles of classical logic abandoned by the intuitionists) cohabit in a plausible philosophical view? In PART I I describe the general problem concerning the relation between the epistemic conception of truth and the principle of excluded middle. In PART II I give a historical overview of different attitudes regarding the problem. In PART III I sketch a possible holistic solution.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Countable choice as a questionable uniformity principle.Peter M. Schuster - 2004 - Philosophia Mathematica 12 (2):106-134.
    Should weak forms of the axiom of choice really be accepted within constructive mathematics? A critical view of the Brouwer-Heyting-Kolmogorov interpretation, accompanied by the intention to include nondeterministic algorithms, leads us to subscribe to Richman's appeal for dropping countable choice. As an alternative interpretation of intuitionistic logic, we propose to renew dialogue semantics.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • What Strong Sociologists can Learn from Critical Realism: Bloor on the History of Aerodynamics.Christopher Norris - 2014 - Journal of Critical Realism 13 (1):3-37.
    This essay presents a long, detailed, in many ways critical but also appreciative account, of David Bloor’s recent book The Enigma of the Aerofoil. I take that work as the crowning statement of ideas and principles developed over the past four decades by Bloor and other exponents of the ‘strong programme’ in the sociology of scientific knowledge. It therefore offers both a test-case of that approach and a welcome opportunity to review, clarify and extend some of the arguments brought against (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Brouwer’s weak counterexamples and testability: Further remarks: Brouwer’s weak counterexamples and testability: Further remarks.Charles Mccarty - 2013 - Review of Symbolic Logic 6 (3):513-523.
    Straightforwardly and strictly intuitionistic inferences show that the Brouwer– Heyting–Kolmogorov interpretation, in the presence of a formulation of the recognition principle, entails the validity of the Law of Testability: that the form ¬ f V ¬¬ f is valid. Therefore, the BHK and recognition, as described here, are inconsistent with the axioms both of intuitionistic mathematics and of Markovian constructivism. This finding also implies that, if the BHK and recognition are suitably formulated, then Brouwer’s original weak counterexample reasoning was fallacious. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)Forms of Luminosity: Epistemic Modality and Hyperintensionality in Mathematics.David Elohim - 2017
    This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Weak disharmony: Some lessons for proof-theoretic semantics.Bogdan Dicher - 2016 - Review of Symbolic Logic (3):1-20.
    A logical constant is weakly disharmonious if its elimination rules are weaker than its introduction rules. Substructural weak disharmony is the weak disharmony generated by structural restrictions on the eliminations. I argue that substructural weak disharmony is not a defect of the constants which exhibit it. To the extent that it is problematic, it calls into question the structural properties of the derivability relation. This prompts us to rethink the issue of controlling the structural properties of a logic by means (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • A pragmatic interpretation of intuitionistic propositional logic.Carlo Dalla Pozza & Claudio Garola - 1995 - Erkenntnis 43 (1):81-109.
    We construct an extension P of the standard language of classical propositional logic by adjoining to the alphabet of a new category of logical-pragmatic signs. The well formed formulas of are calledradical formulas (rfs) of P;rfs preceded by theassertion sign constituteelementary assertive formulas of P, which can be connected together by means of thepragmatic connectives N, K, A, C, E, so as to obtain the set of all theassertive formulas (afs). Everyrf of P is endowed with atruth value defined classically, (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Brouwer versus Hilbert: 1907–1928.J. Posy Carl - 1998 - Science in Context 11 (2):291-325.
    The ArgumentL. E. J. Brouwer and David Hubert, two titans of twentieth-century mathematics, clashed dramatically in the 1920s. Though they were both Kantian constructivists, their notoriousGrundlagenstreitcentered on sharp differences about the foundations of mathematics: Brouwer was prepared to revise the content and methods of mathematics (his “Intuitionism” did just that radically), while Hilbert's Program was designed to preserve and constructively secure all of classical mathematics.Hilbert's interests and polemics at the time led to at least three misconstruals of intuitionism, misconstruals which (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proof Theory and Meaning.B. G. Sundholm - unknown
    Download  
     
    Export citation  
     
    Bookmark   21 citations  
  • Expression for expressivists.Mark Schroeder - 2008 - Philosophy and Phenomenological Research 76 (1):86–116.
    Expressivism’s central idea is that normative sentences bear the same relation to non-cognitive attitudes that ordinary descriptive sentences bear to beliefs: the expression relation. Allan Gibbard teIls us that “that words express judgments will be accepted by almost everyone” - the distinctive contribution of expressivism, his claim goes, is only a view about what kind of judgments words express. But not every account of the expression relation is equally suitable for the expressivist’s purposes. In fact, what I argue in this (...)
    Download  
     
    Export citation  
     
    Bookmark   48 citations  
  • Constructive validity is nonarithmetic.Charles McCarty - 1988 - Journal of Symbolic Logic 53 (4):1036-1041.
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Truth definitions, Skolem functions and axiomatic set theory.Jaakko Hintikka - 1998 - Bulletin of Symbolic Logic 4 (3):303-337.
    §1. The mission of axiomatic set theory. What is set theory needed for in the foundations of mathematics? Why cannot we transact whatever foundational business we have to transact in terms of our ordinary logic without resorting to set theory? There are many possible answers, but most of them are likely to be variations of the same theme. The core area of ordinary logic is by a fairly common consent the received first-order logic. Why cannot it take care of itself? (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Structuralism's unpaid epistemological debts.Bob Hale - 1996 - Philosophia Mathematica 4 (2):124--47.
    One kind of structuralism holds that mathematics is about structures, conceived as a type of abstract entity. Another denies that it is about any distinctively mathematical entities at all—even abstract structures; rather it gives purely general information about what holds of any collection of entities conforming to the axioms of the theory. Of these, pure structuralism is most plausibly taken to enjoy significant advantages over platonism. But in what appears to be its most plausible—modalised—version, even restricted to elementary arithmetic, it (...)
    Download  
     
    Export citation  
     
    Bookmark   11 citations  
  • A constructivist perspective on physics.Peter Fletcher - 2002 - Philosophia Mathematica 10 (1):26-42.
    This paper examines the problem of extending the programme of mathematical constructivism to applied mathematics. I am not concerned with the question of whether conventional mathematical physics makes essential use of the principle of excluded middle, but rather with the more fundamental question of whether the concept of physical infinity is constructively intelligible. I consider two kinds of physical infinity: a countably infinite constellation of stars and the infinitely divisible space-time continuum. I argue (contrary to Hellman) that these do not. (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Computational Complexity Theory and the Philosophy of Mathematics†.Walter Dean - 2019 - Philosophia Mathematica 27 (3):381-439.
    Computational complexity theory is a subfield of computer science originating in computability theory and the study of algorithms for solving practical mathematical problems. Amongst its aims is classifying problems by their degree of difficulty — i.e., how hard they are to solve computationally. This paper highlights the significance of complexity theory relative to questions traditionally asked by philosophers of mathematics while also attempting to isolate some new ones — e.g., about the notion of feasibility in mathematics, the $\mathbf{P} \neq \mathbf{NP}$ (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantical Mutation, Algorithms and Programs.Porto André - 2015 - Dissertatio (S1):44-76.
    This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.
    Download  
     
    Export citation  
     
    Bookmark  
  • Evaluating Arguments Based on Toulmin’s Scheme.Bart Verheij - 2005 - Argumentation 19 (3):347-371.
    Toulmin’s scheme for the layout of arguments (1958, The Uses of Argument, Cambridge University Press, Cambridge) represents an influential tool for the analysis of arguments. The scheme enriches the traditional premises-conclusion model of arguments by distinguishing additional elements, like warrant, backing and rebuttal. The present paper contains a formal elaboration of Toulmin’s scheme, and extends it with a treatment of the formal evaluation of Toulmin-style arguments, which Toulmin did not discuss at all. Arguments are evaluated in terms of a so-called (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • A proof-theoretic treatment of λ-reduction with cut-elimination: λ-calculus as a logic programming language.Michael Gabbay - 2011 - Journal of Symbolic Logic 76 (2):673 - 699.
    We build on an existing a term-sequent logic for the λ-calculus. We formulate a general sequent system that fully integrates αβη-reductions between untyped λ-terms into first order logic. We prove a cut-elimination result and then offer an application of cut-elimination by giving a notion of uniform proof for λ-terms. We suggest how this allows us to view the calculus of untyped αβ-reductions as a logic programming language (as well as a functional programming language, as it is traditionally seen).
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • What is Wrong with Cantor's Diagonal Argument?R. T. Brady & P. A. Rush - 2008 - Logique Et Analyse 51 (1):185-219..
    We first consider the entailment logic MC, based on meaning containment, which contains neither the Law of Excluded Middle (LEM) nor the Disjunctive Syllogism (DS). We then argue that the DS may be assumed at least on a similar basis as the assumption of the LEM, which is then justified over a finite domain or for a recursive property over an infinite domain. In the latter case, use is made of Mathematical Induction. We then show that an instance of the (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations