View topic on PhilPapers for more information
Related categories

41 found
Order:
More results on PhilPapers
  1. added 2018-08-19
    The Integral Construct of Science.Joseph Krecz - manuscript
    A number of general theories of physics provide a model for the fundamental rules that govern our universe, becoming a structural framework to which the new discoveries must conform. The theory of relativity is such a general theory. The theory of relativity is a complex theoretical framework that facilitates the understanding of the universal laws of physics. It is based on the curved space-time continuum fabric abstract concept, and it is well suited for interpreting cosmic events. More so, a general (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2018-07-16
    Khunaji's al-Jumal in the Context of Logic Studies in the Seventh and Eighth Century (AH) and the Commentaries Written on His Work.Ramy ElBanna - 2018 - Tasavvur - Tekirdag Theology Journal 4 (1):73 - 93.
    The science of logic has occupied an important role in Islamic history. Especially when al-Gazali 505-1111 has come and claimed that who learned Islamic sciences, without learning the Logic we cannot trust in his knowledge. From this time The science of logic has been flourished and quietly began to include in many sciences even Tefsir and Fiqh. After that, Al-razzi 606/1210 has established a big school in Islamic philosophy in general and in logic in particular. al-Khonaji 646/1248 one of his (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  3. added 2018-04-20
    Logic for Physical Space: From Antiquity to Present Days.Marco Aiello, Guram Bezhanishvili, Isabelle Bloch & Valentin Goranko - 2012 - Synthese 186 (3):619-632.
    Since the early days of physics, space has called for means to represent, experiment, and reason about it. Apart from physicists, the concept of space has intrigued also philosophers, mathematicians and, more recently, computer scientists. This longstanding interest has left us with a plethora of mathematical tools developed to represent and work with space. Here we take a special look at this evolution by considering the perspective of Logic. From the initial axiomatic efforts of Euclid, we revisit the major milestones (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2018-04-20
    Model-Checking CTL* Over Flat Presburger Counter Systems.Stéphane Demri, Alain Finkel, Valentin Goranko & Govert van Drimmelen - 2010 - Journal of Applied Non-Classical Logics 20 (4):313-344.
    This paper concerns model-checking of fragments and extensions of CTL* on infinite-state Presburger counter systems, where the states are vectors of integers and the transitions are determined by means of relations definable within Presburger arithmetic. In general, reachability properties of counter systems are undecidable, but we have identified a natural class of admissible counter systems (ACS) for which we show that the quantification over paths in CTL* can be simulated by quantification over tuples of natural numbers, eventually allowing translation of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  5. added 2018-02-21
    New Dimensions of the Square of Opposition.Jean-Yves Beziau & Stamatios Gerogiorgakis (eds.) - 2017 - Munich: Philosophia.
    The square of opposition is a diagram related to a theory of oppositions that goes back to Aristotle. Both the diagram and the theory have been discussed throughout the history of logic. Initially, the diagram was employed to present the Aristotelian theory of quantification, but extensions and criticisms of this theory have resulted in various other diagrams. The strength of the theory is that it is at the same time fairly simple and quite rich. The theory of oppositions has recently (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2018-02-01
    Many-Valued Logic between the Degrees of Truth and the Limits of Knowledge.Salah Osman - 2002 - Alexandria, Egypt: Al Maaref Establishment Press.
    هو أول كتاب باللغة العربية يعرض لمراحل وآليات تطور المنطق الرمزي المعاصر متعدد القيم بأنساقه المختلفة، مركزًا على مشكلة الغموض المعرفي للإنسان بأبعادها اللغوية والإبستمولوجية والأنطولوجية، والتي تتجلى – على سبيل المثال – فيما تحفل به الدراسات الفلسفية والمنطقية والعلمية من مفارقات تمثل تحديًا قويًا لثنائية الصدق والكذب الكلاسيكية، وكذلك في اكتشاف «هيزنبرج» لمبدأ اللايقين، وتأكيده وعلماء الكمّ على ضرورة التفسيرات الإحصائية في المجال دون الذري، الأمر الذي يؤكد عدم فعالية قانون الثالث المرفوع في التعامل مع معطيات الواقع الفعلي، واستحالة (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  7. added 2018-01-17
    Logical Partisanhood.Jack Woods - forthcoming - Philosophical Studies:1-22.
    A natural suggestion and increasingly popular account of how to revise our logical beliefs treats revision of logic analogously to the revision of any scientific theory (Hjortland, Priest, Russell, Williamson, etc.) I investigate this approach and argue that simple applications of abductive methodology to logic result in revision-cycles, developing a case study of an actual dispute with this property. This is problematic if we take abductive methodology to provide justification for revising our logical framework. I then generalize the case study, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  8. added 2018-01-11
    Introduction: Diagrammatical Reasoning and Peircean Logic Representations.João Queiroz & Frederik Stjernfelt - 2011 - Semiotica 2011 (186):1-4.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  9. added 2017-12-23
    The Logical and Pragmatic Structure of Arguments From Analogy.Fabrizio Macagno - 2017 - Logique Et Analyse 240:465-490.
    The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for the attribution of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2017-10-10
    Effective Finite-Valued Approximations of General Propositional Logics.Matthias Baaz & Richard Zach - 2008 - In Arnon Avron, Nachum Dershowitz & Alexander Rabinovich (eds.), Pillars of Computer Science: Essays Dedicated to Boris (Boaz) Trakhtenbrot on the Occasion of His 85th Birthday. Berlin: Springer. pp. 107–129.
    Propositional logics in general, considered as a set of sentences, can be undecidable even if they have “nice” representations, e.g., are given by a calculus. Even decidable propositional logics can be computationally complex (e.g., already intuitionistic logic is PSPACE-complete). On the other hand, finite-valued logics are computationally relatively simple—at worst NP. Moreover, finite-valued semantics are simple, and general methods for theorem proving exist. This raises the question to what extent and under what circumstances propositional logics represented in various ways can (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  11. added 2017-04-26
    Lineales.Martin Hyland & Valeria de Paiva - 1991 - O Que Nos Faz Pensar:107-123.
    The first aim of this note is to describe an algebraic structure, more primitive than lattices and quantales, which corresponds to the intuitionistic flavour of Linear Logic we prefer. This part of the note is a total trivialisation of ideas from category theory and we play with a toy-structure a not distant cousin of a toy-language. The second goal of the note is to show a generic categorical construction, which builds models for Linear Logic, similar to categorical models GC of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  12. added 2016-04-03
    Interview with Francesco Berto.Luca Moretti - 2016 - The Reasoner 10 (5):36-38.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  13. added 2016-02-29
    Better Semantics for the Pure Logic of Ground.Louis deRosset - 2015 - Analytic Philosophy 56 (3):229-252.
    Philosophers have spilled a lot of ink over the past few years exploring the nature and significance of grounding. Kit Fine has made several seminal contributions to this discussion, including an exact treatment of the formal features of grounding [Fine, 2012a]. He has specified a language in which grounding claims may be expressed, proposed a system of axioms which capture the relevant formal features, and offered a semantics which interprets the language. Unfortunately, the semantics Fine offers faces a number of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   9 citations  
  14. added 2015-12-14
    Identity Logics.John Corcoran & Stanley Ziewacz - 1979 - Notre Dame Journal of Formal Logic 20 (4):777-784.
    In this paper we prove the completeness of three logical systems I LI, IL2 and IL3. IL1 deals solely with identities {a = b), and its deductions are the direct deductions constructed with the three traditional rules: (T) from a = b and b = c infer a = c, (S) from a = b infer b = a and (A) infer a = a(from anything). IL2 deals solely with identities and inidentities {a ± b) and its deductions include both (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2015-08-26
    Argument Diagramming in Logic, Artificial Intelligence, and Law.Chris Reed, Douglas Walton & Fabrizio Macagno - 2007 - Artificial Intelligence, and Law 22 (1):87-109.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2015-07-14
    Surprises in Logic.John Corcoran & William Frank - 2013 - Bulletin of Symbolic Logic 19 (3):253.
    JOHN CORCORAN AND WILIAM FRANK. Surprises in logic. Bulletin of Symbolic Logic. 19 253. Some people, not just beginning students, are at first surprised to learn that the proposition “If zero is odd, then zero is not odd” is not self-contradictory. Some people are surprised to find out that there are logically equivalent false universal propositions that have no counterexamples in common, i. e., that no counterexample for one is a counterexample for the other. Some people would be surprised to (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2015-04-19
    Second-Order Logic.John Corcoran - 2001 - In M. Zeleny (ed.), Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. KLUKER. pp. 61–76.
    “Second-order Logic” in Anderson, C.A. and Zeleny, M., Eds. Logic, Meaning, and Computation: Essays in Memory of Alonzo Church. Dordrecht: Kluwer, 2001. Pp. 61–76. -/- Abstract. This expository article focuses on the fundamental differences between second- order logic and first-order logic. It is written entirely in ordinary English without logical symbols. It employs second-order propositions and second-order reasoning in a natural way to illustrate the fact that second-order logic is actually a familiar part of our traditional intuitive logical framework and (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  18. added 2015-01-30
    CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1999 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. CAMBRIDGE UP. pp. 65-941.
    Corcoran’s 27 entries in the 1999 second edition of Robert Audi’s Cambridge Dictionary of Philosophy [Cambridge: Cambridge UP]. -/- ancestral, axiomatic method, borderline case, categoricity, Church (Alonzo), conditional, convention T, converse (outer and inner), corresponding conditional, degenerate case, domain, De Morgan, ellipsis, laws of thought, limiting case, logical form, logical subject, material adequacy, mathematical analysis, omega, proof by recursion, recursive function theory, scheme, scope, Tarski (Alfred), tautology, universe of discourse. -/- The entire work is available online free at more than (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   2 citations  
  19. added 2015-01-12
    Aristotle's Many-Sorted Logic.J. Corcoran - 2008 - Bulletin of Symbolic Logic 14 (1):155-156.
    As noted in 1962 by Timothy Smiley, if Aristotle’s logic is faithfully translated into modern symbolic logic, the fit is exact. If categorical sentences are translated into many-sorted logic MSL according to Smiley’s method or the two other methods presented here, an argument with arbitrarily many premises is valid according to Aristotle’s system if and only if its translation is valid according to modern standard many-sorted logic. As William Parry observed in 1973, this result can be proved using my 1972 (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. added 2014-12-07
    Aristotle's Demonstrative Logic.John Corcoran - 2009 - History and Philosophy of Logic 30 (1):1-20.
    Demonstrative logic, the study of demonstration as opposed to persuasion, is the subject of Aristotle's two-volume Analytics. Many examples are geometrical. Demonstration produces knowledge (of the truth of propositions). Persuasion merely produces opinion. Aristotle presented a general truth-and-consequence conception of demonstration meant to apply to all demonstrations. According to him, a demonstration, which normally proves a conclusion not previously known to be true, is an extended argumentation beginning with premises known to be truths and containing a chain of reasoning showing (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   7 citations  
  21. added 2014-10-16
    An Introduction to Partition Logic.David Ellerman - 2014 - Logic Journal of the IGPL 22 (1):94-125.
    Classical logic is usually interpreted as the logic of propositions. But from Boole's original development up to modern categorical logic, there has always been the alternative interpretation of classical logic as the logic of subsets of any given (nonempty) universe set. Partitions on a universe set are dual to subsets of a universe set in the sense of the reverse-the-arrows category-theoretic duality--which is reflected in the duality between quotient objects and subobjects throughout algebra. Hence the idea arises of a dual (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   3 citations  
  22. added 2014-10-14
    Complementary Logics for Classical Propositional Languages.Achille C. Varzi - 1992 - Kriterion - Journal of Philosophy 4 (1):20-24.
    In previous work, I introduced a complete axiomatization of classical non-tautologies based essentially on Łukasiewicz’s rejection method. The present paper provides a new, Hilbert-type axiomatization (along with related systems to axiomatize classical contradictions, non-contradictions, contingencies and non-contingencies respectively). This new system is mathematically less elegant, but the format of the inferential rules and the structure of the completeness proof possess some intrinsic interest and suggests instructive comparisons with the logic of tautologies.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  23. added 2014-10-14
    Complementary Sentential Logics.Achille C. Varzi - 1990 - Bulletin of the Section of Logic 19 (4):112-116.
    It is shown that a complete axiomatization of classical non-tautologies can be obtained by taking F (falsehood) as the sole axiom along with the two inference rules: (i) if A is a substitution instance of B, then A |– B; and (ii) if A is obtained from B by replacement of equivalent sentences, then A |– B (counting as equivalent the pairs {T, ~F}, {F, F&F}, {F, F&T}, {F, T&F}, {T, T&T}). Since the set of tautologies is also specifiable by (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark   1 citation  
  24. added 2014-08-13
    On Weak Ground.Louis Derosset - 2014 - Review of Symbolic Logic 7 (4):713-744.
    Though the study of grounding is still in the early stages, Kit Fine, in ”The Pure Logic of Ground”, has made a seminal attempt at formalization. Formalization of this sort is supposed to bring clarity and precision to our theorizing, as it has to the study of other metaphysically important phenomena, like modality and vagueness. Unfortunately, as I will argue, Fine ties the formal treatment of grounding to the obscure notion of a weak ground. The obscurity of weak ground, together (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  25. added 2014-08-04
    Qualia Logic.Paul Merriam - manuscript
    The logic of qualia is different than classical logic. We take the first steps in defining it and applying it to the Hard Problem.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2014-04-07
    A Utility Based Evaluation of Logico-Probabilistic Systems.Paul D. Thorn & Gerhard Schurz - 2014 - Studia Logica 102 (4):867-890.
    Systems of logico-probabilistic (LP) reasoning characterize inference from conditional assertions interpreted as expressing high conditional probabilities. In the present article, we investigate four prominent LP systems (namely, systems O, P, Z, and QC) by means of computer simulations. The results reported here extend our previous work in this area, and evaluate the four systems in terms of the expected utility of the dispositions to act that derive from the conclusions that the systems license. In addition to conforming to the dominant (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  27. added 2014-03-26
    The Logic of “Improper Cross”.Joseph S. Fulda - 2000 - Artificial Intelligence and Law 8 (4):337-341.
    Uses erotetic logic to model the courtroom objection "Improper Cross!". -/- Readers downloading the article should also please download the erratum et corrigendum, which is locally available.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. added 2014-03-23
    Aristotle's Prior Analytics and Boole's Laws of Thought.John Corcoran - 2003 - History and Philosophy of Logic. 24 (4):261-288.
    Prior Analytics by the Greek philosopher Aristotle (384 – 322 BCE) and Laws of Thought by the English mathematician George Boole (1815 – 1864) are the two most important surviving original logical works from before the advent of modern logic. This article has a single goal: to compare Aristotle’s system with the system that Boole constructed over twenty-two centuries later intending to extend and perfect what Aristotle had started. This comparison merits an article itself. Accordingly, this article does not discuss (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  29. added 2013-11-25
    Paradox of Religion...Miro Brada - manuscript
    Religion supposes another world after death: paradise / hell / nirvana / karma... We live in incomplete world, because there is other 'truer' world. This replicates Plato philosophy (428-347 BC): behind something, is something, is something - till the pure idea (final judgement, karma, etc). In contrast, 'I think, therefore I am' (Descartes, 1637), showed the reality independent of Plato's parallel worlds. When I am thinking, regardless of what, 'I am' - whether there is or not 'truer' world. I show (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  30. added 2013-10-27
    Hallden Incomplete Calculus of Names.Piotr Kulicki - 2010 - Buletin of the Section of Logic 39 (1/2):53-55.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  31. added 2013-10-22
    On Minimal Models for Pure Calculi of Names.Piotr Kulicki - 2013 - Logic and Logical Philosophy 22 (4):429–443.
    By pure calculus of names we mean a quantifier-free theory, based on the classical propositional calculus, which defines predicates known from Aristotle’s syllogistic and Leśniewski’s Ontology. For a large fragment of the theory decision procedures, defined by a combination of simple syntactic operations and models in two-membered domains, can be used. We compare the system which employs `ε’ as the only specific term with the system enriched with functors of Syllogistic. In the former, we do not need an empty name (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation  
  32. added 2013-10-22
    On a Minimal System of Aristotle’s Syllogistic.Piotr Kulicki - 2011 - Bulletin of the Section of Logic 40 (3/4):129-145.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  33. added 2013-08-08
    Symbolic Logic Study Guide (a Textbook).Xinli Wang - 2009 - University Readers.
    The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample quizzes and solutions. The (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  34. added 2013-07-12
    The Systems of Relevance Logic.Ryszard Mirek - 2011 - Argument: Biannual Philosophical Journal 1 (1):87-102.
    The system R, or more precisely the pure implicational fragment R›, is considered by the relevance logicians as the most important. The another central system of relevance logic has been the logic E of entailment that was supposed to capture strict relevant implication. The next system of relevance logic is RM or R-mingle. The question is whether adding mingle axiom to R› yields the pure implicational fragment RM› of the system? As concerns the weak systems there are at least two (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  35. added 2013-07-05
    Enhancing the Diagramming Method in Informal Logic.Dale Jacquette - 2011 - Argument: Biannual Philosophical Journal 1 (2):327-360.
    The argument diagramming method developed by Monroe C. Beardsley in his (1950) book Practical Logic, which has since become the gold standard for diagramming arguments in informal logic, makes it possible to map the relation between premises and conclusions of a chain of reasoning in relatively complex ways. The method has since been adapted and developed in a number of directions by many contemporary informal logicians and argumentation theorists. It has proved useful in practical applications and especially pedagogically in teaching (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  36. added 2013-06-02
    The Logic of the Whole Truth.Joseph S. Fulda - 1989 - Rutgers Computer and Technology Law Journal 15 (2):435-446.
    Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add an admixture (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  37. added 2012-09-06
    Some Sketchy Notes on the Reaper Argument.Vladimir Marko - 2012 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 19 (3):361-387.
    The paper deals with the possible readings of The Reaper Argument premisses. Some conjectures related to the Stoics’ alleged proof of the argument are discussed.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  38. added 2012-01-12
    Imperatives, Logic Of.Peter B. M. Vranas - unknown
    Suppose that a sign at the entrance of a hotel reads: “Don’t enter these premises unless you are accompanied by a registered guest”. You see someone who is about to enter, and you tell her: “Don’t enter these premises if you are an unaccompanied registered guest”. She asks why, and you reply: “It follows from what the sign says”. It seems that you made a valid inference from an imperative premise to an imperative conclusion. But it also seems that imperatives (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  39. added 2012-01-06
    New Foundations for Imperative Logic I: Logical Connectives, Consistency, and Quantifiers.Peter B. M. Vranas - 2008 - Noûs 42 (4):529-572.
    Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   12 citations  
  40. added 2009-09-14
    Logic, Act and Product.Jacques P. Dubucs & Wioletta Miśkiewicz - 2009 - In Giuseppe Primiero (ed.), Knowledge and Judgment. Springer Verlag.
    Logic and psychology overlap in judgment, inference and proof. The problems raised by this commonality are notoriously difficult, both from a historical and from a philosophical point of view. Sundholm has for a long time addressed these issues. His beautiful piece of work [A Century of Inference: 1837-1936] begins by summarizing the main difficulty in the usual provocative manner of the author: one can start, he says, by the act of knowledge to go to the object, as the Idealist does; (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  41. added 2009-07-24
    Making Sense of Questions in Logic and Mathematics: Mill Vs. Carnap.Esther Ramharter - 2006 - Prolegomena 5 (2):209-218.
    Whether mathematical truths are syntactical (as Rudolf Carnap claimed) or empirical (as Mill actually never claimed, though Carnap claimed that he did) might seem merely an academic topic. However, it becomes a practical concern as soon as we consider the role of questions. For if we inquire as to the truth of a mathematical statement, this question must be (in a certain respect) meaningless for Carnap, as its truth or falsity is certain in advance due to its purely syntactical (or (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   1 citation