Switch to: References

Add citations

You must login to add citations.
  1. Generalized Revenge.Julien Murzi & Lorenzo Rossi - 2019 - Australasian Journal of Philosophy 98 (1):153-177.
    Since Saul Kripke’s influential work in the 1970s, the revisionary approach to semantic paradox—the idea that semantic paradoxes must be solved by weakening classical logic—has been increasingly popular. In this paper, we present a new revenge argument to the effect that the main revisionary approaches breed new paradoxes that they are unable to block.
    Download  
     
    Export citation  
     
    Bookmark   26 citations  
  • Stoic Sequent Logic and Proof Theory.Susanne Bobzien - 2019 - History and Philosophy of Logic 40 (3):234-265.
    This paper contends that Stoic logic (i.e. Stoic analysis) deserves more attention from contemporary logicians. It sets out how, compared with contemporary propositional calculi, Stoic analysis is closest to methods of backward proof search for Gentzen-inspired substructural sequent logics, as they have been developed in logic programming and structural proof theory, and produces its proof search calculus in tree form. It shows how multiple similarities to Gentzen sequent systems combine with intriguing dissimilarities that may enrich contemporary discussion. Much of Stoic (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • A Unified Theory of Truth and Paradox.Lorenzo Rossi - 2019 - Review of Symbolic Logic 12 (2):209-254.
    The sentences employed in semantic paradoxes display a wide range of semantic behaviours. However, the main theories of truth currently available either fail to provide a theory of paradox altogether, or can only account for some paradoxical phenomena by resorting to multiple interpretations of the language. In this paper, I explore the wide range of semantic behaviours displayed by paradoxical sentences, and I develop a unified theory of truth and paradox, that is a theory of truth that also provides a (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Semantical analysis of weak Kleene logics.Roberto Ciuni & Massimiliano Carrara - 2019 - Journal of Applied Non-Classical Logics 29 (1):1-36.
    This paper presents a semantical analysis of the Weak Kleene Logics Kw3 and PWK from the tradition of Bochvar and Halldén. These are three-valued logics in which a formula takes the third value if at least one of its components does. The paper establishes two main results: a characterisation result for the relation of logical con- sequence in PWK – that is, we individuate necessary and sufficient conditions for a set.
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Obligations, Sophisms and Insolubles.Stephen Read - 2013 - National Research University “Higher School of Economics” - (Series WP6 “Humanities”).
    The focus of the paper is a sophism based on the proposition ‘This is Socrates’ found in a short treatise on obligational casus attributed to William Heytesbury. First, the background to the puzzle in Walter Burley’s traditional account of obligations (the responsio antiqua), and the objections and revisions made by Richard Kilvington and Roger Swyneshed, are presented. All six types of obligations described by Burley are outlined, including sit verum, the type used in the sophism. Kilvington and Swyneshed disliked the (...)
    Download  
     
    Export citation  
     
    Bookmark   2 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  
  • The Truth Assignments That Differentiate Human Reasoning From Mechanistic Reasoning: The Evidence-Based Argument for Lucas' Goedelian Thesis.Bhupinder Singh Anand - 2016 - Cognitive Systems Research 40:35-45.
    We consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary evidence-based definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways: (1) in terms of classical algorithmic verifiabilty; and (2) in terms of finitary algorithmic computability. We then show that the two definitions correspond to two distinctly different assignments of satisfaction and truth (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Proof Theory of Finite-valued Logics.Richard Zach - 1993 - Dissertation, Technische Universität Wien
    The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...)
    Download  
     
    Export citation  
     
    Bookmark   17 citations  
  • Defining LFIs and LFUs in extensions of infectious logics.Szmuc Damian Enrique - 2016 - Journal of Applied Non-Classical Logics 26 (4):286-314.
    The aim of this paper is to explore the peculiar case of infectious logics, a group of systems obtained generalizing the semantic behavior characteristic of the -fragment of the logics of nonsense, such as the ones due to Bochvar and Halldén, among others. Here, we extend these logics with classical negations, and we furthermore show that some of these extended systems can be properly regarded as logics of formal inconsistency and logics of formal undeterminedness.
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • (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  
  • LP, K3, and FDE as Substructural Logics.Lionel Shapiro - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications.
    Building on recent work, I present sequent systems for the non-classical logics LP, K3, and FDE with two main virtues. First, derivations closely resemble those in standard Gentzen-style systems. Second, the systems can be obtained by reformulating a classical system using nonstandard sequent structure and simply removing certain structural rules (relatives of exchange and contraction). I clarify two senses in which these logics count as “substructural.”.
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • What is morphological computation? On how the body contributes to cognition and control.Vincent C. Müller & Matej Hoffmann - 2017 - Artificial Life 23 (1):1-24.
    The contribution of the body to cognition and control in natural and artificial agents is increasingly described as “off-loading computation from the brain to the body”, where the body is said to perform “morphological computation”. Our investigation of four characteristic cases of morphological computation in animals and robots shows that the ‘off-loading’ perspective is misleading. Actually, the contribution of body morphology to cognition and control is rarely computational, in any useful sense of the word. We thus distinguish (1) morphology that (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Supervaluationism and Its Logics.Achille C. Varzi - 2007 - Mind 116 (463):633-676.
    What sort of logic do we get if we adopt a supervaluational semantics for vagueness? As it turns out, the answer depends crucially on how the standard notion of validity as truth preservation is recasted. There are several ways of doing that within a supervaluational framework, the main alternative being between “global” construals (e.g., an argument is valid iff it preserves truth-under-all-precisifications) and “local” construals (an argument is valid iff, under all precisifications, it preserves truth). The former alternative is by (...)
    Download  
     
    Export citation  
     
    Bookmark   70 citations  
  • Computationalism, The Church–Turing Thesis, and the Church–Turing Fallacy.Gualtiero Piccinini - 2007 - Synthese 154 (1):97-120.
    The Church–Turing Thesis (CTT) is often employed in arguments for computationalism. I scrutinize the most prominent of such arguments in light of recent work on CTT and argue that they are unsound. Although CTT does nothing to support computationalism, it is not irrelevant to it. By eliminating misunderstandings about the relationship between CTT and computationalism, we deepen our appreciation of computationalism as an empirical hypothesis.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • Neo-Logicism and Its Logic.Panu Raatikainen - 2020 - History and Philosophy of Logic 41 (1):82-95.
    The rather unrestrained use of second-order logic in the neo-logicist program is critically examined. It is argued in some detail that it brings with it genuine set-theoretical existence assumptions and that the mathematical power that Hume’s Principle seems to provide, in the derivation of Frege’s Theorem, comes largely from the ‘logic’ assumed rather than from Hume’s Principle. It is shown that Hume’s Principle is in reality not stronger than the very weak Robinson Arithmetic Q. Consequently, only a few rudimentary facts (...)
    Download  
     
    Export citation  
     
    Bookmark   5 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  
  • The Paraconsistent Logic of Quantum Superpositions.Newton C. A. da Costa & Christian de Ronde - 2013 - Foundations of Physics 43 (7):845-858.
    Physical superpositions exist both in classical and in quantum physics. However, what is exactly meant by ‘superposition’ in each case is extremely different. In this paper we discuss some of the multiple interpretations which exist in the literature regarding superpositions in quantum mechanics. We argue that all these interpretations have something in common: they all attempt to avoid ‘contradiction’. We argue in this paper, in favor of the importance of developing a new interpretation of superpositions which takes into account contradiction, (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  • Axioms in Mathematical Practice.Dirk Schlimm - 2013 - Philosophia Mathematica 21 (1):37-92.
    On the basis of a wide range of historical examples various features of axioms are discussed in relation to their use in mathematical practice. A very general framework for this discussion is provided, and it is argued that axioms can play many roles in mathematics and that viewing them as self-evident truths does not do justice to the ways in which mathematicians employ axioms. Possible origins of axioms and criteria for choosing axioms are also examined. The distinctions introduced aim at (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • Does the deduction theorem fail for modal logic?Raul Hakli & Sara Negri - 2012 - Synthese 187 (3):849-867.
    Various sources in the literature claim that the deduction theorem does not hold for normal modal or epistemic logic, whereas others present versions of the deduction theorem for several normal modal systems. It is shown here that the apparent problem arises from an objectionable notion of derivability from assumptions in an axiomatic system. When a traditional Hilbert-type system of axiomatic logic is generalized into a system for derivations from assumptions, the necessitation rule has to be modified in a way that (...)
    Download  
     
    Export citation  
     
    Bookmark   32 citations  
  • Complexity, Hypersets, and the Ecological Perspective on Perception-Action.Anthony Chemero & M. T. Turvey - 2007 - Biological Theory 2 (1):23-36.
    The ecological approach to perception-action is unlike the standard approach in several respects. It takes the animal-in-its-environment as the proper scale for the theory and analysis of perception-action, it eschews symbol based accounts of perception-action, it promotes self-organization as the theory-constitutive metaphor for perception-action, and it employs self-referring, non-predicative definitions in explaining perception-action. The present article details the complexity issues confronted by the ecological approach in terms suggested by Rosen and introduces non-well-founded set theory as a potentially useful tool for (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Proceedings of Sinn und Bedeutung 9.Emar Maier, Corien Bary & Janneke Huitink (eds.) - 2005 - Nijmegen Centre for Semantics.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • On understanding understanding.Roger Penrose - 1997 - International Studies in the Philosophy of Science 11 (1):7 – 20.
    It is argued, by use of specific examples, that mathematical understanding is something which cannot be modelled in terms of entirely computational procedures. Our conception of a natural number (a non-negative integer: 0, 1, 2, 3,…) is something which goes beyond any formulation in terms of computational rules. Our ability to perceive the properties of natural numbers depends upon our awareness, and represents just one of the many ways in which awareness provides an essential ingredient to our ability to understand. (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • Schemata: The concept of schema in the history of logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Intensionality and the gödel theorems.David D. Auerbach - 1985 - Philosophical Studies 48 (3):337--51.
    Philosophers of language have drawn on metamathematical results in varied ways. Extensionalist philosophers have been particularly impressed with two, not unrelated, facts: the existence, due to Frege/Tarski, of a certain sort of semantics, and the seeming absence of intensional contexts from mathematical discourse. The philosophical import of these facts is at best murky. Extensionalists will emphasize the success and clarity of the model theoretic semantics; others will emphasize the relative poverty of the mathematical idiom; still others will question the aptness (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Simplicity of recursively enumerable sets.Robert W. Robinson - 1967 - Journal of Symbolic Logic 32 (2):162-172.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Trial and error predicates and the solution to a problem of Mostowski.Hilary Putnam - 1965 - Journal of Symbolic Logic 30 (1):49-57.
    Download  
     
    Export citation  
     
    Bookmark   98 citations  
  • More about relatively lawless sequences.Joan Rand Moschovakis - 1994 - Journal of Symbolic Logic 59 (3):813-829.
    In the author's Relative lawlessness in intuitionistic analysis [this JOURNAL. vol. 52 (1987). pp. 68-88] and An intuitionistic theory of lawlike, choice and lawless sequences [Logic Colloquium '90. Springer-Verlag. Berlin. 1993. pp. 191-209] a notion of lawless ness relative to a countable information base was developed for classical and intuitionistic analysis. Here we simplify the predictability property characterizing relatively lawless sequences and derive it from the new axiom of closed data (classically equivalent to open data) together with a natural principle (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Functions and functionals on finite systems.Libo Lo - 1992 - Journal of Symbolic Logic 57 (1):118-130.
    Download  
     
    Export citation  
     
    Bookmark  
  • A survey of partial degrees.Leonard P. Sasso - 1975 - Journal of Symbolic Logic 40 (2):130-140.
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • A renaissance of empiricism in the recent philosophy of mathematics.Imre Lakatos - 1976 - British Journal for the Philosophy of Science 27 (3):201-223.
    Download  
     
    Export citation  
     
    Bookmark   44 citations  
  • (1 other version)A completeness theorem in modal logic.Saul Kripke - 1959 - Journal of Symbolic Logic 24 (1):1-14.
    Download  
     
    Export citation  
     
    Bookmark   275 citations  
  • (1 other version)Mathematical significance of consistency proofs.G. Kreisel - 1958 - Journal of Symbolic Logic 23 (2):155-182.
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  • Effective Bounds from ineffective proofs in analysis: An application of functional interpretation and majorization.Ulrich Kohlenbach - 1992 - Journal of Symbolic Logic 57 (4):1239-1273.
    We show how to extract effective bounds Φ for $\bigwedge u^1 \bigwedge v \leq_\gamma tu \bigvee w^\eta G_0$ -sentences which depend on u only (i.e. $\bigwedge u \bigwedge v \leq_\gamma tu \bigvee w \leq_\eta \Phi uG_0$ ) from arithmetical proofs which use analytical assumptions of the form \begin{equation*}\tag{*}\bigwedge x^\delta\bigvee y \leq_\rho sx \bigwedge z^\tau F_0\end{equation*} (γ, δ, ρ, and τ are arbitrary finite types, η ≤ 2, G0 and F0 are quantifier-free, and s and t are closed terms). If τ (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  • The mathematical import of zermelo's well-ordering theorem.Akihiro Kanamori - 1997 - Bulletin of Symbolic Logic 3 (3):281-311.
    Set theory, it has been contended, developed from its beginnings through a progression ofmathematicalmoves, despite being intertwined with pronounced metaphysical attitudes and exaggerated foundational claims that have been held on its behalf. In this paper, the seminal results of set theory are woven together in terms of a unifying mathematical motif, one whose transmutations serve to illuminate the historical development of the subject. The motif is foreshadowed in Cantor's diagonal proof, and emerges in the interstices of the inclusion vs. membership (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  • What is Tarski's common concept of consequence?Ignacio Jané - 2006 - Bulletin of Symbolic Logic 12 (1):1-42.
    In 1936 Tarski sketched a rigorous definition of the concept of logical consequence which, he claimed, agreed quite well with common usage-or, as he also said, with the common concept of consequence. Commentators of Tarski's paper have usually been elusive as to what this common concept is. However, being clear on this issue is important to decide whether Tarski's definition failed (as Etchemendy has contended) or succeeded (as most commentators maintain). I argue that the common concept of consequence that Tarski (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • (1 other version)Gödel numberings of partial recursive functions.Hartley Rogers - 1958 - Journal of Symbolic Logic 23 (3):331-341.
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  • String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  • On the weak Kleene scheme in Kripke's theory of truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
    It is well known that the following features hold of AR + T under the strong Kleene scheme, regardless of the way the language is Gödel numbered: 1. There exist sentences that are neither paradoxical nor grounded. 2. There are 2ℵ0 fixed points. 3. In the minimal fixed point the weakly definable sets (i.e., sets definable as {n∣ A(n) is true in the minimal fixed point where A(x) is a formula of AR + T) are precisely the Π1 1 sets. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • The impact of the lambda calculus in logic and computer science.Henk Barendregt - 1997 - Bulletin of Symbolic Logic 3 (2):181-215.
    One of the most important contributions of A. Church to logic is his invention of the lambda calculus. We present the genesis of this theory and its two major areas of application: the representation of computations and the resulting functional programming languages on the one hand and the representation of reasoning and the resulting systems of computer mathematics on the other hand.
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  • Reconstructor: a computer program that uses three-valued logics to represent lack of information in empirical scientific contexts.Ariel Jonathan Roffé - 2020 - Journal of Applied Non-Classical Logics 30 (1):68-91.
    In this article, I develop three conceptual innovations within the area of formal metatheory, and present a computer program, called Reconstructor, that implements those developments. The first development consists in a methodology for testing formal reconstructions of scientific theories, which involves checking both whether translations of paradigmatically successful applications into models satisfy the formalisation of the laws, and also whether unsuccessful applications do not. I show how Reconstructor can help carry this out, since it allows the end-user to specify a (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Using Ramsey’s theorem once.Jeffry L. Hirst & Carl Mummert - 2019 - Archive for Mathematical Logic 58 (7-8):857-866.
    We show that \\) cannot be proved with one typical application of \\) in an intuitionistic extension of \ to higher types, but that this does not remain true when the law of the excluded middle is added. The argument uses Kohlenbach’s axiomatization of higher order reverse mathematics, results related to modified reducibility, and a formalization of Weihrauch reducibility.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Independence Day?Matthew Mandelkern & Daniel Rothschild - 2019 - Journal of Semantics 36 (2):193-210.
    Two recent and influential papers, van Rooij 2007 and Lassiter 2012, propose solutions to the proviso problem that make central use of related notions of independence—qualitative in the first case, probabilistic in the second. We argue here that, if these solutions are to work, they must incorporate an implicit assumption about presupposition accommodation, namely that accommodation does not interfere with existing qualitative or probabilistic independencies. We show, however, that this assumption is implausible, as updating beliefs with conditional information does not (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • „Kauza Afthonios“: Ilustrácia k otázke správneho riešenia antických paradoxov.Vladimir Marko - 2014 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 1 (20):88-103.
    The article deals with the question of correct reconstruction of and solutions to the ancient paradoxes. Analyzing one contemporary example of a reconstruction of the so-called Crocodile Paradox, taken from Sorensen’s A Brief History of Paradox, the author shows how the original pattern of paradox could have been incorrectly transformed in its meaning by overlooking its adequate historical background. Sorensen’s quoting of Aphthonius, as the author of a certain solution to the paradox, seems to be a systematic failure since the (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Rosy with Sider? The Case of the Metaphysical Liar.Simon Hewitt - 2018 - Journal of Philosophical Logic 47 (5):787-801.
    An important trend in contemporary metaphysics denies that the structure of natural language is an important datum for investigating fundamental structure. Ted Sider proceeds on this basis to propose a metaphysical semantics for natural language. Within this framework he argues that natural language and a fundamental, ‘jointcarving’, language could be subject to distinct logics. Developing an argument of Hartry Field’s, I show that Sider’s preferred option of fundamental classicality combined with non-fundamental non-classicality trivialises within the framework of Siderian metaphysical semantics. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Structure Theory for Projective Sets in the Plane With Countable Sections.Yutaka Yasuda - 1986 - Mathematical Logic Quarterly 32 (31-34):481-501.
    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  
  • The First Recursion Theorem for Iterative Combinatory Spaces.D. Skordev - 1979 - Mathematical Logic Quarterly 25 (3-6):69-77.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • (1 other version)Some Remarks on Uniform Halting Problems.Stephen L. Bloom - 1971 - Mathematical Logic Quarterly 17 (1):281-284.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Physical Church–Turing Thesis: Modest or Bold?Gualtiero Piccinini - 2011 - British Journal for the Philosophy of Science 62 (4):733-769.
    This article defends a modest version of the Physical Church-Turing thesis (CT). Following an established recent trend, I distinguish between what I call Mathematical CT—the thesis supported by the original arguments for CT—and Physical CT. I then distinguish between bold formulations of Physical CT, according to which any physical process—anything doable by a physical system—is computable by a Turing machine, and modest formulations, according to which any function that is computable by a physical system is computable by a Turing machine. (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  • Trivalent logics arising from L-models for the Lambek calculus with constants.S. L. Kuznetsov - 2014 - Journal of Applied Non-Classical Logics 24 (1-2):132-137.
    We consider language models for the Lambek calculus that allow empty antecedents and enrich them with constants for the empty language and for the language containing only the empty word. No complete calculi are known with respect to these semantics, and in this paper we consider several trivalent systems that arise as fragments of these models? logics.
    Download  
     
    Export citation  
     
    Bookmark