Related categories
Subcategories:

8487 found
Order:
1 — 50 / 8487
Material to categorize
  1. Retreat From Non-Being: Graham Priest, Towards Non-Being: The Logic and Metaphysics of Intentionality, Oxford: Clarendon Press, 2005, Pp. Xv + 190, £30. [REVIEW]Terry Horgan - 2006 - Australasian Journal of Philosophy 84 (4):615-627.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  2. What Logics Mean: From Proof Theory to Model-Theoretic Semantics, by James W. Garson: Cambridge: Cambridge University Press, 2013, Pp. Xv + 285, £10.99. [REVIEW]Jaroslav Peregrin - 2015 - Australasian Journal of Philosophy 93 (3):613-616.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  3. The Unseen Déjà-Vu: From Erkki Huhtamo’s Topoi to Ken Jacobs’ Remakes.Wanda Strauven - 2018 - Foundations of Science 23 (2):231-236.
    This commentary on Edwin Carels’ essay “Revisiting Tom Tom: Performative anamnesis and autonomous vision in Ken Jacobs’ appropriations of Tom Tom the Piper’s Son” broadens up the media-archaeological framework in which Carels places his text. Notions such as Huhtamo’s topos and Zielinski’s “deep time” are brought into the discussion in order to point out the difficulty to see what there is to see and to question the position of the viewer in front of experimental films like Tom Tom the Piper’s (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    Bookmark  
  4. Why Axiomatize?Mario Bunge - 2017 - Foundations of Science 22 (4):695-707.
    Axiomatization is uncommon outside mathematics, partly for being often viewed as embalming, partly because the best-known axiomatizations have serious shortcomings, and partly because it has had only one eminent champion, namely David Hilbert. The aims of this paper are to describe what will be called dual axiomatics, for it concerns not just the formalism, but also the meaning of the key concepts; and to suggest that every instance of dual axiomatics presupposes some philosophical view or other. To illustrate these points, (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  5. A Note on the Enumeration Degrees of 1-Generic Sets.Liliana Badillo, Caterina Bianchini, Hristo Ganchev, Thomas F. Kent & Andrea Sorbi - 2016 - Archive for Mathematical Logic 55 (3-4):405-414.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  6. Neostability-Properties of Fraïssé Limits of 2-Nilpotent Groups of Exponent $${P > 2}$$ P > 2.Andreas Baudisch - 2016 - Archive for Mathematical Logic 55 (3-4):397-403.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  7. Reverse Mathematics, Well-Quasi-Orders, and Noetherian Spaces.Emanuele Frittaion, Matthew Hendtlass, Alberto Marcone, Paul Shafer & Jeroen Van der Meeren - 2016 - Archive for Mathematical Logic 55 (3-4):431-459.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  8. The Classification of $${\Mathbb {Z}}P$$ Z P -Modules with Partial Decomposition Bases in $$L{\Infty \Omega }$$ L ∞ Ω.Carol Jacoby & Peter Loth - 2016 - Archive for Mathematical Logic 55 (7-8):939-954.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  9. An Induction Principle Over Real Numbers.A. Mahboubi - 2017 - Archive for Mathematical Logic 56 (1-2):43-49.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  10. Univalent Foundations as Structuralist Foundations.Dimitris Tsementzis - 2017 - Synthese 194 (9):3583-3617.
    The Univalent Foundations of Mathematics provide not only an entirely non-Cantorian conception of the basic objects of mathematics but also a novel account of how foundations ought to relate to mathematical practice. In this paper, I intend to answer the question: In what way is UF a new foundation of mathematics? I will begin by connecting UF to a pragmatist reading of the structuralist thesis in the philosophy of mathematics, which I will use to define a criterion that a formal (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  11. On Axiom Systems of Słupecki for the Functionally Complete Three-Valued Logic.Mateusz Radzki - 2017 - Axiomathes 27 (4):403-415.
    The article concerns two axiom systems of Słupecki for the functionally complete three-valued propositional logic: W1–W6 and A1–A9. The article proves that both of them are inadequate—W1–W6 is semantically incomplete, on the other hand, A1–A9 governs a functionally incomplete calculus, and thus, it cannot be a semantically complete axiom system for the functionally complete three-valued logic.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  12. Infinite Lotteries, Large and Small Sets.Luc Lauwers - 2017 - Synthese 194 (6):2203-2209.
    One result of this note is about the nonconstructivity of countably infinite lotteries: even if we impose very weak conditions on the assignment of probabilities to subsets of natural numbers we cannot prove the existence of such assignments constructively, i.e., without something such as the axiom of choice. This is a corollary to a more general theorem about large-small filters, a concept that extends the concept of free ultrafilters. The main theorem is that proving the existence of large-small filters requires (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  13. Set Partitions and the Meaning of the Same.R. Zuber - 2017 - Journal of Logic, Language and Information 26 (1):1-20.
    It is shown that the notion of the partition of a set can be used to describe in a uniform way the meaning of the expression the same, in its basic uses in transitive and ditransitive sentences. Some formal properties of the function denoted by the same, which follow from such a description are indicated. These properties indicate similarities and differences between functions denoted by the same and generalised quantifiers.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  14. The Foundations of Mathematics in the Theory of Sets.R. T. Cook - 2003 - British Journal for the Philosophy of Science 54 (2):347-352.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  15. What is a Higher Level Set?Dimitris Tsementzis - 2016 - Philosophia Mathematica:nkw032.
    Structuralist foundations of mathematics aim for an ‘invariant’ conception of mathematics. But what should be their basic objects? Two leading answers emerge: higher groupoids or higher categories. I argue in favor of the former over the latter. First, I explain why to choose between them we need to ask the question of what is the correct ‘categorified’ version of a set. Second, I argue in favor of groupoids over categories as ‘categorified’ sets by introducing a pre-formal understanding of groupoids as (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  16. Reply to Feferman, Koellner, Tait, and Sieg.Charles Parsons - 2016 - Journal of Philosophy 113 (5/6):286-307.
    I comment on Feferman’s views on set theory, in particular criticizing a priori arguments claiming that the continuum hypothesis has no determinate truth value and commenting on his responses to my paper on his skepticism about set theory. I respond to criticisms of his of the structuralism that I have advocated and comment on his view of proof theory. On Koellner’s paper, I register little disagreement but note a difference of sympathy about views such as constructivism. On Tait’s paper, I (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  17. Frege Meets Aristotle: Points as Abstracts.Stewart Shapiro & Geoffrey Hellman - 2015 - Philosophia Mathematica:nkv021.
    There are a number of regions-based accounts of space/time, due to Whitehead, Roeper, Menger, Tarski, the present authors, and others. They all follow the Aristotelian theme that continua are not composed of points: each region has a proper part. The purpose of this note is to show how to recapture ‘points’ in such frameworks via Scottish neo-logicist abstraction principles. The results recapitulate some Aristotelian themes. A second agenda is to provide a new arena to help decide what is at stake (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  18. Philosophy of the Matrix.A. C. Paseau - 2017 - Philosophia Mathematica 25 (2):246-267.
    A mathematical matrix is usually defined as a two-dimensional array of scalars. And yet, as I explain, matrices are not in fact two-dimensional arrays. So are we to conclude that matrices do not exist? I show how to resolve the puzzle, for both contemporary and older mathematics. The solution generalises to the interpretation of all mathematical discourse. The paper as a whole attempts to reinforce mathematical structuralism by reflecting on how best to interpret mathematics.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  19. The Undecidability of Monadic Modal Quantification Theory.Saul A. Kripke - 1962 - Mathematical Logic Quarterly 8 (2):113-116.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark   7 citations  
  20. 60% Proof: Lakatos, Proof, And Paraconsistency.Graham Priest & Neil Thomason - 2007 - Australasian Journal of Logic 5:89-100.
    Imre Lakatos’ Proofs and Refutations is a book well known to those who work in the philosophy of mathematics, though it is perhaps not widely referred to. Its general thrust is out of tenor with the foundationalist perspective that has dominated work in the philosophy of mathematics since the early years of the 20th century. It seems to us, though, that the book contains striking insights into the nature of proof, and the purpose of this paper is to explore and (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  21. Fraenkel–Carnap Questions for Equivalence Relations.George Weaver & Irena Penev - 2011 - Australasian Journal of Logic 10:52-66.
    An equivalence is a binary relational system A = where ϱA is an equivalence relation on A. A simple expansion of an equivalence is a system of the form were A is an equivalence and a1,…,an are members of A. It is shown that the Fraenkel-Carnap question when restricted to the class of equivalences or to the class of simple expansions of equivalences has a positive answer: that the complete second-order theory of such a system is categorical, if it is (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  22. Inexpressiveness of First-Order Fragments.William C. Purdy - 2006 - Australasian Journal of Logic 4:1-12.
    It is well-known that first-order logic is semi-decidable. Therefore, first-order logic is less than ideal for computational purposes. Certain fragments of first-order logic are of interest because they are decidable. But decidability is gained at the cost of expressiveness. The objective of this paper is to investigate inexpressiveness of fragments that have received much attention.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  23. Carnapian Explication, Formalisms as Cognitive Tools, and the Paradox of Adequate Formalization.Catarina Dutilh Novaes & Erich Reck - 2017 - Synthese 194 (1):195-215.
    Explication is the conceptual cornerstone of Carnap’s approach to the methodology of scientific analysis. From a philosophical point of view, it gives rise to a number of questions that need to be addressed, but which do not seem to have been fully addressed by Carnap himself. This paper reconsiders Carnapian explication by comparing it to a different approach: the ‘formalisms as cognitive tools’ conception. The comparison allows us to discuss a number of aspects of the Carnapian methodology, as well as (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  24. Identity in Homotopy Type Theory: Part II, The Conceptual and Philosophical Status of Identity in HoTT.James Ladyman & Stuart Presnell - 2017 - Philosophia Mathematica 25 (2):210-245.
    Among the most interesting features of Homotopy Type Theory is the way it treats identity, which has various unusual characteristics. We examine the formal features of “identity types” in HoTT, and how they relate to its other features including intensionality, constructive logic, the interpretation of types as concepts, and the Univalence Axiom. The unusual behaviour of identity types might suggest that they be reinterpreted as representing indiscernibility. We explore this by defining indiscernibility in HoTT and examine its relationship with identity. (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  25. Commentary on Michel Dufour's "On the Difference Between Fallacy and Sophism".Erik C. W. Krabbe - unknown
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26. Paul Natorp and the Emergence of Anti-Psychologism in the Nineteenth Century.Scott Edgar - 2008 - Studies in History and Philosophy of Science Part A 39 (1):54-65.
    This paper examines the anti-psychologism of Paul Natorp, a Marburg School Neo-Kantian. It identifies both Natorp’s principle argument against psychologism and the views underlying the argument that give it its force. Natorp’s argument depends for its success on his view that certain scientific laws constitute the intersubjective content of knowledge. That view in turn depends on Natorp’s conception of subjectivity, so it is only against the background of his conception of subjectivity that his reasons for rejecting psychologism make sense. This (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  27. Toward a Really Temporalized Theory of Event: A Luhmannian Critique and Reconstruction of Sewell’s Logics of History.Chih-Chieh Tang - 2013 - Social Science Information 52 (1):34-61.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  28. Foundations for Behaviour Logic.P. Herbst - 1975 - Social Science Information 14 (2):81-100.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  29. A Model-Theoretic Approach to Folk Taxonomy.P. Kay - 1975 - Social Science Information 14 (5):151-166.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  30. Review of Jørgensen, Klaus Frovin: Kant and the Natural Numbers. [REVIEW]Bernd Buldt - unknown
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  31. The Semantic-Pragmatic Analysis of Persian Modal Verbs Based on Papafragou's Model.Zohreh Vahedi & Jalal Rahimian - 2010 - Lodz Papers in Pragmatics 6 (1):67-116.
    The Semantic-Pragmatic Analysis of Persian Modal Verbs Based on Papafragou's Model This paper aims at analyzing the semantics and pragmatics of Persian modal verbs based on Papafragou's relevance-theoretic model. Persian modals are defined in terms of logical relations and propositional domains. According to the findings of the research, two of the three modals, namely, šodan and tavân express the logical relation of compatibility with respect to different propositional domains: the three forms mišavad, mišod and mišode are unspecified with respect to (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  32. Macro-Systematic Interpretation of Uniform Commercial Law: The Interrelation of the CISG and Other Uniform Sources.Olaf Meyer & André Janssen - 2009 - In Olaf Meyer & André Janssen (eds.), Cisg Methodology. Sellier de Gruyter.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  33. The Interpretation of Classes in Axiomatic Set Theory.Gregor Schneider & Daniel Roth - 2014 - In Godehard Link (ed.), Formalism and Beyond: On the Nature of Mathematical Discourse. De Gruyter. pp. 275-314.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  34. Chapter 11 – Derivations of the Real Modalities.Robert Greenberg - 2008 - In Real Existence, Ideal Necessity: Kant's Compromise, and the Modalities Without the Compromise. Walter de Gruyter.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  35. The Trivialization of Mathematical Logic.K. R. Popper - 1949 - Proceedings of the Tenth International Congress of Philosophy 2:722-727.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  36. Predicative Compossibility and Transcendental Logic. Evans Jr - 1989 - Proceedings of the Sixth International Kant Congress 2 (1):209-218.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  37. Topoi in Critical Discourse Analysis.Igor Žagar - 2010 - Lodz Papers in Pragmatics 6 (1):3-27.
    Topoi in Critical Discourse Analysis Topos is one of the most widely-used concepts from classical argumentation theory. It found its way not only in philosophy, sociology, anthropology, and linguistics; it found its way in everyday life and everyday conversation as well.In this article, I will examine the role that topoi play in Critical Discourse Analysis. Starting with definitions from Aristotle and Cicero, contrasting them with new conceptualisations by Perelman and Toulmin, and examining the superficial use of topoi in everyday conversation, (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  38. Well-Founded Relation and a Generalization of König's Lemma.Perry Smith - 1972 - NTU Philosophical Review 2:73-75.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  39. On Wiebe’s “Existential Assumptions for Aristotelian Logic”. Siemens - 1993 - Journal of Philosophical Research 18:271-275.
    This comment calls attention to the nature of the Aristotelian and classical logics, and the difficulty of representing their judgments and inferences by means of Venn diagrams. The meaning of ‘all’ in the different calculi produces problems. A second problem is that the specification of existence in Venn diagrams for statements and arguments cannot be restricted to a single class, overlooked by Wiebe. This problem is further complicated by his adoption of classical syllogistic, which is inconsistent. Aristotle’s term logic is (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40. Fixed Point Constructions in Various Theories of Mathematical Logic.Giovanni Sommaruga-Rosolemos - 1991
    Remove from this list  
     
    Export citation  
     
    Bookmark  
  41. On the Interplay Between Logic and Philosophy.Yehuda Rav - 1993 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 8 (1):1-21.
    In this historical essay, we examine the reciprocal influences of philosophical doctrines and logic, their interrelations with language, and the place of mathematics in these developments.
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42. Straightening Leibniz’s Diagram Calculi.Christian Thiel - 1991 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 6 (1-2):361-368.
  43. Systems with the Converse Ackermann Property.José M. Méndez - 1985 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 1 (1):253-258.
    A system S has the “converse Ackermann property” if -> C is unprovable in S whenever C is a propositional variable. In this paper we define the fragments with the C.A.P. of some well-know propositional systems in the spectrum between the minimal and classical logic. In the first part we succesively study the implicative and positive fragments and the full calculi. In the second, we prove by a matrix method that each one of the systems has the C.A.P. Thus, we (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  44. Hilbert and the Emergence of Modern Mathematical Logic.Gregory H. Moore - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):65-90.
    Hilbert’s unpublished 1917 lectures on logic, analyzed here, are the beginning of modern metalogic. In them he proved the consistency and Post-completeness of propositional logic -results traditionally credited to Bernays and Post. These lectures contain the first formal treatment of first-order logic and form the core of Hilbert’s famous 1928 book with Ackermann. What Bernays, influenced by those lectures, did in 1918 was to change the emphasis from the consistency and Post-completeness of a logic to its soundness and completeness: a (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  45. Nominal Definitions and Logical Consequence in the Peano School.Francisco Rodriguez Consuegra - 1997 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 12 (1):125-137.
    This paper is devoted to show the development of some of the model-theoretic ideas which are clearly present in the main members of the Peano school asa result of their conception of nominal definitions. Also, their semantic definition of logical consequence is viewed as one of the outcomes of that conception. Some examples of their use of theexpression “nominal definition” are presented first. Second, the main advantages of this kind of definition, as they saw them, are briefly explained, mainly in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  46. Logic, the A Priori, and the Empirical.William H. Hanson - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (2):171-177.
    The time-honored view that logic is a non-empirical enterprise is still widely accepted, but it is not always recognized that there are two distinct ways in which this view can be made precise. One way focuses on the knowledge we can have of logical matters, the other on the nature of the logical consequence relation itself. More specifically; the first way embodies the claim that knowledge of whether the logical consequence relation holds in a particular case is knowledge that can (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  47. Conceptions of the Mind... That Do Not Loose Sight of Logic.Juan José Acero - 2003 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 18 (1):17-25.
    Which is the relation between logic and philosophy of mind? This work tries to answer that question by shortly examining, first, the place that is assigned to logic in three current views of the mind: Computationalism, Interpretativism and Naive Naturalism. Secondly, the classical debate between psychologism and antipsychologism is reviewed -the question about whether logic is or not a part of psychology- and it is indicated in which place of such debate the three mentioned conceptions of mind are located.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    Bookmark  
  48. Un Lenguaje Aritmético Como Instrumento de Análisis y de Decisión En Lógica y En Derecho.Miguel Sánchez-Mazas - 1987 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 2 (2-3):503-566.
    An arithmetical language, whose words are natural numbers written in hexadecimal numeration system, is defined and its applications for the representation, analysis and decision of formulae of some logical and normative systems are described and illustrated.The formulae, operations and relations of the represented system are associated as follows respectively to the numbers and the arithmetical operations and relations of the proposed language:1. Each well-formed-formula of the system is associated to a number of a set of natural numbers between zero and (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  49. The Relations of Symbolic Logic and Comparative Linguistics.A. J. J. De Witte - 1953 - Proceedings of the XIth International Congress of Philosophy 5:176-179.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
  50. Note on Arithmetic Models for Consistent Formulae of the Predicate Calculus II.G. Kreisel - 1953 - Proceedings of the XIth International Congress of Philosophy 14:39-49.
    Remove from this list   Direct download  
     
    Export citation  
     
    Bookmark  
1 — 50 / 8487