Off-campus access
Using PhilPapers from home?
Click here to configure this browser for off-campus access.
- Tyler Burge (2003). Logic and Analyticity. Grazer Philosophische Studien 66 (1):199-249.The view that logic is true independently of a subject matter is criticized—enlarging on Quine's criticisms and adding further ones. It is then argued apriori that full reflective understanding of logic and deductive reasoning requires substantial commitment to mathematical entities. It is emphasized that the objectively apriori connections between deductive reasoning and commitment to mathematics need not be accepted by or even comprehensible to a given deductive reasoner. The relevant connections emerged only slowly in the history of logic. But they can be recognized retrospectively as implicit in logic and deductive reasoning. The paper concludes with discussion of the relevance of its main argument to Kant's question—how is apriori knowledge of a subject matter possible?In my reading list | Discuss this article | Edit | Categorize |My bibliography
| Export citation | Scholar
Discussion of Tyler Burge, Logic and analyticity
Nothing in this forum yet.
Similar books and articles
I begin by summarizing the first two chapters of (Harman 1986). The first chapter stresses the importance of not confusing inference with implication and of not confusing reasoning with the sort of argument studied in deductive logic. Inference and reasoning are psychological events or processes that can be done more or less well. The sort of implication and argument studied in deductive logic have to do with relations among propositions and with structures of propositions distinguished into premises, intermediate steps, and (...)
This introduction to the basic forms of deductive inference as evaluated by methods of modern symbolic logic is designed for sophomore-junior-level students ready to specialize in the study of deductive logic. It can be used also for an introductory logic course. The independence of many sections allows the instructor utmost flexibility. The text consists of eight chapters, the first six of which are designed to introduce the student to basic topics of sentence and predicate logic. The last two chapters extend (...)
In this paper, I assume, perhaps controversially, that translation into a language of formal logic is not the method by which mathematicians assess mathematical reasoning. Instead, I argue that the actual practice of analyzing, evaluating and critiquing mathematical reasoning resembles, and perhaps equates with, the practice of informal logic or argumentation theory. It doesn’t matter whether the reasoning is a full-fledged mathematical proof or merely some non-deductive mathematical justification: in either case, the methodology of assessment overlaps to a large extent (...)
Modern thinkers regard logic as a purely formal discipline like number theory, and not to be confused with any empirical discipline such as cognitive psychology, which may seek to characterize how people actually reason. Opposed to this is the traditional view that even a formal logic can be cognitively veridical – descriptive of procedures people actually follow in arriving at their deductive judgments (logic as Laws of Thought). In a cognitively veridical logic, any formal proof that a deductive judgment, intuitively (...)
No categories
In my reading list
| Discuss this article | Edit | Categorize | My bibliography | Export citation | Other links: interscience.wiley.com | Scholar | More..
| | Other links: interscience.wiley.com | Scholar | More.. 18 Probability and confirmation* The story of deductive logic is well known. Until the beginning of the nineteenth century, deductive logic as a subject was ...
Logic brings elementary logic out of the academic darkness into the light of day. Paul Tomassi makes logic fully accessible for anyone trying to come to grips with the complexities of this challenging subject. This book is written in a patient and user-friendly way which makes both the nature and value of formal logic crystal clear. This textbook proceeds from a frank, informal introduction to fundamental logical notions to a system of formal logic rooted in the best of our natural (...)
The idea that logic and reasoning are somehow related goes back to antiquity. It clearly underlies much of the work in logic, as witnemed by the development of computability, and formal and mechanical deductive systems, for example. On the other hand, a platitude is that logic is the study of correct rea soning; and reasoning is cognitive if anything Is. Thus, the relationship between logic, computation, and correct reasoning makes an interesting and historically central case study for mechanism. The purpose (...)
Symbolic logic is sited at intersection of philosophy, mathematics, linguistics and computer science. It deals with the structure of reasoning, and the formal features of information. Work in symbolic logic has almost exclusively treated the deductive validity of arguments: those arguments for which it is impossible for the premises to be true and the conclusion false. However, techniques from twentieth-century logic have found a place in the study of inductive or probabilistic reasoning, in which premises need not render their conclusions (...)
No categories
Thus far the logic out of which mathematics has developed has been First-order Predicate Calculus with Identity, that is the logic of the sentential functors, ¬, →, ∧, ∨, etc., together with identity and the existential and universal quotifiers restricted to quotify- ing only over individuals, and not anything else, such as qualities or quotities themselves. Some philosophers—among them Quine— have held that this, First-order Logic, as it is often called, con- stitutes the whole of logic. But that is a (...)
No categories
