Results for 'Yvonne Corcoran'

142 found
Order:
  1. Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08.John Corcoran - 1972 - Philosophy of Science 39 (1):106-108.
    Reid, Constance. Hilbert (a Biography). Reviewed by Corcoran in Philosophy of Science 39 (1972), 106–08. -/- Constance Reid was an insider of the Berkeley-Stanford logic circle. Her San Francisco home was in Ashbury Heights near the homes of logicians such as Dana Scott and John Corcoran. Her sister Julia Robinson was one of the top mathematical logicians of her generation, as was Julia’s husband Raphael Robinson for whom Robinson Arithmetic was named. Julia was a Tarski PhD and, in (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  2. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Seven military classics : martial victory through good governance.Yvonne Chiu - 2024 - In Sumner B. Twiss, Bingxiang Luo & Benedict S. B. Chan (eds.), Warfare ethics in comparative perspective: China and the West. New York, NY: Routledge, Taylor & Francis Group. pp. 91-112.
    Contemporary international law separates the international justice of war from the domestic justice of society, but empirically, there is a correlation between democratic governance and military effectiveness, which could have a number of causes. A contemporary reconstruction from _The Seven Military Classics_ of Chinese military philosophy offers potential lessons for how domestic virtues may yield military and geopolitical victory. This chapter reconstructs arguments from the seven treatises into a collective an amalgamated conception of “good governance” that weaves together military strategy (...)
    Download  
     
    Export citation  
     
    Bookmark  
  4. CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI's COLLECTED PAPERS.John Corcoran - 1991 - MATHEMATICAL REVIEWS 91 (I):110-114.
    CORCORAN REVIEWS THE 4 VOLUMES OF TARSKI’S COLLECTED PAPERS Alfred Tarski (1901--1983) is widely regarded as one of the two giants of twentieth-century logic and also as one of the four greatest logicians of all time (Aristotle, Frege and Gödel being the other three). Of the four, Tarski was the most prolific as a logician. The four volumes of his collected papers, which exclude most of his 19 monographs, span over 2500 pages. Aristotle's writings are comparable in volume, but (...)
    Download  
     
    Export citation  
     
    Bookmark  
  5. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   13 citations  
  6. C. I. Lewis: History and philosophy of logic.John Corcoran - 2006 - Transactions of the Charles S. Peirce Society 42 (1):1-9.
    C. I. Lewis (I883-I964) was the first major figure in history and philosophy of logic—-a field that has come to be recognized as a separate specialty after years of work by Ivor Grattan-Guinness and others (Dawson 2003, 257).Lewis was among the earliest to accept the challenges offered by this field; he was the first who had the philosophical and mathematical talent, the philosophical, logical, and historical background, and the patience and dedication to objectivity needed to excel. He was blessed with (...)
    Download  
     
    Export citation  
     
    Bookmark  
  7. Scrolling Towards Bethlehem: Conforming to Authoritarian Social Media Laws.Yvonne Chiu - 2024 - In Carl Fox & Joe Saunders (eds.), Routledge Handbook of Philosophy and Media Ethics. Routledge. pp. 355–367.
    The social media industry lacks developed principles of professional ethics that it would need in order to better navigate the ethics of conforming to local media laws in authoritarian countries that lack meaningful protections for privacy, personal and political expression, and intellectual property. This chapter analyzes this question through three frameworks of professional ethics—journalism ethics, technology ethics, and business ethics—and the ways that social media resembles and crucially differs from these three industries.
    Download  
     
    Export citation  
     
    Bookmark  
  8. Conspiring with the Enemy: The Ethic of Cooperation in Warfare.Yvonne Chiu - 2019 - New York, NY, USA: Columbia University Press.
    *North American Society for Social Philosophy (NASSP) Book Award 2019.* -/- *International Studies Association (ISA) - International Ethics Section Book Award 2021.* -/- Although military mores have relied primarily on just war theory, the ethic of cooperation in warfare (ECW)—between enemies even as they are trying to kill each other—is as central to the practice of warfare and to conceptualization of its morality. Neither game theory nor unilateral moral duties (God-given or otherwise) can explain the explicit language of cooperation in (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  9. The Founding of Logic: Modern Interpretations of Aristotle’s Logic.John Corcoran - 1994 - Ancient Philosophy 14 (S1):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 (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  10. Are fraud victims nothing more than animals? Critiquing the propagation of “pig butchering” (Sha Zhu Pan, 杀猪盘).Jack Whittaker, Suleman Lazarus & Taidgh Corcoran - 2024 - Journal of Economic Criminology 3.
    This is a theoretical treatment of the term "Sha Zhu Pan" (杀猪盘) in Chinese, which translates to “Pig-Butchering” in English. The article critically examines the propagation and validation of "Pig Butchering," an animal metaphor, and its implications for the dehumanisation of victims of online fraud across various discourses. The study provides background information about this type of fraud before investigating its theoretical foundations and linking its emergence to the dehumanisation of fraud victims. The analysis highlights the disparity between academic literature, (...)
    Download  
     
    Export citation  
     
    Bookmark  
  11. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  12. A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran - manuscript
    This presentation includes a complete bibliography of John Corcoran’s publications devoted at least in part to Aristotle’s logic. Sections I–IV list 20 articles, 43 abstracts, 3 books, and 10 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article that antedates Corcoran’s Aristotle’s studies and the Journal of Symbolic Logic article first reporting his original results; it ends with works published in 2015. A few of the items are annotated with endnotes connecting (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  14. Corcoran recommends Hambourger on the Frege-Russell number definition.John Corcoran - 1978 - MATHEMATICAL REVIEWS 56.
    It is widely agreed by philosophers that the so-called “Frege-Russell definition of natural number” is actually an assertion concerning the nature of the numbers and that it cannot be regarded as a definition in the ordinary mathematical sense. On the basis of the reasoning in this paper it is clear that the Frege-Russell definition contradicts the following three principles (taken together): (1) each number is the same entity in each possible world, (2) each number exists in each possible world, (3) (...)
    Download  
     
    Export citation  
     
    Bookmark  
  15. SEPTEMBER 2015 UPDATE CORCORAN ARISTOTLE BIBLIOGRAPHY.John Corcoran - forthcoming - Aporia 5.
    This presentation includes a complete bibliography of John Corcoran’s publications relevant on Aristotle’s logic. The Sections I, II, III, and IV list respectively 23 articles, 44 abstracts, 3 books, and 11 reviews. Section I starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article—from Corcoran’s Philadelphia period that antedates his discovery of Aristotle’s natural deduction system—and the Journal of Symbolic Logic article—from his Buffalo period first reporting his original results. It ends with works published (...)
    Download  
     
    Export citation  
     
    Bookmark  
  16. CORCORAN's THUMBNAIL REVIEWS OF OPPOSING PHILOSOPHY OF LOGIC BOOKS.John Corcoran - 1978-9 - MATHEMATICAL REVIEWS 56:98-9.
    PUTNAM has made highly regarded contributions to mathematics, to philosophy of logic and to philosophy of science, and in this book he brings his ideas in these three areas to bear on the traditional philosophic problem of materialism versus (objective) idealism. The book assumes that contemporary science (mathematical and physical) is largely correct as far as it goes, or at least that it is rational to believe in it. The main thesis of the book is that consistent acceptance of contemporary (...)
    Download  
     
    Export citation  
     
    Bookmark  
  17. 2019 NASSP Book Award Panel - Reply to Commentators. The Boundaries of Battlefields, Collaboration Between Enemies, and Just War Theory.Yvonne Chiu - 2021 - Social Philosophy Today 37:225-233.
    Reply to commentators: Symposium on the winner of the 2019 NASSP Book Award Prize: Yvonne Chiu, *Conspiring with the Enemy: The Ethic of Cooperation in Warfare* (Columbia University Press, 2019).
    Download  
     
    Export citation  
     
    Bookmark  
  18. Three logical theories.John Corcoran - 1969 - Philosophy of Science 36 (2):153-177.
    This study concerns logical systems considered as theories. By searching for the problems which the traditionally given systems may reasonably be intended to solve, we clarify the rationales for the adequacy criteria commonly applied to logical systems. From this point of view there appear to be three basic types of logical systems: those concerned with logical truth; those concerned with logical truth and with logical consequence; and those concerned with deduction per se as well as with logical truth and logical (...)
    Download  
     
    Export citation  
     
    Bookmark   14 citations  
  19. Kurdistan: The Taiwan of the Middle East?Yvonne Chiu - 2018 - Society 55 (4):344-348.
    Taiwan and Kurdistan appear to have little in common, but the progressive values of these two societies embedded within hostile regions make them both natural allies and important strategic assets in the U.S.’s and international community’s long-term fight against authoritarianism and radical religious theocracies. Instead, they have been ignored and/or exploited in the pursuit of short-term geopolitical and economic interests in the Asia-Pacific and Middle East regions, which comes at great cost to American and international values as well as long-term (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  20. Liberal Lustration.Yvonne Chiu - 2010 - Journal of Political Philosophy 19 (4):440-464.
    After a regime-changing war, a state often engages in lustration—condemnation and punishment of dangerous, corrupt, or culpable remnants of the previous system—e.g., de-Nazification or the more recent de-Ba’athification in Iraq. This common practice poses an important moral dilemma for liberals because even thoughtful and nuanced lustration involves condemning groups of people, instead of treating each case individually. It also raises important questions about collective agency, group treatment, and rectifying historical injustices. Liberals often oppose lustration because it denies moral individualism and (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  21. "Semantic primitives" und die Fertigkeit "Definieren" im Fremdsprachenunterricht.Yvonne Kohl - 2009 - Acta Universitatis Lodziensis. Folia Germanica 5:91-115.
    W niniejszym tekście, poświęconym definiowaniu m. in. słów i zwrotów frazeologicznych podczas nauczania języków, autorka opisuje lingwistyczną teorię Anny Wierzbickiej, dotyczącą Natural Semantic Metalanguage i w adaptacyjnej formie przenosi ją na płaszczyznę zajęć z języka obcego, gdzie przynosi ona namacalne wyniki. Podczas zajęć językowych wymaga się od uczących się poprawnego definiowania ogólnego, które jednak rzadko przekazywane jest w podręcznikach i na wykładach, mimo iż zdolność ta nie jest wcale oczywista, samo definiowanie zaś nie jest łatwym zadaniem. Przeciwnie - od studentek (...)
    Download  
     
    Export citation  
     
    Bookmark  
  22. JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN's PUBLICATIONS ON ARISTOTLE 1972–2015.John Corcoran - manuscript
    JUNE 2015 UPDATE: A BIBLIOGRAPHY: JOHN CORCORAN’S PUBLICATIONS ON ARISTOTLE 1972–2015 By John Corcoran -/- This presentation includes a complete bibliography of John Corcoran’s publications relevant to his research on Aristotle’s logic. Sections I, II, III, and IV list 21 articles, 44 abstracts, 3 books, and 11 reviews. It starts with two watershed articles published in 1972: the Philosophy & Phenomenological Research article from Corcoran’s Philadelphia period that antedates his Aristotle studies and the Journal of Symbolic (...)
    Download  
     
    Export citation  
     
    Bookmark  
  23. Completeness of an ancient logic.John Corcoran - 1972 - Journal of Symbolic Logic 37 (4):696-702.
    In previous articles, it has been shown that the deductive system developed by Aristotle in his "second logic" is a natural deduction system and not an axiomatic system as previously had been thought. It was also stated that Aristotle's logic is self-sufficient in two senses: First, that it presupposed no other logical concepts, not even those of propositional logic; second, that it is (strongly) complete in the sense that every valid argument expressible in the language of the system is deducible (...)
    Download  
     
    Export citation  
     
    Bookmark   79 citations  
  24. Non-violence, Asceticism, and the Problem of Buddhist Nationalism.Yvonne Chiu - 2020 - Genealogy 4 (3).
    A religion with Buddhism's particular moral philosophies of non-violence and asceticism and with its *functional* polytheism in practice should not generate genocidal nationalist violence. Yet, there are resources within the Buddhist canon that people can draw from to justify violence in defense of the religion and of a Buddhist-based polity. When those resources are exploited, for example in the context of particular Theravāda Buddhist practices and the history of Buddhism and Buddhist identity in Burma from ancient times through its colonial (...)
    Download  
     
    Export citation  
     
    Bookmark  
  25. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  26. Conceptual structure of classical logic.John Corcoran - 1972 - Philosophy and Phenomenological Research 33 (1):25-47.
    One innovation in this paper is its identification, analysis, and description of a troubling ambiguity in the word ‘argument’. In one sense ‘argument’ denotes a premise-conclusion argument: a two-part system composed of a set of sentences—the premises—and a single sentence—the conclusion. In another sense it denotes a premise-conclusion-mediation argument—later called an argumentation: a three-part system composed of a set of sentences—the premises—a single sentence—the conclusion—and complex of sentences—the mediation. The latter is often intended to show that the conclusion follows from (...)
    Download  
     
    Export citation  
     
    Bookmark   20 citations  
  27. Democracy without Autonomy: Moral and Personal Autonomy in Democratic Confucianism.Yvonne Chiu - 2017 - Philosophy East and West 67 (1):47-60.
    The presence and absence of autonomy in Joseph Chan’s democratic Confucianism loom large, but not always in the ways that he maintains. Although Chan claims that his reconstruction of Confucianism for modern democracy can accept some forms of moral autonomy, what he presents does not constitute genuine moral autonomy, and the absence of that autonomy sits in tension with some other aspects of his model. When it comes to personal autonomy, it is the opposite: Chan says that the exercise of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  28. String theory.John Corcoran, William Frank & Michael Maloney - 1974 - Journal of Symbolic Logic 39 (4):625-637.
    For each positive n , two alternative axiomatizations of the theory of strings over n alphabetic characters are presented. One class of axiomatizations derives from Tarski's system of the Wahrheitsbegriff and uses the n characters and concatenation as primitives. The other class involves using n character-prefixing operators as primitives and derives from Hermes' Semiotik. All underlying logics are second order. It is shown that, for each n, the two theories are definitionally equivalent [or synonymous in the sense of deBouvere]. It (...)
    Download  
     
    Export citation  
     
    Bookmark   47 citations  
  29. The Self-Extinguishing Despot: Millian Democratization, or The Autophagous Autocrat.Yvonne Chiu & Robert S. Taylor - 2011 - Journal of Politics 73 (4):1239-50.
    Although there is no more iconic, stalwart, and eloquent defender of liberty and representative democracy than J.S. Mill, he sometimes endorses non-democratic forms of governance. This article explains the reasons behind this seeming aberration and shows that Mill actually has complex and nuanced views of the transition from non-democratic to democratic government, including the comprehensive and parallel material, cultural, institutional, and character reforms that must occur, and the mechanism by which they will be enacted. Namely, an enlightened despot must cultivate (...)
    Download  
     
    Export citation  
     
    Bookmark  
  30. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   39 citations  
  31. The Individualistic Roots of Virtue.Yvonne Chiu - 2022 - Journal of Social and Political Philosophy 1 (1):79-84.
    In *Against Political Equality: The Confucian Case*, BAI Tongdong says that his main target is democracy, but he focuses much of his critiques on liberalism, rejecting its foundational value of autonomy in favor of Confucian grounds for governance. Given the extent of his concurrence with liberalism, however, it would be more consistent with Bai’s stated aim (of tempering the democratic part and shoring up the liberal side of liberal democracy) to make common cause with liberalism against populism. Mencian compassion and (...)
    Download  
     
    Export citation  
     
    Bookmark  
  32. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   24 citations  
  33. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  34. Introduction: Confucian Perfectionism's Wary Embrace of Democracy.Yvonne Chiu - 2017 - Philosophy East and West 67 (1):1-2.
    With the stunning spread of democracy over large swathes of the globe since 1975 seemingly coming to a halt and perhaps receding in recent years, we revisit the question of whether democracy is really compatible with all types of cultures and philosophies, particularly those from Asia, where nearly two-thirds of the world’s population lives. Joseph Chan’s *Confucian Perfectionism: A Political Philosophy for Modern Times* (Princeton University Press, 2014) reconstructs Confucianism in order to meld it with democracy in a mutually advantageous (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Uniform Exceptions and Rights Violations.Yvonne Chiu - 2010 - Social Theory and Practice 36 (1):44-77.
    Non-uniformed combat morally infringes on civilians’ fundamental right to immunity and exacts an impermissible form of unofficial conscription that is morally prohibited even if the civilians knowingly consent to it. It is often argued that revolutionary groups burdened by resource disparities relative to the state or who claim alternative sources of political legitimacy (such as national self-determination or the constitution of a political collective) are justified in using unconventional tactics such as non-uniformed combat. Neither those reasons nor the provision of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  36. A Mathematical Model of Aristotle’s Syllogistic.John Corcoran - 1973 - Archiv für Geschichte der Philosophie 55 (2):191-219.
    In the present article we attempt to show that Aristotle's syllogistic is an underlying logiC which includes a natural deductive system and that it isn't an axiomatic theory as had previously been thought. We construct a mathematical model which reflects certain structural aspects of Aristotle's logic. We examine the relation of the model to the system of logic envisaged in scattered parts of Prior and Posterior Analytics. Our interpretation restores Aristotle's reputation as a logician of consummate imagination and skill. Several (...)
    Download  
     
    Export citation  
     
    Bookmark   23 citations  
  37. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   16 citations  
  38. Aristotle's natural deduction system.John Corcoran - 1974 - In Ancient Logic and its Modern Interpretations. Boston: Reidel. pp. 85--131.
    This presentation of Aristotle's natural deduction system supplements earlier presentations and gives more historical evidence. Some fine-tunings resulted from conversations with Timothy Smiley, Charles Kahn, Josiah Gould, John Kearns,John Glanvillle, and William Parry.The criticism of Aristotle's theory of propositions found at the end of this 1974 presentation was retracted in Corcoran's 2009 HPL article "Aristotle's demonstrative logic".
    Download  
     
    Export citation  
     
    Bookmark   58 citations  
  39. What is mathematical logic?John Corcoran & Stewart Shapiro - 1978 - Philosophia 8 (1):79-94.
    This review concludes that if the authors know what mathematical logic is they have not shared their knowledge with the readers. This highly praised book is replete with errors and incoherency.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  40. Conceptual engineering and pragmatism: historical and theoretical perspectives.Céline Henne & Yvonne Huetter-Almerigi - forthcoming - Inquiry: An Interdisciplinary Journal of Philosophy.
    Conceptual engineering takes a distinctively normative and reconstructive approach to our conceptual repertoire. This approach is congenial to the ideas defended by philosophers belonging to the multifaceted tradition of American and Cambridge Pragmatism. This special issue is devoted to the investigation and development of these connections. Our introduction maps some of the historical and theoretical entanglements between the two fields and gives a short overview of the contributions to the special issue.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  41. Existential Import Today: New Metatheorems; Historical, Philosophical, and Pedagogical Misconceptions.John Corcoran & Hassan Masoud - 2015 - History and Philosophy of Logic 36 (1):39-61.
    Contrary to common misconceptions, today's logic is not devoid of existential import: the universalized conditional ∀ x [S→ P] implies its corresponding existentialized conjunction ∃ x [S & P], not in all cases, but in some. We characterize the proexamples by proving the Existential-Import Equivalence: The antecedent S of the universalized conditional alone determines whether the universalized conditional has existential import, i.e. whether it implies its corresponding existentialized conjunction.A predicate is an open formula having only x free. An existential-import predicate (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  42. Two Forms of Realism.Yvonne Huetter-Almerigi - 2020 - European Journal of Pragmatism and American Philosophy 12 (1).
    There is a famous puzzle in Rorty scholarship: Did or did Rorty not subscribe to a form of realism and truth when he made concessions regarding objectivity to Bjørn Ramberg in 2000? Relatedly, why did Rorty agree with Ramberg but nevertheless insist upon disagreeing with Brandom, though large parts of the research community hold their two respective requests for shifts in Rorty’s stance to be congruous? The present article takes up the discussion and tries, for the first time, to make (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  43. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   6 citations  
  44. Argumentations and Logic.John Corcoran - 1989 - ARGUMENTAION 3 (1):17-43.
    Argumentations are at the heart of the deductive and the hypothetico-deductive methods, which are involved in attempts to reduce currently open problems to problems already solved. These two methods span the entire spectrum of problem-oriented reasoning from the simplest and most practical to the most complex and most theoretical, thereby uniting all objective thought whether ancient or contemporary, whether humanistic or scientific, whether normative or descriptive, whether concrete or abstract. Analysis, synthesis, evaluation, and function of argumentations are described. Perennial philosophic (...)
    Download  
     
    Export citation  
     
    Bookmark   31 citations  
  45. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   25 citations  
  46. INFORMATION-THEORETIC LOGIC.John Corcoran - 1998 - In C. Martínez U. Rivas & L. Villegas-Forero (eds.), Truth in Perspective edited by C. Martínez, U. Rivas, L. Villegas-Forero, Ashgate Publishing Limited, Aldershot, England (1998) 113-135. ASHGATE. pp. 113-135.
    Information-theoretic approaches to formal logic analyse the "common intuitive" concept of propositional implication (or argumental validity) in terms of information content of propositions and sets of propositions: one given proposition implies a second if the former contains all of the information contained by the latter; an argument is valid if the conclusion contains no information beyond that of the premise-set. This paper locates information-theoretic approaches historically, philosophically and pragmatically. Advantages and disadvantages are identified by examining such approaches in themselves and (...)
    Download  
     
    Export citation  
     
    Bookmark   22 citations  
  47. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  48. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark  
  49. An Essay on Knowledge and Belief.John Corcoran - 2006 - International Journal of Decision Ethics (2):125-144.
    This accessible essay treats knowledge and belief in a usable and applicable way. Many of its basic ideas have been developed recently in Corcoran-Hamid 2014: Investigating knowledge and opinion. The Road to Universal Logic. Vol. I. Arthur Buchsbaum and Arnold Koslow, Editors. Springer. Pp. 95-126. http://www.springer.com/birkhauser/mathematics/book/978-3-319-10192-7 .
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  50. Meanings of word: type-occurrence-token.John Corcoran - 2005 - Bulletin of Symbolic Logic 11 (1):117.
    Corcoran, John. 2005. Meanings of word: type-occurrence-token. Bulletin of Symbolic Logic 11(2005) 117. -/- Once we are aware of the various senses of ‘word’, we realize that self-referential statements use ambiguous sentences. If a statement is made using the sentence ‘this is a pronoun’, is the speaker referring to an interpreted string, a string-type, a string-occurrence, a string-token, or what? The listeners can wonder “this what?”. -/- John Corcoran, Meanings of word: type-occurrence-token Philosophy, University at Buffalo, Buffalo, NY (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
1 — 50 / 142