View topic on PhilPapers for more information
Related categories

28 found
Order:
More results on PhilPapers
  1. added 2019-09-18
    On Certain Axiomatizations of Arithmetic of Natural and Integer Numbers.Urszula Wybraniec-Skardowska - 2019 - Axioms 2019 (Deductive Systems).
    The systems of arithmetic discussed in this work are non-elementary theories. In this paper, natural numbers are characterized axiomatically in two di erent ways. We begin by recalling the classical set P of axioms of Peano’s arithmetic of natural numbers proposed in 1889 (including such primitive notions as: set of natural numbers, zero, successor of natural number) and compare it with the set W of axioms of this arithmetic (including the primitive notions like: set of natural numbers and relation of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  2. added 2019-06-06
    The Contemporary Relevance of Ancient Logical Theory.John Corcoran - 1982 - Philosophical Quarterly 32 (126):76.
    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   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  3. added 2019-04-05
    Categoricity and Negation. A Note on Kripke’s Affirmativism.Constantin C. Brîncuș & Iulian D. Toader - 2018 - In The Logica Yearbook 2018. London: College Publications. pp. 57-66.
    The idea that an adequate language for science needs a negation operator was recently dismissed by Kripke as "yet another dogma of empiricism". That a scientist could, and even should, drop negation implies at least three points: 1. negativist theories, i.e., theories formulated in languages that include negation, are conservative extensions of their affirmativist versions; 2. negativist theories have no serious advantages over their affirmativist versions; 3. negativist theories are dispensable and should better be replaced by their affirmativist versions. We (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  4. added 2019-04-02
    Rejection in Łukasiewicz's and Słupecki' Sense.Urszula Wybraniec-Skardowska - 2018 - Lvov-Warsaw School. Past and Present.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  5. added 2019-04-02
    Alfred Tarski - the Man Who Defined Truth.Urszula Wybraniec-Skardowska - 2008 - Filozofia, Scientific Works of Jan Długosz Academy, Częstochowa:67-71.
    This article is a translation of the paper in Polish (Alfred Tarski - człowiek, który zdefiniował prawdę) published in Ruch Filozoficzny 4 (4) (2007). It is a personal Alfred Tarski memories based on my stay in Berkeley and visit the Alfred Tarski house for the invitation of Janusz Tarski.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  6. added 2019-03-31
    Introduction. The School: Its Genesis, Development and Significance.U. Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), in: The Lvov-Warsaw School. Past and Present. Cham, Switzerland: Springer. pp. 3-14.
    The Introduction outlines, in a concise way, the history of the Lvov-Warsaw School – a most unique Polish school of worldwide renown, which pioneered trends combining philosophy, logic, mathematics and language. The author accepts that the beginnings of the School fall on the year 1895, when its founder Kazimierz Twardowski, a disciple of Franz Brentano, came to Lvov on his mission to organize a scientific circle. Soon, among the characteristic features of the School was its serious approach towards philosophical studies (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  7. added 2019-03-07
    Consideraciones sobre algunos aspectos lógicos del giro lingüístico.Eduardo Dib - 2007 - In Hugo Aguilar & Marisa Moyano (eds.), Sentido y performatividad: La construcción discursiva de lo real. Río Cuarto, Córdoba, Argentina: pp. 109-121.
    Regarding the linguistic turn in History of Ideas, there are logical topics to be considered in order to increase the accuracy of reconstruccions oriented to describe and explain conceptual formations of the past. This paper propose an overview of these topics and a methodological approach to deal with its difficulties.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  8. added 2019-01-06
    De Re and De Dicto Modality in Islamic Traditional Logic.Zia Movahed - 2010 - Sophia Perennis 2:5-14.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  9. added 2018-08-06
    Rejection in Łukasiewicz's and Słupecki's Sense.Urszula Wybraniec-Skardowska - 2018 - In Urszula Wybraniec-Skardowska & Ángel Garrido (eds.), The Lvov-Warsaw School. Past and Present. Basel, Switzerland: pp. 575-597.
    The idea of rejection originated by Aristotle. The notion of rejection was introduced into formal logic by Łukasiewicz [20]. He applied it to complete syntactic characterization of deductive systems using an axiomatic method of rejection of propositions [22, 23]. The paper gives not only genesis, but also development and generalization of the notion of rejection. It also emphasizes the methodological approach to biaspectual axiomatic method of characterization of deductive systems as acceptance (asserted) systems and rejection (refutation) systems, introduced by Łukasiewicz (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  10. added 2018-05-30
    Štyri antické argumenty o budúcich nahodnostiach (Four Ancient Arguments on Future Contingencies).Vladimir Marko - 2017 - Bratislava, Slovakia: Univerzita Komenského.
    Essays on Aristotle's Sea-Battle, Lazy Argument, Argument Reaper, Diodorus' Master Argument.
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  11. added 2018-02-16
    Variable Binding Term Operators.John Corcoran, William Hatcher & John Herring - 1972 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 18 (12):177-182.
    Chapin reviewed this 1972 ZEITSCHRIFT paper that proves the completeness theorem for the logic of variable-binding-term operators created by Corcoran and his student John Herring in the 1971 LOGIQUE ET ANALYSE paper in which the theorem was conjectured. This leveraging proof extends completeness of ordinary first-order logic to the extension with vbtos. Newton da Costa independently proved the same theorem about the same time using a Henkin-type proof. This 1972 paper builds on the 1971 “Notes on a Semantic Analysis of (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   6 citations  
  12. 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  
  13. added 2016-01-11
    Review Of: Garciadiego, A., "Emergence Of...Paradoxes...Set Theory", Historia Mathematica (1985), in Mathematical Reviews 87j:01035.John Corcoran - 1987 - MATHEMATICAL REVIEWS 87 (J):01035.
    DEFINING OUR TERMS A “paradox" is an argumentation that appears to deduce a conclusion believed to be false from premises believed to be true. An “inconsistency proof for a theory" is an argumentation that actually deduces a negation of a theorem of the theory from premises that are all theorems of the theory. An “indirect proof of the negation of a hypothesis" is an argumentation that actually deduces a conclusion known to be false from the hypothesis alone or, more commonly, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  14. added 2015-05-23
    Three Rules of Distribution: One Counterexample.John Corcoran - 1987 - Journal of Symbolic Logic 52:886-887.
    This self-contained one page paper produces one valid two-premise premise-conclusion argument that is a counterexample to the entire three traditional rules of distribution. These three rules were previously thought to be generally applicable criteria for invalidity of premise-conclusion arguments. No longer can a three-term argument be dismissed as invalid simply on the ground that its middle is undistributed, for example. The following question seems never to have been raised: how does having an undistributed middle show that an argument's conclusion does (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  15. added 2015-03-14
    REVIEW OF 1988. Saccheri, G. Euclides Vindicatus (1733), Edited and Translated by G. B. Halsted, 2nd Ed. (1986), in Mathematical Reviews MR0862448. 88j:01013.John Corcoran - 1988 - MATHEMATICAL REVIEWS 88 (J):88j:01013.
    Girolamo Saccheri (1667--1733) was an Italian Jesuit priest, scholastic philosopher, and mathematician. He earned a permanent place in the history of mathematics by discovering and rigorously deducing an elaborate chain of consequences of an axiom-set for what is now known as hyperbolic (or Lobachevskian) plane geometry. Reviewer's remarks: (1) On two pages of this book Saccheri refers to his previous and equally original book Logica demonstrativa (Turin, 1697) to which 14 of the 16 pages of the editor's "Introduction" are devoted. (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  16. added 2014-12-15
    Wholistic Reference, Truth-Values, Universes of Discourse, and Formal Ontology: Tréplica to Oswaldo Chateaubriand.John Corcoran - 2005 - Manuscrito 28 (1):143-167.
    ABSTRACT: In its strongest unqualified form, the principle of wholistic reference is that in any given discourse, each proposition refers to the whole universe of that discourse, regardless of how limited the referents of its non-logical or content terms. According to this principle every proposition of number theory, even an equation such as "5 + 7 = 12", refers not only to the individual numbers that it happens to mention but to the whole universe of numbers. This principle, its history, (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  17. added 2014-12-14
    Boole's Criteria for Validity and Invalidity.John Corcoran & Susan Wood - 1980 - Notre Dame Journal of Formal Logic 21 (4):609-638.
    It is one thing for a given proposition to follow or to not follow from a given set of propositions and it is quite another thing for it to be shown either that the given proposition follows or that it does not follow.* Using a formal deduction to show that a conclusion follows and using a countermodel to show that a conclusion does not follow are both traditional practices recognized by Aristotle and used down through the history of logic. These (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  18. 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   10 citations  
  19. added 2014-12-06
    Review of Striker Translation of Aristotle's PRIOR ANALYTICS. [REVIEW]John Corcoran - 2010 - Notre Dame Philosophical Reviews:1-13.
    This review places this translation and commentary on Book A of Prior Analytics in historical, logical, and philosophical perspective. In particular, it details the author’s positions on current controversies. The author of this translation and commentary is a prolific and respected scholar, a leading figure in a large and still rapidly growing area of scholarship: Prior Analytics studies PAS. PAS treats many aspects of Aristotle’s Prior Analytics: historical context, previous writings that influenced it, preservation and transmission of its manuscripts, editions (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  20. added 2014-11-20
    The Absence of Multiple Universes of Discourse in the 1936 Tarski Consequence-Definition Paper.John Corcoran & José Miguel Sagüillo - 2011 - History and Philosophy of Logic 32 (4):359 - 374.
    This paper discusses the history of the confusion and controversies over whether the definition of consequence presented in the 11-page 1936 Tarski consequence-definition paper is based on a monistic fixed-universe framework?like Begriffsschrift and Principia Mathematica. Monistic fixed-universe frameworks, common in pre-WWII logic, keep the range of the individual variables fixed as the class of all individuals. The contrary alternative is that the definition is predicated on a pluralistic multiple-universe framework?like the 1931 Gödel incompleteness paper. A pluralistic multiple-universe framework recognizes multiple (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   5 citations  
  21. added 2014-11-05
    2007. Notes on the Founding of Logics and Metalogic: Aristotle, Boole, and Tarski. Eds. C. Martínez Et Al. Current Topics in Logic and Analytic Philosophy / Temas Actuales de Lógica y Filosofía Analítica. Imprenta Univeridade Santiago de Compostela.John Corcoran - 2007 - In C. Martínez (ed.), Current Topics in Logic and Analytic Philosophy /. pp. 145-178.
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  22. added 2014-10-29
    Meanings of Implication.John Corcoran - 1973 - Diálogos. Revista de Filosofía de la Universidad de Puerto Rico 9 (24):59-76.
    Thirteen meanings of 'implication' are described and compared. Among them are relations that have been called: logical implication, material implication,deductive implication, formal implication, enthymemic implication, and factual implication. In a given context, implication is the homogeneous two-place relation expressed by the relation verb 'implies'. For heuristic and expository reasons this article skirts many crucial issues including use-mention, the nature of the entities that imply and are implied, and the processes by which knowledge of these relations are achieved. This paper is (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   10 citations  
  23. added 2014-04-03
    The Founding of Logic.John Corcoran - 1994 - Ancient Philosophy 14 (Special Issue):9-24.
    Since the time of Aristotle's students, interpreters have considered Prior Analytics to be a treatise about deductive reasoning, more generally, about methods of determining the validity and invalidity of premise-conclusion arguments. People studied Prior Analytics in order to learn more about deductive reasoning and to improve their own reasoning skills. These interpreters understood Aristotle to be focusing on two epistemic processes: first, the process of establishing knowledge that a conclusion follows necessarily from a set of premises (that is, on the (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   13 citations  
  24. added 2014-03-18
    Schemata: The Concept of Schema in the History of Logic.John Corcoran - 2006 - Bulletin of Symbolic Logic 12 (2):219-240.
    The syllogistic figures and moods can be taken to be argument schemata as can the rules of the Stoic propositional logic. Sentence schemata have been used in axiomatizations of logic only since the landmark 1927 von Neumann paper [31]. Modern philosophers know the role of schemata in explications of the semantic conception of truth through Tarski’s 1933 Convention T [42]. Mathematical logicians recognize the role of schemata in first-order number theory where Peano’s second-order Induction Axiom is approximated by Herbrand’s Induction-Axiom (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   8 citations  
  25. added 2014-02-19
    The 1 Law of "Absolute Reality"." ~, , Data", , ", , Value", , = O. &Gt, Being", & Human - manuscript
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  26. added 2012-12-27
    The Development of Dialectic and Argumentation Theory in Post-Classical Islamic Intellectual History.Mehmet Karabela - 2011 - Dissertation, McGill University
    This dissertation is an analysis of the development of dialectic and argumentation theory in post-classical Islamic intellectual history. The central concerns of the thesis are; treatises on the theoretical understanding of the concept of dialectic and argumentation theory, and how, in practice, the concept of dialectic, as expressed in the Greek classical tradition, was received and used by five communities in the Islamic intellectual camp. It shows how dialectic as an argumentative discourse diffused into five communities (theologicians, poets, grammarians, philosophers (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark  
  27. added 2012-10-12
    What Achilles Did and the Tortoise Wouldn't.Catherine Legg - manuscript
    This paper offers an expressivist account of logical form, arguing that in order to fully understand it one must examine what valid arguments make us do (or: what Achilles does and the Tortoise doesn’t, in Carroll’s famed fable). It introduces Charles Peirce’s distinction between symbols, indices and icons as three different kinds of signification whereby the sign picks out its object by learned convention, by unmediated indication, and by resemblance respectively. It is then argued that logical form is represented by (...)
    Remove from this list   Download  
    Translate
     
     
    Export citation  
     
    Bookmark  
  28. added 2009-04-14
    Categoricity.John Corcoran - 1980 - History and Philosophy of Logic 1 (1):187-207.
    After a short preface, the first of the three sections of this paper is devoted to historical and philosophic aspects of categoricity. The second section is a self-contained exposition, including detailed definitions, of a proof that every mathematical system whose domain is the closure of its set of distinguished individuals under its distinguished functions is categorically characterized by its induction principle together with its true atoms (atomic sentences and negations of atomic sentences). The third section deals with applications especially those (...)
    Remove from this list   Download  
     
    Export citation  
     
    Bookmark   30 citations