This category needs an editor. We encourage you to help if you are qualified.
Volunteer, or read more about what this involves.
Related categories

87 found
Order:
1 — 50 / 87
  1. Bealer's Quality and Concept.C. Anthony Anderson - 1987 - Journal of Philosophical Logic 16 (2):115 - 164.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  2. Ii. Causality and Logic.John Anderson - 1936 - Australasian Journal of Philosophy 14 (4):309 – 313.
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  3. Higher-Order Free Logic and the Prior-Kaplan Paradox.Andrew Bacon, John Hawthorne & Gabriel Uzquiano - 2016 - Canadian Journal of Philosophy 46 (4-5):493-541.
    The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  4. A Relativistic Theory of Phenomenological Constitution: A Self-Referential, Transcendental Approach to Conceptual Pathology.Steven James Bartlett - 1970 - Dissertation, Universite de Paris X (Paris-Nanterre) (France)
    A RELATIVISTIC THEORY OF PHENOMENOLOCICAL CONSTITUTION: A SELF-REFERENTIAL, TRANSCENDENTAL APPROACH TO CONCEPTUAL PATHOLOGY. (Vol. I: French; Vol. II: English) -/- Steven James Bartlett -/- Doctoral dissertation director: Paul Ricoeur, Université de Paris Other doctoral committee members: Jean Ladrière and Alphonse de Waehlens, Université Catholique de Louvain Defended publically at the Université Catholique de Louvain, January, 1971. -/- Universite de Paris X (France), 1971. 797pp. -/- The principal objective of the work is to construct an analytically precise methodology which can serve (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   2 citations  
  5. Informal Reasoning and Logical Formalization.Michael Baumgartner - 2010 - In S. Conrad & S. Imhof (eds.), Ding und Begriff. Ontos.
    According to a prevalent view among philosophers formal logic is the philosopher’s main tool to assess the validity of arguments, i.e. the philosopher’s ars iudicandi. By drawing on a famous dispute between Russell and Strawson over the validity of a certain kind of argument – of arguments whose premises feature definite descriptions – this paper casts doubt on the accuracy of the ars iudicandi conception. Rather than settling the question whether the contentious arguments are valid or not, Russell and Strawson, (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  6. Thomas McKay. Plural Predication.John P. Burgess - 2007 - Philosophia Mathematica 16 (1):133-140.
    This work, the first book-length study of its topic, is an important contribution to the literature of philosophical logic and philosophy of language, with implications for other branches of philosophy, including philosophy of mathematics. However, five of the book's ten chapters , including many of the author's most original contributions, are devoted to issues about natural language, and lie pretty well outside the scope of this journal, not to mention that of the reviewer's competence. For this reason I will here (...)
    Remove from this list   Direct download (9 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  7. Dewey's New Logic: A Reply to Russell.Tom Burke - 1994 - University of Chicago Press.
    John Dewey is celebrated for his work in the philosophy of education and acknowledged as a leading proponent of American pragmatism. His philosophy of logic, on the other hand, is largely unheard of. In Dewey's New Logic, Burke analyzes portions of the debate between Dewey and Bertrand Russell that followed the 1938 publication of Dewey's Logic: The Theory of Inquiry. Burke shows how Russell failed to understand Dewey, and how Dewey's philosophy of logic is centrally relevant to contemporary developments in (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography   8 citations  
  8. Preliminaries to a Logic of Malfunction.Massimiliano Carrara - 2015 - In Pavel Arazim Michal Dancak (ed.), The Logica Yearbook. College Publications. pp. 33-47.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  9. Reference in Conceptual Realism.Nino Cocchiarella - 1998 - Synthese 114 (2):169-202.
    A conceptual theory of the referential and predicable concepts used in basic speech and mental acts is described in which singular and general, complex and simple, and pronominal and nonpronominal, referential concepts are given a uniform account. The theory includes an intensional realism in which the intensional contents of predicable and referential concepts are represented through nominalized forms of the predicate and quantifier phrases that stand for those concepts. A central part of the theory distinguishes between active and deactivated referential (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   4 citations  
  10. A Inseparabilidade entre Lógica e a Ética.John Corcoran - 2013 - Philósophos - Revista de Filosofia 18 (1):245-259.
    A Inseparabilidade entre Lógica e a Ética. Philósophos. 18 (2013) 245–259. Portuguese translation by Décio Krause and Pedro Merlussi: The Inseparability of Logic and Ethics, Free Inquiry, Spring 1989, 37–40. This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science of justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  11. Contra-Argumento/Contraejemplo.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 137--141.
    A universal proposition is shown false by a known counterexample. A premise-conclusion argument is shown invalid by a known counterargument. The failure to distinguish counterexample from counterargument is like the failure to distinguish falsehood from invalidity.
    Remove from this list  
    Translate
     
     
    Export citation  
     
    My bibliography  
  12. Forma lógica/Formalización.John Corcoran - 2011 - In Luis Vega and Paula Olmos (ed.), Compendio de Lógica, Argumentación y Retórica. Editorial Trotta. pp. 257--258.
    The logical form of a discourse—such as a proposition, a set of propositions, an argument, or an argumentation—is obtained by abstracting from the subject-matter of its content terms or by regarding the content terms as mere place-holders or blanks in a form. In a logically perfect language the logical form of a proposition, a set of propositions, an argument, or an argumentation is determined by the grammatical form of the sentence, the set of sentences, the argument-text, or the argumentation-text expressing (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  13. Peter Hare on the Proposition.John Corcoran - 2010 - Transactions of the Charles S. Peirce Society 46 (1):21-34.
    Peter H. Hare (1935-2008) developed informed, original views about the proposition: some published (Hare 1969 and Hare-Madden 1975); some expressed in conversations at scores of meetings of the Buffalo Logic Colloquium and at dinners following. The published views were expository and critical responses to publications by Curt J. Ducasse (1881-1969), a well-known presence in American logic, a founder of the Association for Symbolic Logic and its President for one term.1Hare was already prominent in the University of Buffalo's Philosophy Department in (...)
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  14. The Inseparability of Logic and Ethics.John Corcoran - 1989 - Free Inquiry 9 (2):37-40.
    This essay takes logic and ethics in broad senses: logic as the science of evidence; ethics as the science justice. One of its main conclusions is that neither science can be fruitfully pursued without the virtues fostered by the other: logic is pointless without fairness and compassion; ethics is pointless without rigor and objectivity. The logician urging us to be dispassionate is in resonance and harmony with the ethicist urging us to be compassionate.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  15. Ancient Logic and its Modern Interpretations.John Corcoran (ed.) - 1974 - Boston: Reidel.
    This book treats ancient logic: the logic that originated in Greece by Aristotle and the Stoics, mainly in the hundred year period beginning about 350 BCE. Ancient logic was never completely ignored by modern logic from its Boolean origin in the middle 1800s: it was prominent in Boole’s writings and it was mentioned by Frege and by Hilbert. Nevertheless, the first century of mathematical logic did not take it seriously enough to study the ancient logic texts. A renaissance in ancient (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   14 citations  
  16. Review: The Contemporary Relevance of Ancient Logical Theory. [REVIEW]John Corcoran & Michael Scanlan - 1982 - Philosophical Quarterly 32 (126):76 - 86.
    This interesting and imaginative monograph is based on the author’s PhD dissertation supervised by Saul Kripke. It is dedicated to Timothy Smiley, whose interpretation of PRIOR ANALYTICS informs its approach. As suggested by its title, this short work demonstrates conclusively that Aristotle’s syllogistic is a suitable vehicle for fruitful discussion of contemporary issues in logical theory. Aristotle’s syllogistic is represented by Corcoran’s 1972 reconstruction. The review studies Lear’s treatment of Aristotle’s logic, his appreciation of the Corcoran-Smiley paradigm, and his understanding (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   6 citations  
  17. Prova e Giustificazione.Alfredo Di Giorgio & Daniele Chiffi (eds.) - 2013 - G. Giappichelli Editore.
    I saggi che compongono questo libro intendono presentare in maniera organica e interdisciplinare, anche se da una prospettiva fondazionale logico-filosofica, il ruolo che il concetto di prova svolge in differenti ambiti del sapere. L’elemento innovativo e caratterizzante del volume è quello di stabilire e formulare quali sono le condizioni di adeguatezza materiale e formale per una corretta esplicazione del concetto di prova nelle sue differenti applicazioni. Si cercherà, inoltre, di cogliere cosa ha qualificato storicamente e qualifica tuttora il concetto di (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  18. Four Ways From Universal to Particular: How Chomsky's Language-Acquisition Faculty is Not Selectionist.David Ellerman - manuscript
    Following the development of the selectionist theory of the immune system, there was an attempt to characterize many biological mechanisms as being "selectionist" as juxtaposed to "instructionist." But this broad definition would group Darwinian evolution, the immune system, embryonic development, and Chomsky's language-acquisition mechanism as all being "selectionist." Yet Chomsky's mechanism (and embryonic development) are significantly different from the selectionist mechanisms of biological evolution or the immune system. Surprisingly, there is a very abstract way using two dual mathematical logics to (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  19. Heidegger's Distinction Between Scientific and Philosophical Judgments.Chad Engelland - 2007 - Philosophy Today 51 (Supplement):33-41.
    Some commentators, such as Jürgen Habermas, think Martin Heidegger is guilty of a performative contradiction, because he uses judgments to situate judgments in a non-judicative context. This paper defends Heidegger by distinguishing two senses of judgment in his thought. Temporality enables two different directions of inquiry and hence two kinds of judgment. Scientific judgments arise when we turn from the temporal horizon toward entities alone; phenomenological judgments arise when we return to the temporal horizon in which such entities are accessible. (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  20. Computer Models of Constitutive Social Practices.Richard Evans - 2016 - In Vincent C. Müller (ed.), Fundamental Issues of Artificial Intelligence. Springer. pp. 389-409.
    Research in multi-agent systems typically assumes a regulative model of social practice. This model starts with agents who are already capable of acting autonomously to further their individual ends. A social practice, according to this view, is a way of achieving coordination between multiple agents by restricting the set of actions available. For example, in a world containing cars but no driving regulations, agents are free to drive on either side of the road. To prevent collisions, we introduce driving regulations, (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  21. Dialectic and Dialetheism.Elena Ficara - 2013 - History and Philosophy of Logic 34 (1):35-52.
    In this article, I consider the possibility of interpreting Hegel’s dialectic as dialetheism. After a first basic recapitulation about the meaning of the words ‘dialetheism’ and ‘dialectic’ and a consideration of Priest’s own account of the relation between dialectical and dialetheic logic in 1989, I discuss some controversial issues, not directly considered by Priest. As a matter of fact, the reflection on paraconsistent logics and dialetheism has enormously grown in recent years. In addition, the reception of Hegel’s logic and metaphysics (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  22. Axiomatizing Semantic Theories of Truth?Martin Fischer, Volker Halbach, Jönne Kriener & Johannes Stern - 2015 - Review of Symbolic Logic 8 (2):257-278.
    We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography   2 citations  
  23. The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus.Zachary Fraser - 2007 - Cosmos & History 2 (1):92-133.
    One of the central tasks of Badiou’s Being and Event is to elaborate a theory of the subject in the wake of an axiomatic identification of ontology with mathematics, or, to be precise, with classical Zermelo-Fraenkel set theory. The subject, for Badiou, is essentially a free project that originates in an event, and subtracts itself from both being qua being, as well as the linguistic and epistemic apparatuses that govern the situation. The subjective project is, itself, conceived as the temporal (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  24. Hájek’s Faulty Discussion of Philosophical Heuristics.Danny Frederick - manuscript
    I point out some logical errors and infelicities in Hájek’s discussion of philosophical heuristics.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  25. P. F. Strawson on Predication.Danny Frederick - 2011 - Polish Journal of Philosophy 5 (1):39-57.
    Strawson offers three accounts of singular predication: a grammatical, a category and a mediating account. I argue that the grammatical and mediating accounts are refuted by a host of counter-examples and that the latter is worse than useless. In later works Strawson defends only the category account. This account entails that singular terms cannot be predicates; it excludes non-denoting singular terms from being logical subjects, except by means of an ad hoc analogy; it depends upon a notion of identification that (...)
    Remove from this list   Direct download (7 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  26. Renovating Philosophical Practice Through Diagrammatic Reasoning.Rocco Gangle - 2008 - Proceedings of the Xxii World Congress of Philosophy 4:47-52.
    The approach to the question of philosophical practice has been dominated by a subordination of practice to theory corresponding in general to a representational conception of philosophy. Methods of diagrammatic reasoning developed within philosophical semiotics provide a more effective approach. Inparticular, Peirce’s system of existential graphs exemplifies how diagrammatic reasoning is able formally to express the processes through which philosophical dialogue and cooperation actually take place and to link such processes to the methods and practices arising in other disciplines and (...)
    Remove from this list   Direct download (4 more)  
     
    Export citation  
     
    My bibliography  
  27. Présuppositions linguistiques et enjeux philosophiques des paralogismes liés à la forme de l’expression dans les Réfutations sophistiques d’Aristote.Leone Gazziero - 2016 - In Béatrice Godart-Wendling & Layla Raïd (eds.), B. Godart-Wendling et L. Raïd (éd.), A la recherche de la présupposition, London, Iste Editions, 2016. London: Iste. pp. 33-52.
    Pour des raisons essentiellement liées à la vocation des textes où la notion de présupposition a fait son apparition, c’est la présupposition d’existence qui s’est imposée la première à l’attention des philosophes du langage. Elle a également déterminé l’orientation des débats en les focalisant sur quelques problèmes traditionnels, au premier chef desquels le problème de l’absence de référence de certaines expressions et celui des imperfections du langage naturel. Contrairement aux noms propres et aux descriptions définies, les termes qui signifient des (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  28. Prefazione a Alberto Pasquinelli, Introduzione alla logica simbolica.Ludovico Geymonat - 1957 - Einaudi.
  29. Number of Non-Fregean Sentential Logics That Have Adequate Models.Joanna Golinska-Pilarek - 2006 - Mathematical Logic Quarterly 52 (5):439–443.
    We show that there are continuum many different non-Fregean sentential logics that have adequate models. The proof is based on the construction of a special class of models of the power of the continuum.
    Remove from this list   Direct download (6 more)  
     
    Export citation  
     
    My bibliography  
  30. The Rejection of the Proposition.Rolando M. Gripaldo - 2008 - Proceedings of the Xxii World Congress of Philosophy 13 (1):53-64.
    Part of rethinking philosophy today, the author believes, is to rethink our logical concepts. The author questions the ontological existence of the proposition as the content of sentential utterances—written or spoken—as it was originally proposed by John Searle. While a performative is an utterance where the speaker not only utters a sentential or illocutionary content such as a statement, but also performs the illocutionary force such as the act of stating, the author reasserts John Austin’s constative as the general label (...)
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  31. Logic, Language-Games and Information: Kantian Themes in the Philosophy of Logic.Jaakko Hintikka - 1973 - Oxford, Clarendon Press.
    I LOGIC IN PHILOSOPHY— PHILOSOPHY OF LOGIC i. On the relation of logic to philosophy I n this book, the consequences of certain logical insights for ...
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   58 citations  
  32. A New Three Dimensional Bivalent Hypercube Description, Analysis, and Prospects for Research.Jeremy Horne - 2012 - Neuroquantology 10 (1):12.
    A three dimensional hypercube representing all of the 4,096 dyadic computations in a standard bivalent system has been created. It has been constructed from the 16 functions arrayed in a table of functional completeness that can compute a dyadic relationship. Each component of the dyad is an operator as well as a function, such as “implication” being a result, as well as an operation. Every function in the hypercube has been color keyed to enhance the display of emerging patterns. At (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  33. Can a Language Have Indenumerably Many Expressions?Philip Hugly & Charles Sayward - 1983 - History and Philosophy of Logic 4 (1-2):73-82.
    A common assumption among philosophers is that every language has at most denumerably many expressions. This assumption plays a prominent role in many philosophical arguments. Recently formal systems with indenumerably many elements have been developed. These systems are similar to the more familiar denumerable first-order languages. This similarity makes it appear that the assumption is false. We argue that the assumption is true.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  34. Two Notions of Logical Form.Andrea Iacona - forthcoming - Journal of Philosophy.
    This paper claims that there is no such thing as the correct answer to the question of what is logical form: two significantly different notions of logical form are needed to fulfil two major theoretical roles that pertain respectively to logic and semantics. The first part of the paper outlines the thesis that a unique notion of logical form fulfils both roles, and argues that the alleged best candidate for making it true is unsuited for one of the two roles. (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography   1 citation  
  35. Logical Form and Truth-Conditions.Andrea Iacona - 2013 - Theoria: Revista de Teoría, Historia y Fundamentos de la Ciencia 28 (3):439-457.
    This paper outlines a truth-conditional view of logical form, that is, a view according to which logical form is essentially a matter of truth-conditions. Section 1 provides some preliminary clarifications. Section 2 shows that the main motivation for the view is the fact that fundamental logical relations such as entailment or contradiction can formally be explained only if truth-conditions are formally represented. Sections 3 and 4 articulate the view and dwell on its affinity with a conception of logical form that (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography  
  36. Petitio Principii: What's Wrong?Andrea Iacona & Diego Marconi - 2005 - Facta Philosophica 7 (1):19-34.
    One of the most common strategies in philosophical dispute is that of accusing the opponent of begging the question, that is, of assuming or presupposing what is to be proved. Thus, it happens quite often that the credibility of a philosophical argument is infected by the suspicion of begging the question. In many cases it is an open question whether the suspicion is grounded, and the answer lurks somewhere in the dark of what the proponent of the argument does not (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  37. Causal Interpretation of Gödel's Ontological Proof.Srećko Kovač - 2015 - In Kordula Świętorzecka (ed.), Gödel's Ontological Argument: History, Modifications, and Controversies. Semper. pp. 163.201.
  38. Logic and Truth in Religious Belief.Srećko Kovač - 2015 - In Miroslaw Szatkowski (ed.), God, Truth, and Other Enigmas. De Gruyter. pp. 119-132.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  39. Causation and Intensionality in Aristotelian Logic.Srećko Kovač - 2013 - Studia Philosophiae Christianae 49 (2):117-136.
    We want to show that Aristotle’s general conception of syllogism includes as its essential part the logical concept of necessity, which can be understood in a causal way. This logical conception of causality is more general then the conception of the causality in the Aristotelian theory of proof (“demonstrative syllogism”), which contains the causal account of knowledge and science outside formal logic. Aristotle’s syllogistic is described in a purely intensional way, without recourse to a set-theoretical formal semantics. It is shown (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  40. Modal Collapse in Gödel's Ontological Proof.Srećko Kovač - 2012 - In Miroslaw Szatkowski (ed.), Ontological Proofs Today. Ontos Verlag. pp. 50--323.
    After introductory reminder of and comments on Gödel’s ontological proof, we discuss the collapse of modalities, which is provable in Gödel’s ontological system GO. We argue that Gödel’s texts confirm modal collapse as intended consequence of his ontological system. Further, we aim to show that modal collapse properly fits into Gödel’s philosophical views, especially into his ontology of separation and union of force and fact, as well as into his cosmological theory of the nonobjectivity of the lapse of time. As (...)
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  41. Quine's Platonism and Antiplatonism.Srećko Kovač - 1999 - Synthesis Philosophica 14 (1999):45-52.
    Quine rejects intensional Platonism and, with it, also rejects attributes (properties) as designations of predicates. He pragmatically accepts extensional Platonism, but conceives of classes as merely auxiliary entities needed to express some laws of set theory. At the elementary logical level, Quine develops an “ontologically innocent” logic of predicates. What in standard quantification theory is the work of variables is in the logic of predicates the work of a few functors that operate on predicates themselves: variables are eliminated. This “predicate (...)
    Remove from this list  
    Translate
      Direct download  
     
    Export citation  
     
    My bibliography  
  42. Mathematics as the Science of Pure Structure.John-Michael Kuczynski - manuscript
    A brief but rigorous description of the logical structure of mathematical truth.
    Remove from this list   Direct download  
     
    Export citation  
     
    My bibliography  
  43. Frege, Logic, and Logicism.John-Michael Kuczynski - 2016 - Amazon Digital Services LLC.
    Gottlob Frege (1848-1925) invented the discipline of mathematical logic. In this short work, it is clearly stated what Frege did and did not accomplish.
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  44. The Mathematics of the Infinite.John-Michael Kuczynski - 2015 - Amazon Digital Services LLC.
    This book clearly explains what an infinite number is, how infinite numbers differ from finite numbers, and how infinite numbers differ from one another. The concept of recursivity is concisely but thoroughly covered, as are the concepts of cardinal and ordinal number. All of Cantor's key proofs are clearly stated, including his epoch-making diagonal proof, whereby he proved that that there are more reals than rationals and, more generally, that there are infinitely large, non-recursive classes. In the final section, Kurt (...)
    Remove from this list  
     
    Export citation  
     
    My bibliography  
  45. Minimalne empiryczne podstawy teorii bytu a modele dla logiki nazw.Piotr Kulicki - 2010 - Roczniki Filozoficzne 58 (2):29-39.
    In the article attention is paid to the analogy between considerations concerning the number of objects that are the empirical basis for the theory of being and investigations concerning the size of the models necessary for solving formulas on the ground of calculus of names without quantifiers. In both cases a minimum of two objects appear as an answer to the question that has been posed. In explaining the noticed similarity the meaning aspect, as different from the referential aspect of (...)
    Remove from this list  
    Translate
      Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  46. What is Wrong with Classical Negation?Nils Kurbis - 2015 - Grazer Philosophische Studien 92:51-86.
    The focus of this paper are Dummett's meaning-theoretical arguments against classical logic based on consideration about the meaning of negation. Using Dummettian principles, I shall outline three such arguments, of increasing strength, and show that they are unsuccessful by giving responses to each argument on behalf of the classical logician. What is crucial is that in responding to these arguments a classicist need not challenge any of the basic assumptions of Dummett's outlook on the theory of meaning. In particular, I (...)
    Remove from this list   Direct download (5 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  47. Stable Harmony.Nils Kürbis - 2008 - In Peliš Michal (ed.), Logica Yearbook 2007.
    In this paper, I'll present a general way of "reading off" introduction/elimination rules from elimination/introduction rules, and define notions of harmony and stability on the basis of it.
    Remove from this list   Direct download (3 more)  
     
    Export citation  
     
    My bibliography  
  48. What is a Logical Diagram?Catherine Legg - 2013 - In Sun-Joo Shin & Amirouche Moktefi (eds.), Visual Reasoning with Diagrams. Springer. pp. 1-18.
    Robert Brandom’s expressivism argues that not all semantic content may be made fully explicit. This view connects in interesting ways with recent movements in philosophy of mathematics and logic (e.g. Brown, Shin, Giaquinto) to take diagrams seriously - as more than a mere “heuristic aid” to proof, but either proofs themselves, or irreducible components of such. However what exactly is a diagram in logic? Does this constitute a semiotic natural kind? The paper will argue that such a natural kind does (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography   1 citation  
  49. Die neuaristotelischen Ursprünge des Kontextprinzips und die Fortführung in der fregeschen Begriffsschrift.Jens Lemanski - 2013 - Zeitschrift für Philosophische Forschung 67 (4):566-586.
    Beginning with a research review, the present paper shows that Hans Slugaʼs and esp. Robert Brandomʼs thesis, according to which Frege has adopted the context-principle and the priority of propositional from Kant, can solve problems in current Frege scholarship, on the one hand, but is itself fraught with further problems, on the other hand. In contrast, this paper maintains that the context-principle and the priority of the propositional are implicitly present in Fregeʼs Begriffsschrift since both have not been taken over (...)
    Remove from this list  
    Translate
      Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
  50. Three Views of Logic: Mathematics, Philosophy, Computer Science.Donald W. Loveland, Richard E. Hodel & Susan G. Sterrett - 2014 - Princeton University Press.
    Demonstrating the different roles that logic plays in the disciplines of computer science, mathematics, and philosophy, this concise undergraduate textbook covers select topics from three different areas of logic: proof theory, computability theory, and nonclassical logic. The book balances accessibility, breadth, and rigor, and is designed so that its materials will fit into a single semester. Its distinctive presentation of traditional logic material will enhance readers' capabilities and mathematical maturity. The proof theory portion presents classical propositional logic and first-order logic (...)
    Remove from this list   Direct download (2 more)  
     
    Export citation  
     
    My bibliography  
1 — 50 / 87