Results for 'J. Corcoran'

(not author) ( search as author name )
957 found
Order:
  1. Notes on a semantic analysis of variable binding term operators.J. Corcoran & John Herring - 1971 - Logique Et Analyse 55:644-657.
    -/- A variable binding term operator (vbto) is a non-logical constant, say v, which combines with a variable y and a formula F containing y free to form a term (vy:F) whose free variables are exact ly those of F, excluding y. -/- Kalish-Montague proposed using vbtos to formalize definite descriptions, set abstracts {x: F}, minimalization in recursive function theory, etc. However, they gave no sematics for vbtos. Hatcher gave a semantics but one that has flaws. We give a correct (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  2. Counterexamples and Proexamples.J. Corcoran - 2005 - Bulletin of Symbolic Logic 11:460.
    Corcoran, J. 2005. Counterexamples and proexamples. Bulletin of Symbolic Logic 11(2005) 460. -/- John Corcoran, Counterexamples and Proexamples. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 E-mail: corcoran@buffalo.edu Every perfect number that is not even is a counterexample for the universal proposition that every perfect number is even. Conversely, every counterexample for the proposition “every perfect number is even” is a perfect number that is not even. Every perfect number that is odd is a proexample for the existential (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  3. Significados de la implicación.J. Corcoran - 1985 - Agora 5:279.
    John Corcoran ’s “Meanings of Implication” outlines and discusses 12 distinct uses of the term “implies” while also commenting on the ways in which these different notions of implication might be confused or conflated. Readers may take special note of Corcoran ’s analysis of Russell’s truth-functional account of “implication” and its historical function as logical consequence, as well as Corcoran ’s discussion of Bolzano’s previously obscure and rarely mentioned notion of “relative implication.”.
    Download  
     
    Export citation  
     
    Bookmark  
  4. Argumentaciones y lógica.J. Corcoran - 1994 - Agora 13 (1):27.
    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   2 citations  
  5. Protasis in Prior Analytics: Proposition or Premise.J. Corcoran & G. Boger - 2011 - Bulletin of Symbolic Logic 17 (1):151 - 2.
    The word pro-tasis is etymologically a near equivalent of pre-mise, pro-position, and ante-cedent—all having positional, relational connotations now totally absent in contemporary use of proposition. Taking protasis for premise, Aristotle’s statement (24a16) -/- A protasis is a sentence affirming or denying something of something…. -/- is not a definition of premise—intensionally: the relational feature is absent. Likewise, it is not a general definition of proposition—extensionally: it is too narrow. This paper explores recent literature on these issues.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  6. 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 (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  7. Review of Macbeth, D. Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. Mathematical Reviews MR 2935338.John Corcoran - 2014 - MATHEMATICAL REVIEWS 2014:2935338.
    A Mathematical Review by John Corcoran, SUNY/Buffalo -/- Macbeth, Danielle Diagrammatic reasoning in Frege's Begriffsschrift. Synthese 186 (2012), no. 1, 289–314. ABSTRACT This review begins with two quotations from the paper: its abstract and the first paragraph of the conclusion. The point of the quotations is to make clear by the “give-them-enough-rope” strategy how murky, incompetent, and badly written the paper is. I know I am asking a lot, but I have to ask you to read the quoted passages—aloud (...)
    Download  
     
    Export citation  
     
    Bookmark  
  8. 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  
  9. Remembering my Life with Peter Hare.John Corcoran - 2008 - Philosophy Now 58:62-70.
    Excerpts and paraphrases of this memoir appeared in 2008 and 2009. I posted it in full here in happy memory of Peter Hare and my joyful years with him. -/- 2008. Remembering Peter Hare 1935–2008. Philosophy Now. Co-authors: T. Madigan and A. Razin. Issue 66 March/April 2008. Pages 50–2. PDF -/- 2009. Remembering My Life with Peter Hare. Remembering Peter Hare 1935–2008. Ed. J. Campbell. Society for the Advancement of American Philosophy. pp. 9–16. http://american-philosophy.org/documents/RememberingPeterHare_final.pdf -/- Peter H. Hare, Distinguished Professor (...)
    Download  
     
    Export citation  
     
    Bookmark  
  10. PSYCHOLOGISM.John Corcoran - 2007 - In John Lachs and Robert Talisse (ed.), American Philosophy: an Encyclopedia. ROUTLEDGE. pp. 628-9.
    Corcoran, J. 2007. Psychologism. American Philosophy: an Encyclopedia. Eds. John Lachs and Robert Talisse. New York: Routledge. Pages 628-9. -/- Psychologism with respect to a given branch of knowledge, in the broadest neutral sense, is the view that the branch is ultimately reducible to, or at least is essentially dependent on, psychology. The parallel with logicism is incomplete. Logicism with respect to a given branch of knowledge is the view that the branch is ultimately reducible to logic. Every branch (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  11. SYNTACTICS.John Corcoran - 2007 - In AMERICAN PHILOSOPHY: AN ENCYCLOPEDIA. pp. 746-7.
    Corcoran, J. 2007. Syntactics, American Philosophy: an Encyclopedia. 2007. Eds. John Lachs and Robert Talisse. New York: Routledge. pp.745-6. -/- Syntactics, semantics, and pragmatics are the three levels of investigation into semiotics, or the comprehensive study of systems of communication, as described in 1938 by the American philosopher Charles Morris (1903-1979). Syntactics studies signs themselves and their interrelations in abstraction from their meanings and from their uses and users. Semantics studies signs in relation to their meanings, but still in (...)
    Download  
     
    Export citation  
     
    Bookmark  
  12. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value.John Corcoran - 1971 - Journal of Structural Learning 3 (2):1-16.
    1971. Discourse Grammars and the Structure of Mathematical Reasoning II: The Nature of a Correct Theory of Proof and Its Value, Journal of Structural Learning 3, #2, 1–16. REPRINTED 1976. Structural Learning II Issues and Approaches, ed. J. Scandura, Gordon & Breach Science Publishers, New York, MR56#15263. -/- This is the second of a series of three articles dealing with application of linguistics and logic to the study of mathematical reasoning, especially in the setting of a concern for improvement of (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  13. 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. (...)
    Download  
     
    Export citation  
     
    Bookmark  
  14. Logical consequence in modal logic II: Some semantic systems for S4.George Weaver - 1974 - Notre Dame Journal of Formal Logic 15:370.
    ABSTRACT: This 1974 paper builds on our 1969 paper (Corcoran-Weaver [2]). Here we present three (modal, sentential) logics which may be thought of as partial systematizations of the semantic and deductive properties of a sentence operator which expresses certain kinds of necessity. The logical truths [sc. tautologies] of these three logics coincide with one another and with those of standard formalizations of Lewis's S5. These logics, when regarded as logistic systems (cf. Corcoran [1], p. 154), are seen to (...)
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  15. CORCORAN'S 27 ENTRIES IN THE 1999 SECOND EDITION.John Corcoran - 1995 - In Robert Audi (ed.), The Cambridge Dictionary of Philosophy. New York City: Cambridge University Press. 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  
  16. Philosophers on Philosophy: The 2020 PhilPapers Survey.David Bourget & David J. Chalmers - 2023 - Philosophers' Imprint 23 (11).
    What are the philosophical views of professional philosophers, and how do these views change over time? The 2020 PhilPapers Survey surveyed around 2000 philosophers on 100 philosophical questions. The results provide a snapshot of the state of some central debates in philosophy, reveal correlations and demographic effects involving philosophers' views, and reveal some changes in philosophers' views over the last decade.
    Download  
     
    Export citation  
     
    Bookmark   35 citations  
  17. 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  
  18. 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  
  19. 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  
  20. 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  
  21. 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  
  22. Inferentialism, Australian style.David J. Chalmers - 2021 - Proceedings and Addresses of the American Philosophical Association 92.
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  23. 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  
  24. 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  
  25. 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  
  26. Algorithms for Ethical Decision-Making in the Clinic: A Proof of Concept.Lukas J. Meier, Alice Hein, Klaus Diepold & Alena Buyx - 2022 - American Journal of Bioethics 22 (7):4-20.
    Machine intelligence already helps medical staff with a number of tasks. Ethical decision-making, however, has not been handed over to computers. In this proof-of-concept study, we show how an algorithm based on Beauchamp and Childress’ prima-facie principles could be employed to advise on a range of moral dilemma situations that occur in medical institutions. We explain why we chose fuzzy cognitive maps to set up the advisory system and how we utilized machine learning to train it. We report on the (...)
    Download  
     
    Export citation  
     
    Bookmark   28 citations  
  27. 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  
  28. Against the Character Solution to the Problem of Moral Luck.Robert J. Hartman - 2020 - Australasian Journal of Philosophy 98 (1):105-118.
    One way to frame the problem of moral luck is as a contradiction in our ordinary ideas about moral responsibility. In the case of two identical reckless drivers where one kills a pedestrian and the other does not, we tend to intuit that they are and are not equally blameworthy. The Character Response sorts these intuitions in part by providing an account of moral responsibility: the drivers must be equally blameworthy, because they have identical character traits and people are originally (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  29. 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  
  30. Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974).John Corcoran - 1979 - MATHEMATICAL REVIEWS 58:3202-3.
    John Corcoran. 1979 Review of Hintikka and Remes. The Method of Analysis (Reidel, 1974). Mathematical Reviews 58 3202 #21388. -/- The “method of analysis” is a technique used by ancient Greek mathematicians (and perhaps by Descartes, Newton, and others) in connection with discovery of proofs of difficult theorems and in connection with discovery of constructions of elusive geometric figures. Although this method was originally applied in geometry, its later application to number played an important role in the early development (...)
    Download  
     
    Export citation  
     
    Bookmark  
  31. 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   80 citations  
  32. 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  
  33. Is our naïve theory of time dynamical?Andrew J. Latham, Kristie Miller & James Norton - 2021 - Synthese 198 (5):4251-4271.
    We investigated, experimentally, the contention that the folk view, or naïve theory, of time, amongst the population we investigated is dynamical. We found that amongst that population, ~ 70% have an extant theory of time that is more similar to a dynamical than a non-dynamical theory, and ~ 70% of those who deploy a naïve theory of time deploy a naïve theory that is more similar to a dynamical than a non-dynamical theory. Interestingly, while we found stable results across our (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  34. Abduction, Skepticism, and Indirect Realism.J. Adam Carter - 2024 - Philosophical Studies:1-18.
    Moore and Russell thought that perceptual knowledge of the external world is based on abductive inference from information about our experience. Sosa maintains that this ‘indirect realist’ strategy has no prospects of working. Vogel disagrees and thinks it can and does work perfectly well, and his reasoning (and variations on that reasoning) seem initially promising, moreso than other approaches. My aim, however, will be to adjudicate this dispute in favor of Sosa’s pessimistic answer, and in doing so, to better uncover (...)
    Download  
     
    Export citation  
     
    Bookmark  
  35. Hedonic and Non-Hedonic Bias toward the Future.Preston Greene, Andrew J. Latham, Kristie Miller & James Norton - 2021 - Australasian Journal of Philosophy 99 (1):148-163.
    It has widely been assumed, by philosophers, that our first-person preferences regarding pleasurable and painful experiences exhibit a bias toward the future (positive and negative hedonic future-bias), and that our preferences regarding non-hedonic events (both positive and negative) exhibit no such bias (non-hedonic time-neutrality). Further, it has been assumed that our third-person preferences are always time-neutral. Some have attempted to use these (presumed) differential patterns of future-bias—different across kinds of events and perspectives—to argue for the irrationality of hedonic future-bias. This (...)
    Download  
     
    Export citation  
     
    Bookmark   29 citations  
  36. 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  
  37. Belief in robust temporal passage (probably) does not explain future-bias.Andrew J. Latham, Kristie Miller, Christian Tarsney & Hannah Tierney - 2022 - Philosophical Studies 179 (6):2053-2075.
    Empirical work has lately confirmed what many philosophers have taken to be true: people are ‘biased toward the future’. All else being equal, we usually prefer to have positive experiences in the future, and negative experiences in the past. According to one hypothesis, the temporal metaphysics hypothesis, future-bias is explained either by our beliefs about temporal metaphysics—the temporal belief hypothesis—or alternatively by our temporal phenomenology—the temporal phenomenology hypothesis. We empirically investigate a particular version of the temporal belief hypothesis according to (...)
    Download  
     
    Export citation  
     
    Bookmark   7 citations  
  38. Why do people represent time as dynamical? An investigation of temporal dynamism and the open future.Andrew J. Latham & Kristie Miller - 2023 - Philosophical Studies 180 (5):1717-1742.
    Deflationists hold that it does not seem to us, in experience, as though time robustly passes. There is some recent empirical evidence that appears to support this contention. Equally, empirical evidence suggests that we naïvely represent time as dynamical. Thus deflationists are faced with an explanatory burden. If, as they maintain, the world seems to us in experience as though it is non-dynamical, then why do we represent time as dynamical? This paper takes up the challenge of investigating, on the (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
  39. Is the Cell Really a Machine?Daniel J. Nicholson - 2019 - Journal of Theoretical Biology 477:108–126.
    It has become customary to conceptualize the living cell as an intricate piece of machinery, different to a man-made machine only in terms of its superior complexity. This familiar understanding grounds the conviction that a cell's organization can be explained reductionistically, as well as the idea that its molecular pathways can be construed as deterministic circuits. The machine conception of the cell owes a great deal of its success to the methods traditionally used in molecular biology. However, the recent introduction (...)
    Download  
     
    Export citation  
     
    Bookmark   18 citations  
  40. An Empirical Investigation of the Role of Direction in our Concept of Time.Andrew J. Latham, Kristie Miller & James Norton - 2020 - Acta Analytica 36 (1):25-47.
    This paper empirically investigates one aspect of the folk concept of time by testing how the presence or absence of directedness impacts judgements about whether there is time in a world. Experiment 1 found that dynamists, showed significantly higher levels of agreement that there is time in dynamically directed worlds than in non-dynamical non-directed worlds. Comparing our results to those we describe in Latham et al., we report that while ~ 70% of dynamists say there is time in B-theory worlds, (...)
    Download  
     
    Export citation  
     
    Bookmark   15 citations  
  41. 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  
  42. On Preferring that Overall, Things are Worse: Future‐Bias and Unequal Payoffs.Preston Greene, Andrew J. Latham, Kristie Miller & James Norton - 2021 - Philosophy and Phenomenological Research 105 (1):181-194.
    Philosophers working on time-biases assume that people are hedonically biased toward the future. A hedonically future-biased agent prefers pleasurable experiences to be future instead of past, and painful experiences to be past instead of future. Philosophers further predict that this bias is strong enough to apply to unequal payoffs: people often prefer less pleasurable future experiences to more pleasurable past ones, and more painful past experiences to less painful future ones. In addition, philosophers have predicted that future-bias is restricted to (...)
    Download  
     
    Export citation  
     
    Bookmark   9 citations  
  43. 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  
  44. Knowledge, practical knowledge, and intentional action.Joshua Shepherd & J. Adam Carter - 2023 - Ergo: An Open Access Journal of Philosophy 9:556-583.
    We argue that any strong version of a knowledge condition on intentional action, the practical knowledge principle, on which knowledge of what I am doing (under some description: call it A-ing) is necessary for that A-ing to qualify as an intentional action, is false. Our argument involves a new kind of case, one that centers the agent’s control appropriately and thus improves upon Davidson’s well-known carbon copier case. After discussing this case, offering an initial argument against the knowledge condition, and (...)
    Download  
     
    Export citation  
     
    Bookmark   10 citations  
  45. Against a normative asymmetry between near- and future-bias.Andrew J. Latham, Kristie Miller & James Norton - 2023 - Synthese 201 (3):1-31.
    Empirical evidence shows that people have multiple time-biases. One is near-bias; another is future-bias. Philosophical theorising about these biases often proceeds on two assumptions. First, that the two biases are _independent_: that they are explained by different factors (the independence assumption). Second, that there is a normative asymmetry between the two biases: one is rationally impermissible (near-bias) and the other rationally permissible (future-bias). The former assumption at least partly feeds into the latter: if the two biases were not explained by (...)
    Download  
     
    Export citation  
     
    Bookmark   3 citations  
  46. Eliminating Group Agency.Lars J. K. Moen - 2023 - Economics and Philosophy 39 (1):43-66.
    Aggregating individuals’ consistent attitudes might produce inconsistent collective attitudes. Some groups therefore need the capacity to form attitudes that are irreducible to those of their members. Such groups, group-agent realists argue, are agents in control of their own attitude formation. In this paper, however, I show how group-agent realism overlooks the important fact that groups consist of strategically interacting agents. Only by eliminating group agency from our social explanations can we see how individuals vote strategically to gain control of their (...)
    Download  
     
    Export citation  
     
    Bookmark   8 citations  
  47. 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  
  48. 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115.John Corcoran - 1983 - MATHEMATICAL REVIEWS 83:03005.
    CORCORAN RECOMMENDS COCCHIARELLA ON TYPE THEORY. The 1983 review in Mathematical Reviews 83e:03005 of: Cocchiarella, Nino “The development of the theory of logical types and the notion of a logical subject in Russell's early philosophy: Bertrand Russell's early philosophy, Part I”. Synthese 45 (1980), no. 1, 71-115 .
    Download  
     
    Export citation  
     
    Bookmark  
  49. 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  
  50. Counterfactual knowability revisited.Julian J. Schlöder - 2019 - Synthese (2):1-15.
    Anti-realism is plagued by Fitch’s paradox: the remarkable result that if one accepts that all truths are knowable, minimal assumptions about the nature of knowledge entail that every truth is known. Dorothy Edgington suggests to address this problem by understanding p is knowable to be a counterfactual claim, but her proposal must contend with a forceful objection by Timothy Williamson. I revisit Edgington’s basic idea and find that Williamson’s objection is obviated by a refined understanding of counterfactual knowability that is (...)
    Download  
     
    Export citation  
     
    Bookmark   5 citations  
1 — 50 / 957