John Corcoran
Biographic Data
| ID | 3634710 |
|---|---|
| NAME | John Corcoran |
| GIVEN NAMES | John |
| FAMILY NAME | Corcoran |
| SIGNATURE | CORCORAN J |
| AFFILIATIONS | University at Buffalo, State University of New York |
| ORCID | 0000-0001-8666-653X |
| VERIFIED | Yes |
| TOTAL WORKS | 22 |
| TOTAL CITATIONS | 4 |
| WORKS AS AUTHOR | 21 |
| WORKS AS EDITOR | 1 |
| FIRST PUBLICATION YEAR | 1969 |
| LATEST PUBLICATION YEAR | 2019 |
| H-INDEX | 1 |
La inseparabilidad de la lógica y la ética
Este artículo fue publicado originalmente en inglés en la revista Free Inquiry (www.secularhumanism.org) Primavera 1989, vol. 9, no. 2, pp. 37-40. Se reproduce con permiso del editor
Appraising the cohesion of palaeoenvironmental reconstructions in north-west Spain since the mid-Holocene from a high temporal resolution multi-proxy peat record
Investigation of abrupt palaeohydrological regime change remains challenging due to site-specific noise ratios and the limitations of dating control and spatial resolution of multi-proxy records. Some of these issues are addressed through a well dated and highly resolved record from an ombrotrophic peatland in Galicia, north-west Spain. The site is in an ideal location to record marine influences and test models of past palaeoclimatic boundaries …
Western Ideas and the Shaping of Zemstvo Policy, 1865–1868
This article examines references to foreign practices and models during the early years of operation of the Moscow Provincial Zemstvo Assembly. The 1864 zemstvo statute established general areas of operation for the new organizations, but left the delegates themselves to work out the details of particular programs. In the discussions that ensued, delegates made regular reference to foreign practices to bolster the case for their preferred policy …
Aristotle's Demonstrative Logic
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 …
C. I. Lewis
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 dedic…
The Founding of Logic
What are logical notions?
In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
The Contemporary Relevance of Ancient Logical Theory
John Corcoran, Michael Scanlan; The Contemporary Relevance of Ancient Logical Theory, The Philosophical Quarterly, Volume 32, Issue 126, 1 January 1982, Pa
Logical Structures of Ockham's Theory of Supposition
LOGICAL STRUCTURES OF OCKHAM'S THEORY OF SUPPOSITION There are two pervasive themes in this article. In the first place this article is a defense of Ockham against a baseless charge of error, which, if left unanswered, might tend to diminish Ockham's reputation as a technically competent logician. Study of the sources of the charge reveal that two recent commentaries each attribute ingenious and interesting logical structures to Ockham's thought …
Aristotle’s Natural Deduction System
Aristotelian Syllogisms
Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals? Get access JOHN CORCORAN JOHN CORCORAN STATE UNIVERSITY OF NEW YORK AT BUFFALO Search for other works by this author on: Oxford Academic Google Scholar Mind, Volume LXXXIII, Issue 330, April 1974, Pages 278–281, https://doi.org/10.1093/mind/LXXXIII.330.278 Published: 01 April 1974
String theory
For each n > 0, 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 …
Remarks on Stoic Deduction
Ancient Logic and Its Modern Interpretations
A Mathematical Model of Aristotle’s Syllogistic
Irving M. Copi The theory of logical types . London
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content
Theory of Science
On the Foundations of Geometry and Formal Theories of Arithmetic
The Switches "Paradox" and the Limits of Propositional Logic
Completeness of an ancient logic
In previous articles ([4], [5]) it has been shown that the deductive system developed by Aristotle in his “second logic” (cf. Bochenski [2, p. 43]) is a natural deduction system and not an axiomatic system as previously had been thought [6]. It was also pointed out 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) comp…
Conceptual Structure of Classical Logic
Three Logical Theories
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 conc…
The Switches "Paradox" and the Limits of Propositional Logic
Conceptual Structure of Classical Logic
Three Logical Theories
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 conc…
Three Logical Theories
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 conc…
Completeness of an ancient logic
In previous articles ([4], [5]) it has been shown that the deductive system developed by Aristotle in his “second logic” (cf. Bochenski [2, p. 43]) is a natural deduction system and not an axiomatic system as previously had been thought [6]. It was also pointed out 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) comp…
Conceptual Structure of Classical Logic
A Mathematical Model of Aristotle’s Syllogistic
Irving M. Copi The theory of logical types . London
An abstract is not available for this content so a preview has been provided. Please use the Get access link above for information on how to access this content
Theory of Science
On the Foundations of Geometry and Formal Theories of Arithmetic
The Switches "Paradox" and the Limits of Propositional Logic
Aristotle’s Natural Deduction System
Aristotelian Syllogisms
Aristotelian Syllogisms: Valid Arguments or True Universalized Conditionals? Get access JOHN CORCORAN JOHN CORCORAN STATE UNIVERSITY OF NEW YORK AT BUFFALO Search for other works by this author on: Oxford Academic Google Scholar Mind, Volume LXXXIII, Issue 330, April 1974, Pages 278–281, https://doi.org/10.1093/mind/LXXXIII.330.278 Published: 01 April 1974
String theory
For each n > 0, 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 …
Remarks on Stoic Deduction
Ancient Logic and Its Modern Interpretations
Logical Structures of Ockham's Theory of Supposition
LOGICAL STRUCTURES OF OCKHAM'S THEORY OF SUPPOSITION There are two pervasive themes in this article. In the first place this article is a defense of Ockham against a baseless charge of error, which, if left unanswered, might tend to diminish Ockham's reputation as a technically competent logician. Study of the sources of the charge reveal that two recent commentaries each attribute ingenious and interesting logical structures to Ockham's thought …
The Contemporary Relevance of Ancient Logical Theory
John Corcoran, Michael Scanlan; The Contemporary Relevance of Ancient Logical Theory, The Philosophical Quarterly, Volume 32, Issue 126, 1 January 1982, Pa
What are logical notions?
In this manuscript, published here for the first time, Tarski explores the concept of logical notion. He draws on Klein's Erlanger Programm to locate the logical notions of ordinary geometry as those invariant under all transformations of space. Generalizing, he explicates the concept of logical notion of an arbitrary discipline.
The Founding of Logic
C. I. Lewis
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 dedic…
Aristotle's Demonstrative Logic
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 …
Western Ideas and the Shaping of Zemstvo Policy, 1865–1868
This article examines references to foreign practices and models during the early years of operation of the Moscow Provincial Zemstvo Assembly. The 1864 zemstvo statute established general areas of operation for the new organizations, but left the delegates themselves to work out the details of particular programs. In the discussions that ensued, delegates made regular reference to foreign practices to bolster the case for their preferred policy …
Appraising the cohesion of palaeoenvironmental reconstructions in north-west Spain since the mid-Holocene from a high temporal resolution multi-proxy peat record
Investigation of abrupt palaeohydrological regime change remains challenging due to site-specific noise ratios and the limitations of dating control and spatial resolution of multi-proxy records. Some of these issues are addressed through a well dated and highly resolved record from an ombrotrophic peatland in Galicia, north-west Spain. The site is in an ideal location to record marine influences and test models of past palaeoclimatic boundaries …
La inseparabilidad de la lógica y la ética
Este artículo fue publicado originalmente en inglés en la revista Free Inquiry (www.secularhumanism.org) Primavera 1989, vol. 9, no. 2, pp. 37-40. Se reproduce con permiso del editor
Philosophy (17 works) · Classical Philosophy and Thought (14 works) · Epistemology (14 works) · Computer Science (12 works) · Mathematics (9 works) · Programming language (5 works) · Psychology (5 works) · Algorithm (4 works) · Artificial Intelligence (4 works) · Calculus (dental) (4 works)