Related categories

24705 found
Order:
1 — 50 / 24705
Material to categorize
  1. AISC 2018 - Extended Abstract Pavia - December 2018.Fabrizio Calzavarini & Antonio Lieto - forthcoming - In Cristiano Chesi (ed.), AISC Proceedings, Pavia. 27100 Pavia, Province of Pavia, Italy: pp. 20-23.
    Extended abstract presented at the AISC 2018 Conference, 15th International Conference of the Italian Association of Cognitive Science, Pavia.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  2. Meaning and Intentionality. A Dialogical Approach.Mohammad Shafiei - 2018 - London: College Publications.
    The objective of the present work is to develop a theory of meaning based on the method of transcendental phenomenology. The key idea of the project is to explain the constitution of the meaning by means of the analyses of the intentionality. We have investigated different intentional acts which are functioning in the expression and in constructing the meanings. In this regard we have studied, first, the act of the primordial expression, in which a content of an intuition is raised (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  3. The Normativity of Kant's Logical Laws.Jessica Leech - 2017 - History of Philosophy Quarterly 34 (4).
    According to received wisdom, Kant takes the laws of logic to be normative laws of thought. This has been challenged by Tolley (2006). In this paper, I defend the received wisdom, but with an important modification: Kant's logical laws are constitutive norms for thought. The laws of logic do tell us what thinking is, not because all thoughts are in conformity with logical laws, but because all thoughts are, by nature, subject to the standard of logic.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   2 citations  
  4. Subtlety and Partition Relations.Toshimichi Usuba - 2016 - Mathematical Logic Quarterly 62 (1-2):59-71.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. The Suppression of Modus Ponens as a Case of Pragmatic Preconditional Reasoning.Jean-Francois Bonnefon & Denis J. Hilton - 2002 - Thinking and Reasoning 8 (1):21-40.
  6. A Study on Existence: Two Approaches and a Deflationist Compromise.Giuliano Bacigalupo - 2017 - Newcastle upon Tyne: Cambridge Scholars.
    The problem of existence is reputed to be one of the oldest and most intractable of philosophy: What do we mean when we say that something exists or, even more challengingly, that something does not exist? Intuitively, it seems that we all have a firm grip upon what we are saying. But how should we explain the difference–if there is any–between statements about existence and other, garden-variety predicative statements? What is the difference between saying that something exists and saying, for (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  7. Note on the Significance of the New Logic.Frederique Janssen-Lauret - 2018 - The Reasoner 6 (12):47-48.
    Brief note explaining the content, importance, and historical context of my joint translation of Quine's The Significance of the New Logic with my single-authored historical-philosophical essay 'Willard Van Orman Quine's Philosophical Development in the 1930s and 1940s'.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  8. Responses to Masao Abe.Julia Ching - 1987 - Buddhist-Christian Studies 7:37.
  9. Responses to Masao Abe.Donald Mitchell - 1987 - Buddhist-Christian Studies 7:25.
  10. Second-Order Logic and the Power Set.Ethan Brauer - 2018 - Journal of Philosophical Logic 47 (1):123-142.
    Ignacio Jane has argued that second-order logic presupposes some amount of set theory and hence cannot legitimately be used in axiomatizing set theory. I focus here on his claim that the second-order formulation of the Axiom of Separation presupposes the character of the power set operation, thereby preventing a thorough study of the power set of infinite sets, a central part of set theory. In reply I argue that substantive issues often cannot be separated from a logic, but rather must (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  11. Bridging Ranking Theory and the Stability Theory of Belief.Eric Raidl & Niels Skovgaard-Olsen - 2017 - Journal of Philosophical Logic 46 (6):577-609.
    In this paper we compare Leitgeb’s stability theory of belief and Spohn’s ranking-theoretic account of belief. We discuss the two theories as solutions to the lottery paradox. To compare the two theories, we introduce a novel translation between ranking functions and probability functions. We draw some crucial consequences from this translation, in particular a new probabilistic belief notion. Based on this, we explore the logical relation between the two belief theories, showing that models of Leitgeb’s theory correspond to certain models (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  12. Exclusion Problems and the Cardinality of Logical Space.Tim Button - 2017 - Journal of Philosophical Logic 46 (6):611-623.
    Wittgenstein’s atomist picture, as embodied in his Tractatus, is initially very appealing. However, it faces the famous colour-exclusion problem. In this paper, I shall explain when the atomist picture can be defended in the face of that problem; and, in the light of this, why the atomist picture should be rejected. I outline the atomist picture in Section 1. In Section 2, I present a very simple necessary and sufficient condition for the tenability of the atomist picture. The condition is: (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. The Gamma Question for Many-One Degrees.Matthew Harrison-Trainor - 2017 - Annals of Pure and Applied Logic 168 (7):1396-1405.
  14. Computable Structures in Generic Extensions.Julia Knight, Antonio Montalbán & Noah Schweber - 2016 - Journal of Symbolic Logic 81 (3):814-832.
  15. Unifying the Model Theory of First-Order and Second-Order Arithmetic viaWKL0⁎.Ali Enayat & Tin Lok Wong - 2017 - Annals of Pure and Applied Logic 168 (6):1247-1283.
  16. Cell Decomposition and Classification of Definable Sets in P-Optimal Fields.Luck Darnière & Immanuel Halpuczok - 2017 - Journal of Symbolic Logic 82 (1):120-136.
  17. A Small Look at the Ear Recognition Process Using a Hybrid Approach.Pedro Luis Galdámez, Angélica González Arrieta & Miguel Ramón Ramón - 2016 - Journal of Applied Logic 17:4-13.
  18. Mitchell's Theorem Revisited.Thomas Gilton & John Krueger - 2017 - Annals of Pure and Applied Logic 168 (5):922-1016.
  19. Honest Elementary Degrees and Degrees of Relative Provability Without the Cupping Property.Paul Shafer - 2017 - Annals of Pure and Applied Logic 168 (5):1017-1031.
  20. Ordinals and Graph Decompositions.Stephen Flood - 2017 - Annals of Pure and Applied Logic 168 (4):824-839.
  21. Computing the Number of Types of Infinite Length.Will Boney - 2017 - Notre Dame Journal of Formal Logic 58 (1):133-154.
    We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if κ≤λ, then sup ‖M‖=λ|Sκ|=|)κ. We show that this holds for any abstract elementary class with λ-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Strange Structures From Computable Model Theory.Howard Becker - 2017 - Notre Dame Journal of Formal Logic 58 (1):97-105.
    Let L be a countable language, let I be an isomorphism-type of countable L-structures, and let a∈2ω. We say that I is a-strange if it contains a computable-from-a structure and its Scott rank is exactly ω1a. For all a, a-strange structures exist. Theorem : If C is a collection of ℵ1 isomorphism-types of countable structures, then for a Turing cone of a’s, no member of C is a-strange.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  23. A Uniform Version of Non-Low2-Ness.Yun Fan - 2017 - Annals of Pure and Applied Logic 168 (3):738-748.
  24. Downward Categoricity From a Successor Inside a Good Frame.Sebastien Vasey - 2017 - Annals of Pure and Applied Logic 168 (3):651-692.
  25. Some Results on Amalgamation in Algebraic Logic.T. Sayed Ahmed - 2006 - Logic Journal of the IGPL 14 (4):623-627.
  26. Fork Algebraic Datatypes.P. Martinez Lopez - 1998 - Logic Journal of the IGPL 6 (4):531-543.
  27. Rescuing Poincaré From Richard’s Paradox.Laureano Luna - 2017 - History and Philosophy of Logic 38 (1):57-71.
    Poincaré in a 1909 lecture in Göttingen proposed a solution to the apparent incompatibility of two results as viewed from a definitionist perspective: on the one hand, Richard’s proof that the definitions of real numbers form a countable set and, on the other, Cantor’s proof that the real numbers make up an uncountable class. Poincaré argues that, Richard’s result notwithstanding, there is no enumeration of all definable real numbers. We apply previous research by Luna and Taylor on Richard’s paradox, indefinite (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. König's Infinity Lemma and Beth's Tree Theorem.George Weaver - 2017 - History and Philosophy of Logic 38 (1):48-56.
    König, D. [1926. ‘Sur les correspondances multivoques des ensembles’, Fundamenta Mathematica, 8, 114–34] includes a result subsequently called König's Infinity Lemma. Konig, D. [1927. ‘Über eine Schlussweise aus dem Endlichen ins Unendliche’, Acta Litterarum ac Scientiarum, Szeged, 3, 121–30] includes a graph theoretic formulation: an infinite, locally finite and connected graph includes an infinite path. Contemporary applications of the infinity lemma in logic frequently refer to a consequence of the infinity lemma: an infinite, locally finite tree with a root has (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  29. Interaction Graphs: Graphings.Thomas Seiller - 2017 - Annals of Pure and Applied Logic 168 (2):278-320.
  30. A Preservation Theorem for Equality-Free Horn Sentences.Pilar Dellunde - 2000 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 15 (3):517-530.
    We prove the following preservation theorem for the Horn fragment of Equality-free Logic:Theorem 0.1. For any sentence σ ϵ L, the following are equivalent:i ) σ is preserved under Hs, Hs -1 and PR.i i ) σ is logically equivalent to an equality-free Horn sentence.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  31. Logic and its Philosophy.Iulian D. Toader & G. Stefanov (eds.) - 2013 - Romanian Journal of Analytic Philosophy.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  32. A Non-Standard Analysis of a Cultural Icon: The Case of Paul Halmos.Piotr Błaszczyk, Alexandre Borovik, Vladimir Kanovei, Mikhail G. Katz, Taras Kudryk, Semen S. Kutateladze & David Sherry - 2016 - Logica Universalis 10 (4):393-405.
    We examine Paul Halmos’ comments on category theory, Dedekind cuts, devil worship, logic, and Robinson’s infinitesimals. Halmos’ scepticism about category theory derives from his philosophical position of naive set-theoretic realism. In the words of an MAA biography, Halmos thought that mathematics is “certainty” and “architecture” yet 20th century logic teaches us is that mathematics is full of uncertainty or more precisely incompleteness. If the term architecture meant to imply that mathematics is one great solid castle, then modern logic tends to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  33. Unification on Subvarieties of Pseudocomplemented Distributive Lattices.Leonardo Cabrer - 2016 - Notre Dame Journal of Formal Logic 57 (4):477-502.
    In this paper subvarieties of pseudocomplemented distributive lattices are classified by their unification type. We determine the unification type of every particular unification problem in each subvariety of pseudocomplemented distributive lattices.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  34. An Abelian Rule for BCI—and Variations.Tomasz Kowalski & Lloyd Humberstone - 2016 - Notre Dame Journal of Formal Logic 57 (4):551-568.
    We show the admissibility for BCI of a rule form of the characteristic implicational axiom of abelian logic, this rule taking us from →β to α. This is done in Section 8, with surrounding sections exploring the admissibility and derivability of various related rules in several extensions of BCI.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  35. Bounded Stationary Reflection II.Chris Lambie-Hanson - 2017 - Annals of Pure and Applied Logic 168 (1):50-71.
  36. Cardinal Characteristics at Κ in a Small U Model.A. D. Brooke-Taylor, V. Fischer, S. D. Friedman & D. C. Montoya - 2017 - Annals of Pure and Applied Logic 168 (1):37-49.
  37. The Philosophy of Logic.Stephen Read - 2013 - In T. Lupher & T. Adajian (ed.), The Philosophy of Logic : 5 Questions. Copenhagen, Denmark: pp. 133-41.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38. The Semantic Isomorphism Theorem in Abstract Algebraic Logic.Tommaso Moraschini - 2016 - Annals of Pure and Applied Logic 167 (12):1298-1331.
  39. Formal Logic.Paul A. Gregory - 2017 - Broadview Press.
    _Formal Logic_ is an undergraduate text suitable for introductory, intermediate, and advanced courses in symbolic logic. The book’s nine chapters offer thorough coverage of truth-functional and quantificational logic, as well as the basics of more advanced topics such as set theory and modal logic. Complex ideas are explained in plain language that doesn’t presuppose any background in logic or mathematics, and derivation strategies are illustrated with numerous examples. Translations, tables, trees, natural deduction, and simple meta-proofs are taught through over 400 (...)
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  40. On the Rules of Suppositions in Formal Logic.Stanisław Jaśkowski - 1934 - In ¸ Itepmccall1967. Oxford at the Clarendon Press.
    Remove from this list  
     
    Export citation  
     
    Bookmark   1 citation  
  41. Formal Logic. Prior - 1963 - Oxford University Press.
    This book was designed primarily as a textbook; though the author hopes that it will prove to be of interests to others beside logic students. Part I of this book covers the fundamentals of the subject the propositional calculus and the theory of quantification. Part II deals with the traditional formal logic and with the developments which have taken that as their starting-point. Part III deals with modal, three-valued, and extensional systems.
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  42. Four Ways From Universal to Particular: How Chomsky’s Principles-and-Parameters Model is Not Selectionist.David P. Ellerman - 2016 - Journal of Applied Non-Classical Logics 26 (3):193-207.
    Following the development of the selectionist theory of the immune system, there was an attempt to characterise many biological mechanisms as being ‘selectionist’ as juxtaposed with ‘instructionist’. However, this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky’s principles-and-parameters language-acquisition mechanism together under the ‘selectionist’ umbrella, even though Chomsky’s mechanism and embryonic development are significantly different from the selectionist mechanisms of biological evolution and the immune system. Surprisingly, there is an abstract way using two dual mathematical (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  43. Logic.Kirk D. Wilson, Immanuel Kant, Robert S. Hartman & Wolfgang Schwarz - 1976 - Philosophical Review 85 (1):97.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  44. An Introduction to Deductive Logic.Hilary Putnam & Hugues Leblanc - 1957 - Philosophical Review 66 (4):551.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  45. Formal Logic.John Myhill & A. N. Prior - 1957 - Philosophical Review 66 (1):117.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  46. Practical Logic.Logic.Methods of Inquiry.Frederick C. Dommeyer, Monroe C. Beardsley, Lionel Ruby, C. West Churchman & Russell L. Ackoff - 1952 - Philosophical Review 61 (2):279.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  47. Logic and Nature.Cornelius Kruse & M. C. Swabey - 1933 - Philosophical Review 42 (1):78.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  48. Logic for Use.H. R. Smart & F. C. S. Schiller - 1932 - Philosophical Review 41 (5):533.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  49. Logic.H. R. Smart & W. E. Johnson - 1925 - Philosophical Review 34 (1):79.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   9 citations  
  50. Formal Logic: A Scientific and Social Problem.Radoslav A. Tsanoff & F. C. S. Schiller - 1912 - Philosophical Review 21 (5):602.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 24705