Switch to: References

Citations of:

Introduction to mathematical logic

Princeton, N.J.,: Van Nostrand (1964)

Add citations

You must login to add citations.
  1. On a certain fallacy concerning I-am-unprovable sentences.Kaave Lajevardi & Saeed Salehi - manuscript
    We demonstrate that, in itself and in the absence of extra premises, the following argument scheme is fallacious: The sentence A says about itself that it has a property F, and A does in fact have the property F; therefore A is true. We then examine an argument of this form in the informal introduction of Gödel’s classic (1931) and examine some auxiliary premises which might have been at work in that context. Philosophically significant as it may be, that particular (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Quasi-set theory: a formal approach to a quantum ontology of properties.Federico Holik, Juan Pablo Jorge, Décio Krause & Olimpia Lombardi - 2022 - Synthese 200 (5):1-26.
    In previous works, an ontology of properties for quantum mechanics has been proposed, according to which quantum systems are bundles of properties with no principle of individuality. The aim of the present article is to show that, since quasi-set theory is particularly suited for dealing with aggregates of items that do not belong to the traditional category of individual, it supplies an adequate meta-language to speak of the proposed ontology of properties and its structure.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Truth and Proof without Models: A Development and Justification of the Truth-valuational Approach (2nd edition).Hanoch Ben-Yami - manuscript
    I explain why model theory is unsatisfactory as a semantic theory and has drawbacks as a tool for proofs on logic systems. I then motivate and develop an alternative, the truth-valuational substitutional approach (TVS), and prove with it the soundness and completeness of the first order Predicate Calculus with identity and of Modal Propositional Calculus. Modal logic is developed without recourse to possible worlds. Along the way I answer a variety of difficulties that have been raised against TVS and show (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Classical Logic is not Uniquely Characterizable.Isabella McAllister - 2022 - Journal of Philosophical Logic 51 (6):1345-1365.
    I show that it is not possible to uniquely characterize classical logic when working within classical set theory. By building on recent work by Eduardo Barrio, Federico Pailos, and Damian Szmuc, I show that for every inferential level (finite and transfinite), either classical logic is not unique at that level or there exist intuitively valid inferences of that level that are not definable in modern classical set theory. The classical logician is thereby faced with a three-horned dilemma: Give up uniqueness (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Introduction to Knowledge, Number and Reality. Encounters with the Work of Keith Hossack.Nils Kürbis, Jonathan Nassim & Bahram Assadian - 2022 - In Nils Kürbis, Bahram Assadian & Jonathan Nassim (eds.), Knowledge, Number and Reality: Encounters with the Work of Keith Hossack. London: Bloomsbury. pp. 1-30.
    The Introduction to "Knowledge, Number and Reality. Encounters with the Work of Keith Hossack" provides an overview over Hossack's work and the contributions to the volume.
    Download  
     
    Export citation  
     
    Bookmark  
  • Remarks on Logic and Critical Thinking.Mudasir Ahmad Tantray - 2021 - Bilaspur, Chhattisgarh 495001, India: Rudra Publications.
    This work is compiled for the students, research scholars, academicians, who are interested in logic, philosophy, mathematics and critical thinking. The main objective of this book is to provide basics or fundamental knowledge for those who have chosen logic as their subject in order to develop analytical and critical ideas. It has been primarily developed to serve as an introductory piece of work which includes explanatory notes on different courses like Inductive logic, Deductive logic, propositional logic, Symbolic logic, Quantification logic, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Wave-Particle Duality and the Objectiveness of “True” and “False”.Arkady Bolotin - 2021 - Foundations of Physics 51 (4):1-27.
    The traditional analysis of the basic version of the double-slit experiment leads to the conclusion that wave-particle duality is a fundamental fact of nature. However, such a conclusion means to imply that we are not only required to have two contradictory pictures of reality but also compelled to abandon the objectiveness of the truth values, “true” and “false”. Yet, even if we could accept wave-like behavior of quantum particles as the best explanation for the build-up of an interference pattern in (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Aspectos metafísicos na física de Newton: Deus.Bruno Camilo de Oliveira - 2011 - In Luiz Henrique de Araújo Dutra & Alexandre Meyer Luz (eds.), Coleção rumos da epistemologia. pp. 186-201.
    CAMILO, Bruno. Aspectos metafísicos na física de Newton: Deus. In: DUTRA, Luiz Henrique de Araújo; LUZ, Alexandre Meyer (org.). Temas de filosofia do conhecimento. Florianópolis: NEL/UFSC, 2011. p. 186-201. (Coleção rumos da epistemologia; 11). Através da análise do pensamento de Isaac Newton (1642-1727) encontramos os postulados metafísicos que fundamentam a sua mecânica natural. Ao deduzir causa de efeito, ele acreditava chegar a uma causa primeira de todas as coisas. A essa primeira causa de tudo, onde toda a ordem e leis (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Introduction to Mathematical Logic, Edition 2021.Vilnis Detlovs & Karlis Podnieks - manuscript
    Textbook for students in mathematical logic. Part 1. Total formalization is possible! Formal theories. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom independence. Interpretations, models and completeness theorems. Normal forms. Tableaux method. Resolution method. Herbrand's theorem.
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Significance of Evidence-based Reasoning in Mathematics, Mathematics Education, Philosophy, and the Natural Sciences (2nd edition).Bhupinder Singh Anand - 2024 - Mumbai: DBA Publishing (Second Edition).
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The limits of classical mereology: Mixed fusions and the failures of mereological hybridism.Joshua Kelleher - 2020 - Dissertation, The University of Queensland
    In this thesis I argue against unrestricted mereological hybridism, the view that there are absolutely no constraints on wholes having parts from many different logical or ontological categories, an exemplar of which I take to be ‘mixed fusions’. These are composite entities which have parts from at least two different categories – the membered (as in classes) and the non-membered (as in individuals). As a result, mixed fusions can also be understood to represent a variety of cross-category summation such as (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • تحلیل منطقی فلسفی پارادوکس اسکولم. Mansooreh - 2015 - Dissertation,
    ریاضیدانان هرروز با مجموعههای ناشمارا، مجموعهی توانی، خوشترتیبی، تناهی و ... سروکار دارند و با این تصور که این مفاهیم همان چیزهایی هستند که در ذهن دارند، کتابها و اثباتهای ریاضی را میخوانند و میفهمند و درمورد آنها صحبت میکنند. اما آیا این مفاهیم همان چیزهایی هستند که ریاضیدانان تصور میکنند؟ اولینبار اسکولم با بیان یک پارادوکس شک خود را به این موضوع ابراز کرد. بنابر قضیهی لوونهایم اسکولم رو به پایین، نظریه مجموعهها مدلی شمارا دارد. این مدل قضیهی کانتور (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • (1 other version)The Significance of Evidence-based Reasoning for Mathematics, Mathematics Education, Philosophy and the Natural Sciences.Bhupinder Singh Anand - forthcoming
    In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under the interpretation. (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Semantics and Truth.Jan Woleński - 2019 - Cham, Switzerland: Springer Verlag.
    The book provides a historical and systematic exposition of the semantic theory of truth formulated by Alfred Tarski in the 1930s. This theory became famous very soon and inspired logicians and philosophers. It has two different, but interconnected aspects: formal-logical and philosophical. The book deals with both, but it is intended mostly as a philosophical monograph. It explains Tarski’s motivation and presents discussions about his ideas as well as points out various applications of the semantic theory of truth to philosophical (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  • Identidade, Indiscernibilidade e Lógica.Kherian Gracher - 2015 - Fundamento 1 (10):21-40.
    Is identity fundamental to formal systems? Even if a system have no the identity relation, is that concept is not assumed in any way – whether in a metalinguistic or intuitive level? In this paper we shall discuss this issue. Otávio Bueno (2014, 2016) argues against the elimination of identity, holding that this concept is fundamental and non-eliminable (even in does systems that claim to do so). Décio Arenhart Krause and Jonas (2015), by the other hand, have a number of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A challenge to the new metaphysics: deRosset, Priority, and explanation.David Fisher, Hao Hong & Timothy Perrine - 2021 - Synthese 198 (7):6403-6433.
    Priority Theory is an increasingly popular view in metaphysics. By seeing metaphysical questions as primarily concerned with what explains what, instead of merely what exists, it promises not only an interesting approach to traditional metaphysical issues but also the resolution of some outstanding disputes. In a recent paper, Louis deRosset argues that Priority Theory isn’t up to the task: Priority Theory is committed to there being explanations that violate a formal constraint on any adequate explanation. This paper critically examines deRosset’s (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Um Curso de Lógica.Ricardo Sousa Silvestre - 2011 - Petrópolis: Vozes.
    Este livro se propõe a ser uma introdução fácil e acessível, porém rigorosa e tecnicamente precisa, à lógica. Prioridade é dada à clareza e lucidez na explicação das definições e teoremas, bem como à aplicação prática da lógica na análise de argumentos. O livro foi concebido de forma a permitir sua utilização por qualquer pessoa interessada em aprender lógica, independentemente de sua área de atuação ou bagagem teórica prévia. Em especial, ele deve ser útil a estudantes e professores de filosofia, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Aftermath Of The Nothing.Laurent Dubois - 2017 - In J.-Y. Beziau, A. Costa-Leite & I. M. L. D’Ottaviano (eds.), CLE, v.81. pp. 93-124.
    This article consists in two parts that are complementary and autonomous at the same time. -/- In the first one, we develop some surprising consequences of the introduction of a new constant called Lambda in order to represent the object ``nothing" or ``void" into a standard set theory. On a conceptual level, it allows to see sets in a new light and to give a legitimacy to the empty set. On a technical level, it leads to a relative resolution of (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • Quantification and Paradox.Edward Ferrier - 2018 - Dissertation, University of Massachusetts Amherst
    I argue that absolutism, the view that absolutely unrestricted quantification is possible, is to blame for both the paradoxes that arise in naive set theory and variants of these paradoxes that arise in plural logic and in semantics. The solution is restrictivism, the view that absolutely unrestricted quantification is not possible. -/- It is generally thought that absolutism is true and that restrictivism is not only false, but inexpressible. As a result, the paradoxes are blamed, not on illicit quantification, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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.
    Download  
     
    Export citation  
     
    Bookmark   3 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  
  • Three Dogmas of First-Order Logic and some Evidence-based Consequences for Constructive Mathematics of differentiating between Hilbertian Theism, Brouwerian Atheism and Finitary Agnosticism.Bhupinder Singh Anand - manuscript
    We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • 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  
  • What is Mathematics: Gödel's Theorem and Around (Edition 2015).Karlis Podnieks - manuscript
    Introduction to mathematical logic. Part 2.Textbook for students in mathematical logic and foundations of mathematics. Platonism, Intuition, Formalism. Axiomatic set theory. Around the Continuum Problem. Axiom of Determinacy. Large Cardinal Axioms. Ackermann's Set Theory. First order arithmetic. Hilbert's 10th problem. Incompleteness theorems. Consequences. Connected results: double incompleteness theorem, unsolvability of reasoning, theorem on the size of proofs, diophantine incompleteness, Loeb's theorem, consistent universal statements are provable, Berry's paradox, incompleteness and Chaitin's theorem. Around Ramsey's theorem.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • The Logical Contingency of Identity.Hanoch Ben-Yami - 2018 - European Journal of Analytic Philosophy 14 (2):5-10.
    I show that intuitive and logical considerations do not justify introducing Leibniz’s Law of the Indiscernibility of Identicals in more than a limited form, as applying to atomic formulas. Once this is accepted, it follows that Leibniz’s Law generalises to all formulas of the first-order Predicate Calculus but not to modal formulas. Among other things, identity turns out to be logically contingent.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Truth via Satisfaction?Nicholas J. J. Smith - 2017 - In Arazim Pavel & Lávička Tomáš (eds.), The Logica Yearbook 2016. College Publications. pp. 273-287.
    One of Tarski’s stated aims was to give an explication of the classical conception of truth—truth as ‘saying it how it is’. Many subsequent commentators have felt that he achieved this aim. Tarski’s core idea of defining truth via satisfaction has now found its way into standard logic textbooks. This paper looks at such textbook definitions of truth in a model for standard first-order languages and argues that they fail from the point of view of explication of the classical notion (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • (2 other versions)Objetos matemáticos sensibles y objetos Matemáticos inteligibles.Víctor Hugo Chica Pérez, Luis F. Echeverri & Edwin Zarrazola - 2016 - Estudios de Filosofía (Universidad de Antioquia) 54:187-205.
    Download  
     
    Export citation  
     
    Bookmark  
  • The Interpretation of Early Modern Philosophy.Paul Taborsky - 2018 - Newcastle upon Tyne: Cambridge Scholars Publishing.
    What is early modern philosophy? Two interpretative trends have predominated in the related literature. One, with roots in the work of Hegel and Heidegger, sees early modern thinking either as the outcome of a process of gradual rationalization (leading to the principle of sufficient reason, and to "ontology" as distinct from metaphysics), or as a reflection of an inherent subjectivity or representational semantics. The other sees it as reformulations of medieval versions of substance and cause, suggested by, or leading to, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Composition and Identities.Manuel Lechthaler - 2017 - Dissertation, University of Otago
    Composition as Identity is the view that an object is identical to its parts taken collectively. I elaborate and defend a theory based on this idea: composition is a kind of identity. Since this claim is best presented within a plural logic, I develop a formal system of plural logic. The principles of this system differ from the standard views on plural logic because one of my central claims is that identity is a relation which comes in a variety of (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  • Frege's Begriffsschrift is Indeed First-Order Complete.Yang Liu - 2017 - History and Philosophy of Logic 38 (4):342-344.
    It is widely taken that the first-order part of Frege's Begriffsschrift is complete. However, there does not seem to have been a formal verification of this received claim. The general concern is that Frege's system is one axiom short in the first-order predicate calculus comparing to, by now, the standard first-order theory. Yet Frege has one extra inference rule in his system. Then the question is whether Frege's first-order calculus is still deductively sufficient as far as the first-order completeness is (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Problems in Epistemic Space.Jens Christian Bjerring - 2012 - Journal of Philosophical Logic 43 (1):153-170.
    When a proposition might be the case, for all an agent knows, we can say that the proposition is epistemically possible for the agent. In the standard possible worlds framework, we analyze modal claims using quantification over possible worlds. It is natural to expect that something similar can be done for modal claims involving epistemic possibility. The main aim of this paper is to investigate the prospects of constructing a space of worlds—epistemic space—that allows us to model what is epistemically (...)
    Download  
     
    Export citation  
     
    Bookmark   12 citations  
  • Temas em filosofia contemporânea II.Becker Arenhart Jonas Rafael, Conte Jaimir & Mortari Cezar Augusto - 2016 - Florianópolis, SC, Brasil: NEL/UFSC - Universidade Federal de Santa Catarina.
    Sumário: 1. El caso del método científico, Alberto Oliva; 2. Un capítulo de la prehistoria de las ciencias humanas: la defensa por Vico de la tópica, Jorge Alberto Molina; 3. La figura de lo cognoscible y los mundos, Pablo Vélez León; 4. Lebenswelt de Husserl y las neurociencias, Vanessa Fontana; 5. El uso estético del concepto de mundos posibles, Jairo Dias Carvalho; 6. Realismo normativo no naturalista y mundos morales imposibles, Alcino Eduardo Bonella; 7. En la lógica de pragmatismo, Hércules (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • A Methodology for Teaching Logic-Based Skills to Mathematics Students.Arnold Cusmariu - 2016 - Symposion: Theoretical and Applied Inquiries in Philosophy and Social Sciences 3 (3):259-292.
    Mathematics textbooks teach logical reasoning by example, a practice started by Euclid; while logic textbooks treat logic as a subject in its own right without practical application to mathematics. Stuck in the middle are students seeking mathematical proficiency and educators seeking to provide it. To assist them, the article explains in practical detail how to teach logic-based skills such as: making mathematical reasoning fully explicit; moving from step to step in a mathematical proof in logically correct ways; and checking to (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Same Same But Different: An Alphabetically Innocent Compositional Predicate Logic.Udo Klein & Wolfgang Sternefeld - 2017 - Journal of Philosophical Logic 46 (1):65-95.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Church‐Rosser Property for Some Extensions of λβ‐Reducibility Relation.Andrei A. Kuzichev - 1991 - Mathematical Logic Quarterly 37 (33-35):547-559.
    Download  
     
    Export citation  
     
    Bookmark  
  • (2 other versions)What is a Contradiction?Patrick Grim - 2004 - In Graham Priest, Jc Beall & Bradley P. Armour-Garb (eds.), The law of non-contradiction : new philosophical essays. New York: Oxford University Press. pp. 49--72.
    The Law of Non-Contradiction holds that both sides of a contradiction cannot be true. Dialetheism is the view that there are contradictions both sides of which are true. Crucial to the dispute, then, is the central notion of contradiction. My first step here is to work toward clarification of that simple and central notion: Just what is a contradiction?
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  • Lógica positiva : plenitude, potencialidade e problemas (do pensar sem negação).Tomás Barrero - 2004 - Dissertation, Universidade Estadual de Campinas
    This work studies some problems connected to the role of negation in logic, treating the positive fragments of propositional calculus in order to deal with two main questions: the proof of the completeness theorems in systems lacking negation, and the puzzle raised by positive paradoxes like the well-known argument of Haskel Curry. We study the constructive com- pleteness method proposed by Leon Henkin for classical fragments endowed with implication, and advance some reasons explaining what makes difficult to extend this constructive (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Sentences with finite models.C. J. Ash - 1975 - Mathematical Logic Quarterly 21 (1):401-404.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • The elementary foundations of spacetime.James Ax - 1978 - Foundations of Physics 8 (7-8):507-546.
    This paper is an amalgam of physics and mathematical logic. It contains an elementary axiomatization of spacetime in terms of the primitive concepts of particle, signal, and transmission and reception. In the elementary language formed with these predicates we state AxiomsE, C, andU, which are naturally interpretable as basic physical properties of particles and signals. We then determine all mathematical models of this axiom system; these represent certain generalizations of the standard model. Also, the automorphism groups of the models are (...)
    Download  
     
    Export citation  
     
    Bookmark   19 citations  
  • Uma Lógica da Indistinguibilidade.J. R. Arenhart & D. Krause - 2012 - Disputatio 4 (34):555-573.
    Arenhart_Krause_Uma-logica-da-indistinguibilidade.
    Download  
     
    Export citation  
     
    Bookmark  
  • 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   29 citations  
  • Sets and Plural Comprehension.Keith Hossack - 2014 - Journal of Philosophical Logic 43 (2-3):517-539.
    The state of affairs of some things falling under a predicate is supposedly a single entity that collects these things as its constituents. But whether we think of a state of affairs as a fact, a proposition or a possibility, problems will arise if we adopt a plural logic. For plural logic says that any plurality include themselves, so whenever there are some things, the state of affairs of their plural self-inclusion should be a single thing that collects them all. (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  • Induction and inference to the best explanation.Ruth Weintraub - 2013 - Philosophical Studies 166 (1):203-216.
    In this paper I adduce a new argument in support of the claim that IBE is an autonomous form of inference, based on a familiar, yet surprisingly, under-discussed, problem for Hume’s theory of induction. I then use some insights thereby gleaned to argue for the claim that induction is really IBE, and draw some normative conclusions.
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  • (1 other version)A Diagrammatic Calculus of Syllogisms.Ruggero Pagnan - 2012 - Journal of Logic, Language and Information 21 (3):347-364.
    A diagrammatic logical calculus for the syllogistic reasoning is introduced and discussed. We prove that a syllogism is valid if and only if it is provable in the calculus.
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  • Logic For Expressivists.Ruth Weintraub - 2011 - Australasian Journal of Philosophy 89 (4):601 - 616.
    In this paper I offer solutions to two problems which our moral practice engenders for expressivism, the meta-ethical doctrine according to which ethical statements aren't propositional, susceptible of truth and falsity, but, rather, express the speaker's non-cognitive attitudes. First, the expressivist must show that arguments which are valid when interpreted propositionally are valid when construed expressivistically, and vice versa. The second difficulty is the Frege-Geach problem. Moral arguments employ atomic sentences, negations, disjunctions, etc., and, by expressivist lights, the meaning of (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  • How do We Know that the Godel Sentence of a Consistent Theory Is True?G. Sereny - 2011 - Philosophia Mathematica 19 (1):47-73.
    Some earlier remarks Michael Dummett made on Gödel’s theorem have recently inspired attempts to formulate an alternative to the standard demonstration of the truth of the Gödel sentence. The idea underlying the non-standard approach is to treat the Gödel sentence as an ordinary arithmetical one. But the Gödel sentence is of a very specific nature. Consequently, the non-standard arguments are conceptually mistaken. In this paper, both the faulty arguments themselves and the general reasons underlying their failure are analysed. The analysis (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Lessons from the History and Philosophy of Science regarding the Research Assessment Exercise.Donald Gillies - 2007 - Royal Institute of Philosophy Supplement 61:37-73.
    The Research Assessment Exercise was introduced in 1986 by Thatcher, and was continued by Blair. So it has now been running for 21 years. During this time, the rules governing the RAE have changed considerably, and the interval between successive RAEs has also varied. These changes are not of great importance as far as the argument of this paper is concerned. We will concentrate on the main features of the RAE which can be summarised as follows.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • On the notion of effectiveness.Stewart Shapiro - 1980 - History and Philosophy of Logic 1 (1-2):209-230.
    This paper focuses on two notions of effectiveness which are not treated in detail elsewhere. Unlike the standard computability notion, which is a property of functions themselves, both notions of effectiveness are properties of interpreted linguistic presentations of functions. It is shown that effectiveness is epistemically at least as basic as computability in the sense that decisions about computability normally involve judgments concerning effectiveness. There are many occurrences of the present notions in the writings of logicians; moreover, consideration of these (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations