Quines conjecture on manysorted logic philsciarchive. In facing this problem, quine is following russells theory of descriptions to the letter. Logicng is a java library for creating, manipulating and solving boolean and pseudoboolean formulas. Quines philosophy should then be seen as a systematic attempt to understand. Russells response is based on his theory of descriptions. Logic chicago font download this font before printing your results from turning the tables. I was an undergraduate in both mathematics and philosophy at the university of keele in the 1960s. Philosophical logic refers to those areas of philosophy in which recognized methods of logic have traditionally been used to solve or advance the discussion of philosophical problems.
Quines mathematical logic and philosophy of language writings are really not represented well and mathematical logic, not at all which is a gross oversight. What calls for a distinctive bit of philosophy is deductive logic, the discipline that tweedledee had in mind. It includes 100% java implementations of popular tools like minisat, cleaneling, glucose, pblib, or openwbo its main focus lies on memoryefficient datastructures for boolean formulas and efficient algorithms for manipulating and solving them. The field is considered to be distinct from philosophical logic. V download it once and read it on your kindle device, pc, phones or tablets. All content included on our site, such as text, images, digital downloads and other, is the property of its content suppliers and protected by. Willard van orman quine was an american philosopher and logician in the analytic tradition. Selected logic papers, enlarged edition enlarged by w. Quines motivations, explanations, and general setup are just not the normal usual standard for the field. Conversations on logic, mathematics, and science repost close carnap, tarski, and quine at harvard. He claimed that nothing important would be lost by eliminating sorts, and the result would be additional simplicity and elegance. Their scientific program for philosophy captivated quine, who returned to. The best i could recommend in that department is being logical by dennis q.
Quine presents logic as the product of two factors, truth and grammarbut argues against the doctrine that the logical truths are true because of grammar and discussing the boundaries and possible extensions of logic, quine argues that. The classic readings provides a comprehensive, singlevolume collection of the greatest works of philosophy from ancient to modern times. In on what there is quine is facing the exact same problem, under the title platos beard. The unifying themes in mathematical logic include the study of the expressive power of formal systems and the deductive power of formal proof systems. The author of several books in norwegian, german, danish, and swedish as well as over 100 journal articles, he was editor of the journal of symbolic logic from 19701982. The study of green grass is popular among agrostologists. We studied a little logic in both subjects, but there was barely any attempt to connect logic with philosophybut one course in philosophy of. Download one of the free kindle apps to start reading kindle books on your smartphone, tablet, and computer. Get your kindle here, or download a free kindle reading app. Conversations on logic, mathematics, and science full circle. Our first two themes show how some of the core ideas of premodern logic survived the fregean revolution, returning in modern forms. It is often said that every logical truth is obvious quine 1970. Therefore, quines response is identical to russells.
Philosophical logic is the branch of study that concerns questions about reference, predication, identity, truth, quantification. Based on this, i call for a modification of quinean holism, on grounds internal to. Mathematical logic is a subfield of mathematics exploring the applications of formal logic to mathematics. More overtly philosophical was quines active concern with the ontological presuppositions of logical frameworks. Like the logical positivists, quine evinced little interest in the philosophical canon. He was kind enough to send back some monographs, including one about functor logic, proving that one could derive all math from an elementary logic using just two symbols, then explaining how that could be reduced to just. I cannot help you much in the department of logic books, sadly. Publications of the archive of scientific philosophy hillman. In retrospect, it was not a good first introduction to the subject. Georg wilhelm friedrich hegel phenomenology of spirit science of logic the philosophy of right the philosophy of history thomas hobbes leviathan david hume a treatise of human nature four dissertationss essays, moral, political, and literary an enquiry concerning human understanding an enquiry concerning the principles of morals.
Use features like bookmarks, note taking and highlighting while reading philosophy of. Quine was one of the foremost philosophers of the twentieth century. Download bookshelf software to your desktop so you can view your ebooks with. The quines were congregationalists, and the quine boys attended sunday school as well as the public schools. Quine wrote and lectured on logic, philosophy of language, and epistemology. All content included on our site, such as text, images, digital downloads and other, is the property of its content suppliers and protected by us and international laws. Times literary supplement by virtue of intellectual power, range and fertility of ideas and brilliance of presentation, quine is the most distinguished and influential of living philosophers. Dagfinn follesdal studied science and mathematics in oslo and gottingen before going to harvard to study with quine. These five volumes contain the most essential of the more than 2000 articles which have been written about quines work. My aim here will in fact be less ambitious and more realistic than my title would thus suggest. At the time quine and russell were the only philosophy i knew.
Draws on both eastern and western philosophical traditions arranged chronologically within parts on ethics, epistemology, metaphysics, philosophy of religion, and political philosophy features original readings from more than a hundred of the. Individual and social in quines philosophy of language. In support of this claim, quine conjectured that every manysorted. In this chapter, i set out to test empirically how the idea that logic is obvious is reflected in the scholarly work of logicians and philosophers of logic. Im a professor who teaches logic in a philosophy dept. While you may be asked to write on a series of potential topics, there are similarities in all of the possible subjects. Philosophy of logic is a short but brilliant introduction. I argue that quines early critique of carnaps conventionalism is in serious tension with the holism of two dogmas of empiricism, since his critique of convention alism makes a compelling case for a privileged status either for logic, or for some other principle by means of which to derive consequences. Kim takes quines epistemological program as only describing how we have arrived at. Much of philosophy of logic is about the sort of ideas that should be included in university logic texts, but arent churchs 1956 text, is an exception to this sweeping assessment, surprising because written by a mathematician.
Rudolf carnaps logical empiricism with its use of the analyticsynthetic. The philosophy of inductive logic, however, would be in no way distinguishable from philosophys main stem, the the ory of knowledge. I think that as far as elementary logic is concerned, the common sense of the physicist today and of centuries ago, perhaps, before modern logic began is enough. Logic and the philosophy of science princeton university. Quine often argued for a simple, untyped system of logic rather than the typed systems that were championed by russell and carnap, among others. More broadly, logic is the analysis and appraisal of arguments there is no universal agreement as to the exact definition and boundaries of. The only author i wrote a fan letter to i was 15, i think. Quines first philosophical monograph, word and object 1960, is widely recognized as.
I would never recommend quines elementary logic book for a. A computer program whose output is its own source code is called a quine after quine. Among these, sybil wolfram highlights the study of argument, meaning, and truth, while colin mcginn presents identity, existence, predication, necessity and truth as the main topics of his book on the subject. But modern logic is important for a systematic understanding of. Eli dresner 1999 history and philosophy of logic 20 2. Philosophy of logic is the investigation, critical analysis and intellectual reflection on issues arising in logic. This doctrine was utilised by the positivists in an attempt to. Putnams 1971 book philosophy of logic came one year later than quines homonymous. If pressed to supplement tweedledees ostensive definition of. Why were you initially drawn to the philosophy of logic. Quine was impressed by the failure of the reductionist program of phenomenalism.