On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato

Size: px
Start display at page:

Download "On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato"

Transcription

1 On The Logical Status of Dialectic (*) -Historical Development of the Argument in Japan- Shigeo Nagai Naoki Takato 1 The term "logic" seems to be used in two different ways. One is in its narrow sense; the other is in its broad sense. In the narrow sense, logic would be the aggregation of analytic knowledge. All logically valid statements, whether they are those which are based on object-theory consisting of object-language or are those which are based on meta-theory consisting of meta-language, must be analytic. Logically valid inferences, whether deductive or inductive, are also formed by only analytic statements within the framework of meta-theory, so logic in the narrow sense should be analytic-theory. Logic in the narrow sense would be divided into two levels, logic as philosophy and logic as individual science. As logic as philosophy develops in a particular field, it comes to be an individual science. On the other hand, logic in the broad sense is much wider. It includes methodology, which consists of epistemology and methodology of inquiry. The classification of logic we have in mind is figured as follows: Logic (in the broad sense) logic (in the narrow sense) methodology logic as philosophy logic as individual science epistemology methodology of inquiry The purpose of this paper is to analyze and explicate the nature of Dialectic according to the classification of logic mentioned above, paying special attention to the contributions on the subject by the Japanese philosophers of science. The point we are going to make here is that Dialectic is, in our opinion, tightly connected with all the branches of logic in the broad sense. In order to make this point clear, we shall describe and make some comments on T. Sugihara's "logic of motion", H. Kurosaki's "natural dialectics" and N. Nakano's arguments on Hegel's dialectic. Finally we should like to introduce "the logic of philosophical reflection", which we suppose is suggested in Carnap's idea "explication", and to explicate an important aspect of Dialectic. 2 The investigation into dialectic in Japan has been conducted independently of western tradition. Main concern has focused on the Sugihara, who has made great achievements in modal and many-valued logics, suggested in his early papers that it would be possible to establish "logic of motion" based on "logic of time" to which he had devoted himself for years(1). Formal logic (including symbolic logic), as V. I. Lenin claimed, had not been thought able to deal 1

2 with the law of motion and development. All logic could do is to formalize so-called logical relationships between two propositions, in which temporal and motional relations are ignored. Lenin asserted, on the other hand, that dialectical logic could comprise the elements of time and motion. Lenin's criticism, however, does not seem justified. Dialectical logic had not and has not succeeded in formalizing itself nor given any evidence that formal logic could not intrinsically be logic of motion at all. On the contrary Professor Sugihara's study on the logic of time seems to show that formal logic could prepare the way for establishing the logic of motion in the future. Briefly described, his argument is based on his uniquely introduced standard of classifying logic. On the basis of his standard he distinguished ancient logic from modern logic. He mentioned Euclid's The Thirteen Books as a typical work written within the framework of ancient logic, and Newton's Mathematical Principles of Natural Philosophy as that of the other kind of logic. Ancient logic developed through the systematization by Aristotle to contemporary symbolic logic, in which non-temporal and non-motional relations are exclusively concerned. Modern logic, which has not satisfactorily systematized itself yet, has been taking a different way. It has been developing in the field of physics. Physics, of course, deals with temporal and motional logical relations, so the logic on which physics depends naturally must be able to deal with these elements. We think his suggestion that the logic of motion based on the logic of time will be established in the near future is quite acceptable, if we remember the process of establishing inductive logic, which started as a branch of the theory of classic probability and finally gained a position in its own right. It seems to me that the same thing could be said about the logic of motion. If the logic of motion is formalized as formal logic, we have to admit that it should belong to logic in the narrow sense, that is, to an individual science, which would be called dialectical logic. 3 Hiroshi Kurosaki, who has come to philosophy of science through physics, published a paper titled 'The Nature of Dialectical Materialism' in the sixties (2). In those days he was devoted to the study of the epistemology of natural science under the influence of R. Carnap and G. Hempel. He grasped a core idea of "natural dialectics" advocated by F. Engels as "the law of transformation of quantity into quality" and tried to analyze and explicate the law. He began by contrasting the law of nature (in a broad sense) with the law of natural dialectics. He described these laws, (W) as an instance of the law of nature and (E1) as an instance of the law of natural dialectics. They are as follows: (W) There is a relationship between water and temperature, that is to say, water changes into solid at 0 and gas at 100 as its temperature is continuously raised or lowered under the standard barometric pressure and while such changes are happening, the temperature remains the same. (E1) Qualitative changes in the natural world take place in a definite way rigidly fixed on each occasion, only when the quantitative changes (increasing or decreasing) of materials or motion (namely, energy) occur. He pointed out that there was an undeniable difference between these two laws. From (W), we can logically deduce factual propositions and verify or falsify them, but 2

3 not from (E1). As for natural science, it is required that every particular law could be deduced from the more general laws with logical validity. So it is inevitable to conclude that dialectic law is not a kind of the law of nature, and natural dialectic is not a natural science, and furthermore dialectical materialism could not be classified as a kind of logic in the narrow sense. Kurosaki proposed, instead, that Dialectic should be regarded as a way of looking at things, which is especially required when we consider the problems of development. In other words Dialectic is a view of the world regarding it as development. Each law of Dialectic is a proposition representing such a world view, and Dialectic as a system of such laws is a methodology of inquiry, which would provide anticipations required to resolve the problems we have to cope with in the process of development. 4 H. Nakano, who is a specialist in Hegel's philosophy, especially of dialectic, analyzed dialectic and explicated it as the methodology of "dialogic thinking"(3). We should highly appreciate his works on Dialectic but we must point out that he fell victim to the fallacy of simplification, when he said, 'Dialectic is neither a logic nor a law, but a "Denkenmethode" (plainly speaking, "Denkenweise")'. It would be true that the dialectical laws of natural dialectics are neither logical nor natural; however, we can claim that they are empirical universal propositions, so we do not have to hesitate to admit that they are a kind of law. It could be right that the methodology of dialogic thinking does not belong to logic in the narrow sense. But it is also apparent that it belongs to the methodology of inquiry and that in this sense it has a position in its own right within the framework of logic in the broad sense. In spite of over-simplifying the problem, Nakano's argument is very suggestive. First of all, he made clear the nature of Dialectic as a multifactorial complex. We quite agree that Dialectic contains a core factor of dialogic thinking. Nevertheless, we do not feel inclined to deny the possibility that the logic of dialogue becomes a part of logic in the narrow sense. In fact it seems that the logic of dialogue advocated by D. Lorenzen and R. Rescher showed that possibility. 5 "Dialogic thinking" could be regarded as a process of "surmounting" contradiction at various levels. As showed in Nagai's early paper, logical contradiction could be classified into four groups (4). Here we should like to add another classification from a different perspective. We rename logical contradiction "genuine contradiction", and to contrast with it, we shall introduce "pretended contradiction". As far as genuine contradiction is concerned, two ways could be seen as the process of surmounting it. The first is when one person violates the law of contradiction of propositional logic (the law of semantical contradiction), making a judgement that p (the statement is true) and non-p (the statement is not true). In this case we must make a choice between p and non-p alternatively, for whatever reason, either logical or empirical. Once the decision of choice is made, the process of surmounting contradiction will be completed. The second case would be found in the case that statement p and non-p are both provable according to the rules of a certain theory. Such a case would be seen as the contradiction of syntactical sense. The only possibility for us to get out of the contradiction in this case is to modify the rules of proof within the theory. 3

4 The process of surmounting "pretended contradiction" is different. Distinguished advocates of Dialectic in history, Socrates and Hegel, tackled this kind of contradiction. As we have seen, in "genuine contradiction", p and -p are incompatible. So an alternative judgement is demanded between the two. However, in "pretended contradiction", the opposite two must be compatible. In fact, this compatibility is a necessary condition for "Aufheben", a key concept of Dialectic, to work. A typical case of Socrates' Dialectic could be described as a dialogue between two persons. That is, a person X1 recognizes that A. But X1 is not confident of that. X1 starts a dialogue with X2. Suppose X2 denies that A and asserts that non-a. X1 understands that X2's claim would be part of the process to seek for the truth, for he himself is still wondering whether A or not. However, he does not think that the total negation of A leads to true recognition, so is unwilling to accept non-a as true unconditionally. He might try to refute X2's assertion by the use of, for instance, reductio ad absurdum. But if we draw contradiction from the presupposition that non-a, we can not conclude that A is true, though we can make sure that non-a is not true, because the relation between A and non-a is only "pretended contradiction". We would regard this stage of Dialectic as "negative" or "fighting". On the other hand, the next stage would be characterized as "affirmative" or "cooperative". Both X1 and X2 recognize that neither A nor non-a is true, and start their dialogue cooperatively toward true recognition. As a result, "pretended contradiction" being resolved, they could reach B as a synthesis. This process is so-called "Aufheben". Therefore, it is necessary that the contradiction is "pretended", if the second stage of dialectic functions as "Aufheben". 6 It is known that R. Carnap took a negative attitude toward Dialectic through his life. However, his concept "explication" seems suggestive. We suppose the concept implies the possibility of interpreting Dialectic as "the logic of philosophical reflection". We also think Hegel already held this factor within his concept of Dialectic. It would be better to start by talking about Carnap's "explication" in some detail. I should like to quote a paragraph from Logical Foundations of Probabilities: A problem of explication is characteristically different from ordinary scientific (logical or empirical) problems, where both the datum and the solution are, under favorable conditions, formulated in exact terms (for example, 'What is the product of 3 and 5?', 'What happens when an electric current goes through water?'). In a problem of explication the datum, viz., the explicandum, is not given in exact terms, if it were, no explication would be necessary. Since the datum is inexact, the problem itself is not stated in exact terms; and yet we are asked to give an exact solution. This is one of the puzzling peculiarities of explication. (Pp.3-4) The problem he is considering here is that which we call "the paradox of explication". According to Carnap, explication is an analysis in a broad sense. So it does not have to require the relation of identity between "explicandum" and "explicatum", which an analysis in a narrow sense usually requires and consequently falls victim of "the paradox of analysis". The thing explication requires is only the relation of "similarity" between the two, though, it does not seem that it can avoid a more fundamental paradox, that is, "the paradox of explication". This paradox is connected with the vagueness and preciseness of intention of sign 4

5 (including non-linguistic sign as well as linguistic expressions). The intention of sign is deemed to be determined by a test. The subject of the test is asked about every logically possible object of a sign whether it is an instance of the intention of the sign. The degree of the vagueness or preciseness of the intention of sign depends on the answers given by the subject. In proportion as the subject could answer clearly with "yes" or "no" for each object, the intention of the sign will be precise, vice versa. Considering the relation between explicandum and explicatum, the latter is more precise than the first or the first is vaguer than the latter ex hypothesi. However, strange to say, in order to judge whether an explicatum is appropriate to explicate a particular explicandum, we must already know the intention of the explicandum, on which the judgement will have to be made. That is, explicandum must be no less precise than explicatum. This is the paradox of explication. This argument seems to show that the statement of explication must inevitably contain a kind of circular argument. As far as the logic of individual science is concerned, no circular argument is permitted, because individual science should be a linear-deductive system. On the other hand, logic as philosophy, which we distinguished from logic as individual science, would be characterized as a cyclic-non-deductive system, to which it does not matter if it comprises circular argument. As we have seen, it is clear that the process of explication is inseparably related to cyclic self-reference, which individual sciences categorically refuse to contain within their systems. In fact Carnap himself refused a self-referential theory and constructed a hierarchical structure in his semantics in order to avoid semantical antinomy. From a philosophical point of view, however, it does not matter if the system is self-referential or not. Of course, philosophy does not have to be self-referential. It could be compatible with a linear deductive theory. But to make a clear contrast with individual sciences, it would not be inappropriate to mention a cyclic non-deductive aspect as a most important characteristic of philosophy. Explication is the process, activity or procedure of constructing an analytical theory characterized as cyclic non-deductive and self-referential. It is apparently incompatible with individual sciences. However, it is also apparent that there is no obstacle for us to regard it as a part of logic as philosophy. We have tried to show the possibility that explication could be given a position as logic. If our argument is accepted, our attempt to explicate "explication" would be applicable to the attempt to interpret dialectic, to be exact, an element of Dialectic, as the logic of philosophical reflection. And if so, we suppose, it would also be possible to say that Dialectic could be given a unique position in the classification of logic we have presented at the beginning of this paper. (*) This paper is based on S. Nagai's unpublished paper "Benshouhou no Honshitu". However, the paper had been revised and restructured through discussion between the two authors and newly formulated in English by N. Takato as an introduction to the historical development of the philosophy of science in Japan. NOTES (1) Takeo Sugihara, 'The Philosophical Status of Formal Logic', Tetugakukenkyu, Vol.43, No Also see his Logic of Time, Waseda University Press, Tokyo, 5

6 1976. (2) The paper appeared in Studies in the Philosophy of Science, Vol.1, No.1, (3) Hajime Nakano, Dialectic: For Free Thinking, Chuoukouron Sha, Tokyo, (4) See Shigeo Nagai, 'The Law of contradiction and the Existence of Contradiction', Bunkakagaku Kiyo, No.2, Authors: * * * * * Shigeo Nagai, a past President of the Philosophy of Science Society, Japan, died in Naoki Takato is Professor of Philosophy at University of Hyogo, Japan 6

Remarks on the philosophy of mathematics (1969) Paul Bernays

Remarks on the philosophy of mathematics (1969) Paul Bernays Bernays Project: Text No. 26 Remarks on the philosophy of mathematics (1969) Paul Bernays (Bemerkungen zur Philosophie der Mathematik) Translation by: Dirk Schlimm Comments: With corrections by Charles

More information

Richard L. W. Clarke, Notes REASONING

Richard L. W. Clarke, Notes REASONING 1 REASONING Reasoning is, broadly speaking, the cognitive process of establishing reasons to justify beliefs, conclusions, actions or feelings. It also refers, more specifically, to the act or process

More information

Broad on Theological Arguments. I. The Ontological Argument

Broad on Theological Arguments. I. The Ontological Argument Broad on God Broad on Theological Arguments I. The Ontological Argument Sample Ontological Argument: Suppose that God is the most perfect or most excellent being. Consider two things: (1)An entity that

More information

Logic is the study of the quality of arguments. An argument consists of a set of

Logic is the study of the quality of arguments. An argument consists of a set of Logic: Inductive Logic is the study of the quality of arguments. An argument consists of a set of premises and a conclusion. The quality of an argument depends on at least two factors: the truth of the

More information

Programming Language Research

Programming Language Research Analysis in Programming Language Research Done Well It Is All Right Antti-Juhani Kaijanaho Faculty of Information Technology University of Jyväskylä, Finland Analysis in Programming Language Research Antti-Juhani

More information

Bayesian Probability

Bayesian Probability Bayesian Probability Patrick Maher September 4, 2008 ABSTRACT. Bayesian decision theory is here construed as explicating a particular concept of rational choice and Bayesian probability is taken to be

More information

Topics and Posterior Analytics. Philosophy 21 Fall, 2004 G. J. Mattey

Topics and Posterior Analytics. Philosophy 21 Fall, 2004 G. J. Mattey Topics and Posterior Analytics Philosophy 21 Fall, 2004 G. J. Mattey Logic Aristotle is the first philosopher to study systematically what we call logic Specifically, Aristotle investigated what we now

More information

OSSA Conference Archive OSSA 3

OSSA Conference Archive OSSA 3 University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 3 May 15th, 9:00 AM - May 17th, 5:00 PM Commentary on Schwed Lawrence Powers Follow this and additional works at: https://scholar.uwindsor.ca/ossaarchive

More information

The Development of Laws of Formal Logic of Aristotle

The Development of Laws of Formal Logic of Aristotle This paper is dedicated to my unforgettable friend Boris Isaevich Lamdon. The Development of Laws of Formal Logic of Aristotle The essence of formal logic The aim of every science is to discover the laws

More information

PHILOSOPHIES OF SCIENTIFIC TESTING

PHILOSOPHIES OF SCIENTIFIC TESTING PHILOSOPHIES OF SCIENTIFIC TESTING By John Bloore Internet Encyclopdia of Philosophy, written by John Wttersten, http://www.iep.utm.edu/cr-ratio/#h7 Carl Gustav Hempel (1905 1997) Known for Deductive-Nomological

More information

Ethical non-naturalism

Ethical non-naturalism Michael Lacewing Ethical non-naturalism Ethical non-naturalism is usually understood as a form of cognitivist moral realism. So we first need to understand what cognitivism and moral realism is before

More information

5: Preliminaries to the Argument

5: Preliminaries to the Argument 5: Preliminaries to the Argument In this chapter, we set forth the logical structure of the argument we will use in chapter six in our attempt to show that Nfc is self-refuting. Thus, our main topics in

More information

Does Deduction really rest on a more secure epistemological footing than Induction?

Does Deduction really rest on a more secure epistemological footing than Induction? Does Deduction really rest on a more secure epistemological footing than Induction? We argue that, if deduction is taken to at least include classical logic (CL, henceforth), justifying CL - and thus deduction

More information

Semantic Entailment and Natural Deduction

Semantic Entailment and Natural Deduction Semantic Entailment and Natural Deduction Alice Gao Lecture 6, September 26, 2017 Entailment 1/55 Learning goals Semantic entailment Define semantic entailment. Explain subtleties of semantic entailment.

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE CHAPTER IX CHAPTER IX FORMAL CONDITIONS OF MEDIATE INFERENCE Section 1. A Mediate Inference is a proposition that depends for proof upon two or more other propositions, so connected together by one or

More information

2. Refutations can be stronger or weaker.

2. Refutations can be stronger or weaker. Lecture 8: Refutation Philosophy 130 October 25 & 27, 2016 O Rourke I. Administrative A. Schedule see syllabus as well! B. Questions? II. Refutation A. Arguments are typically used to establish conclusions.

More information

Bayesian Probability

Bayesian Probability Bayesian Probability Patrick Maher University of Illinois at Urbana-Champaign November 24, 2007 ABSTRACT. Bayesian probability here means the concept of probability used in Bayesian decision theory. It

More information

Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN

Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN Chadwick Prize Winner: Christian Michel THE LIAR PARADOX OUTSIDE-IN To classify sentences like This proposition is false as having no truth value or as nonpropositions is generally considered as being

More information

Verificationism. PHIL September 27, 2011

Verificationism. PHIL September 27, 2011 Verificationism PHIL 83104 September 27, 2011 1. The critique of metaphysics... 1 2. Observation statements... 2 3. In principle verifiability... 3 4. Strong verifiability... 3 4.1. Conclusive verifiability

More information

The Greatest Mistake: A Case for the Failure of Hegel s Idealism

The Greatest Mistake: A Case for the Failure of Hegel s Idealism The Greatest Mistake: A Case for the Failure of Hegel s Idealism What is a great mistake? Nietzsche once said that a great error is worth more than a multitude of trivial truths. A truly great mistake

More information

Semantic Foundations for Deductive Methods

Semantic Foundations for Deductive Methods Semantic Foundations for Deductive Methods delineating the scope of deductive reason Roger Bishop Jones Abstract. The scope of deductive reason is considered. First a connection is discussed between the

More information

CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH

CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH CLASS #17: CHALLENGES TO POSITIVISM/BEHAVIORAL APPROACH I. Challenges to Confirmation A. The Inductivist Turkey B. Discovery vs. Justification 1. Discovery 2. Justification C. Hume's Problem 1. Inductive

More information

Logic and Pragmatics: linear logic for inferential practice

Logic and Pragmatics: linear logic for inferential practice Logic and Pragmatics: linear logic for inferential practice Daniele Porello danieleporello@gmail.com Institute for Logic, Language & Computation (ILLC) University of Amsterdam, Plantage Muidergracht 24

More information

Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh

Remarks on a Foundationalist Theory of Truth. Anil Gupta University of Pittsburgh For Philosophy and Phenomenological Research Remarks on a Foundationalist Theory of Truth Anil Gupta University of Pittsburgh I Tim Maudlin s Truth and Paradox offers a theory of truth that arises from

More information

Epistemic Utility and Theory-Choice in Science: Comments on Hempel

Epistemic Utility and Theory-Choice in Science: Comments on Hempel Wichita State University Libraries SOAR: Shocker Open Access Repository Robert Feleppa Philosophy Epistemic Utility and Theory-Choice in Science: Comments on Hempel Robert Feleppa Wichita State University,

More information

INTERMEDIATE LOGIC Glossary of key terms

INTERMEDIATE LOGIC Glossary of key terms 1 GLOSSARY INTERMEDIATE LOGIC BY JAMES B. NANCE INTERMEDIATE LOGIC Glossary of key terms This glossary includes terms that are defined in the text in the lesson and on the page noted. It does not include

More information

Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002

Understanding Truth Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 1 Symposium on Understanding Truth By Scott Soames Précis Philosophy and Phenomenological Research Volume LXV, No. 2, 2002 2 Precis of Understanding Truth Scott Soames Understanding Truth aims to illuminate

More information

THE QUESTION OF "UNIVERSALITY VERSUS PARTICULARITY?" IN THE LIGHT OF EPISTEMOLOGICAL KNOWLEDGE OF NORMS

THE QUESTION OF UNIVERSALITY VERSUS PARTICULARITY? IN THE LIGHT OF EPISTEMOLOGICAL KNOWLEDGE OF NORMS THE QUESTION OF "UNIVERSALITY VERSUS PARTICULARITY?" IN THE LIGHT OF EPISTEMOLOGICAL KNOWLEDGE OF NORMS Ioanna Kuçuradi Universality and particularity are two relative terms. Some would prefer to call

More information

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1,

Logic: inductive. Draft: April 29, Logic is the study of the quality of arguments. An argument consists of a set of premises P1, Logic: inductive Penultimate version: please cite the entry to appear in: J. Lachs & R. Talisse (eds.), Encyclopedia of American Philosophy. New York: Routledge. Draft: April 29, 2006 Logic is the study

More information

Introduction to Deductive and Inductive Thinking 2017

Introduction to Deductive and Inductive Thinking 2017 Topic 1: READING AND INTERVENING by Ian Hawkins. Introductory i The Philosophy of Natural Science 1. CONCEPTS OF REALITY? 1.1 What? 1.2 How? 1.3 Why? 1.4 Understand various views. 4. Reality comprises

More information

prohibition, moral commitment and other normative matters. Although often described as a branch

prohibition, moral commitment and other normative matters. Although often described as a branch Logic, deontic. The study of principles of reasoning pertaining to obligation, permission, prohibition, moral commitment and other normative matters. Although often described as a branch of logic, deontic

More information

Copyright 2015 by KAD International All rights reserved. Published in the Ghana

Copyright 2015 by KAD International All rights reserved. Published in the Ghana Copyright 2015 by KAD International All rights reserved. Published in the Ghana http://kadint.net/our-journal.html The Problem of the Truth of the Counterfactual Conditionals in the Context of Modal Realism

More information

Study Guides. Chapter 1 - Basic Training

Study Guides. Chapter 1 - Basic Training Study Guides Chapter 1 - Basic Training Argument: A group of propositions is an argument when one or more of the propositions in the group is/are used to give evidence (or if you like, reasons, or grounds)

More information

Ayer on the criterion of verifiability

Ayer on the criterion of verifiability Ayer on the criterion of verifiability November 19, 2004 1 The critique of metaphysics............................. 1 2 Observation statements............................... 2 3 In principle verifiability...............................

More information

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE

Logic: Deductive and Inductive by Carveth Read M.A. CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE CHAPTER VI CONDITIONS OF IMMEDIATE INFERENCE Section 1. The word Inference is used in two different senses, which are often confused but should be carefully distinguished. In the first sense, it means

More information

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness

MCQ IN TRADITIONAL LOGIC. 1. Logic is the science of A) Thought. B) Beauty. C) Mind. D) Goodness MCQ IN TRADITIONAL LOGIC FOR PRIVATE REGISTRATION TO BA PHILOSOPHY PROGRAMME 1. Logic is the science of-----------. A) Thought B) Beauty C) Mind D) Goodness 2. Aesthetics is the science of ------------.

More information

International Phenomenological Society

International Phenomenological Society International Phenomenological Society The Two Concepts of Probability: The Problem of Probability Author(s): Rudolf Carnap Source: Philosophy and Phenomenological Research, Vol. 5, No. 4 (Jun., 1945),

More information

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology

Philosophy of Science. Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophy of Science Ross Arnold, Summer 2014 Lakeside institute of Theology Philosophical Theology 1 (TH5) Aug. 15 Intro to Philosophical Theology; Logic Aug. 22 Truth & Epistemology Aug. 29 Metaphysics

More information

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities

C. Exam #1 comments on difficult spots; if you have questions about this, please let me know. D. Discussion of extra credit opportunities Lecture 8: Refutation Philosophy 130 March 19 & 24, 2015 O Rourke I. Administrative A. Roll B. Schedule C. Exam #1 comments on difficult spots; if you have questions about this, please let me know D. Discussion

More information

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece

What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece What is the Nature of Logic? Judy Pelham Philosophy, York University, Canada July 16, 2013 Pan-Hellenic Logic Symposium Athens, Greece Outline of this Talk 1. What is the nature of logic? Some history

More information

Ayer and Quine on the a priori

Ayer and Quine on the a priori Ayer and Quine on the a priori November 23, 2004 1 The problem of a priori knowledge Ayer s book is a defense of a thoroughgoing empiricism, not only about what is required for a belief to be justified

More information

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows:

Does the Skeptic Win? A Defense of Moore. I. Moorean Methodology. In A Proof of the External World, Moore argues as follows: Does the Skeptic Win? A Defense of Moore I argue that Moore s famous response to the skeptic should be accepted even by the skeptic. My paper has three main stages. First, I will briefly outline G. E.

More information

UC Berkeley, Philosophy 142, Spring 2016

UC Berkeley, Philosophy 142, Spring 2016 Logical Consequence UC Berkeley, Philosophy 142, Spring 2016 John MacFarlane 1 Intuitive characterizations of consequence Modal: It is necessary (or apriori) that, if the premises are true, the conclusion

More information

Sydenham College of Commerce & Economics. * Dr. Sunil S. Shete. * Associate Professor

Sydenham College of Commerce & Economics. * Dr. Sunil S. Shete. * Associate Professor Sydenham College of Commerce & Economics * Dr. Sunil S. Shete * Associate Professor Keywords: Philosophy of science, research methods, Logic, Business research Abstract This paper review Popper s epistemology

More information

Intuitive evidence and formal evidence in proof-formation

Intuitive evidence and formal evidence in proof-formation Intuitive evidence and formal evidence in proof-formation Okada Mitsuhiro Section I. Introduction. I would like to discuss proof formation 1 as a general methodology of sciences and philosophy, with a

More information

Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain

Predicate logic. Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) Madrid Spain Predicate logic Miguel Palomino Dpto. Sistemas Informáticos y Computación (UCM) 28040 Madrid Spain Synonyms. First-order logic. Question 1. Describe this discipline/sub-discipline, and some of its more

More information

Rationalist-Irrationalist Dialectic in Buddhism:

Rationalist-Irrationalist Dialectic in Buddhism: Rationalist-Irrationalist Dialectic in Buddhism: The Failure of Buddhist Epistemology By W. J. Whitman The problem of the one and the many is the core issue at the heart of all real philosophical and theological

More information

Commentary on Feteris

Commentary on Feteris University of Windsor Scholarship at UWindsor OSSA Conference Archive OSSA 5 May 14th, 9:00 AM - May 17th, 5:00 PM Commentary on Feteris Douglas Walton Follow this and additional works at: http://scholar.uwindsor.ca/ossaarchive

More information

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1

Reductio ad Absurdum, Modulation, and Logical Forms. Miguel López-Astorga 1 International Journal of Philosophy and Theology June 25, Vol. 3, No., pp. 59-65 ISSN: 2333-575 (Print), 2333-5769 (Online) Copyright The Author(s). All Rights Reserved. Published by American Research

More information

Oxford Scholarship Online Abstracts and Keywords

Oxford Scholarship Online Abstracts and Keywords Oxford Scholarship Online Abstracts and Keywords ISBN 9780198802693 Title The Value of Rationality Author(s) Ralph Wedgwood Book abstract Book keywords Rationality is a central concept for epistemology,

More information

Theory of Knowledge. 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree?

Theory of Knowledge. 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree? Theory of Knowledge 5. That which can be asserted without evidence can be dismissed without evidence. (Christopher Hitchens). Do you agree? Candidate Name: Syed Tousif Ahmed Candidate Number: 006644 009

More information

Putnam: Meaning and Reference

Putnam: Meaning and Reference Putnam: Meaning and Reference The Traditional Conception of Meaning combines two assumptions: Meaning and psychology Knowing the meaning (of a word, sentence) is being in a psychological state. Even Frege,

More information

On the epistemological status of mathematical objects in Plato s philosophical system

On the epistemological status of mathematical objects in Plato s philosophical system On the epistemological status of mathematical objects in Plato s philosophical system Floris T. van Vugt University College Utrecht University, The Netherlands October 22, 2003 Abstract The main question

More information

Moral Objectivism. RUSSELL CORNETT University of Calgary

Moral Objectivism. RUSSELL CORNETT University of Calgary Moral Objectivism RUSSELL CORNETT University of Calgary The possibility, let alone the actuality, of an objective morality has intrigued philosophers for well over two millennia. Though much discussed,

More information

Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus

Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus University of Groningen Qualitative and quantitative inference to the best theory. reply to iikka Niiniluoto Kuipers, Theodorus Published in: EPRINTS-BOOK-TITLE IMPORTANT NOTE: You are advised to consult

More information

The Logic of Uddyotakara The conflict with Buddhist logic and his achievement

The Logic of Uddyotakara The conflict with Buddhist logic and his achievement 1 The Logic of Uddyotakara The conflict with Buddhist logic and his achievement 0 Introduction 1 The Framework of Uddyotakara s Logic 1.1 Nyāya system and Uddyotakara 1.2 The Framework of Uddyotakara s

More information

Metaphysical Problems and Methods

Metaphysical Problems and Methods Metaphysical Problems and Methods Roger Bishop Jones Abstract. Positivists have often been antipathetic to metaphysics. Here, however. a positive role for metaphysics is sought. Problems about reality

More information

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000)

Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000) Direct Realism and the Brain-in-a-Vat Argument by Michael Huemer (2000) One of the advantages traditionally claimed for direct realist theories of perception over indirect realist theories is that the

More information

Wittgenstein on The Realm of Ineffable

Wittgenstein on The Realm of Ineffable Wittgenstein on The Realm of Ineffable by Manoranjan Mallick and Vikram S. Sirola Abstract The paper attempts to delve into the distinction Wittgenstein makes between factual discourse and moral thoughts.

More information

AN EPISTEMIC PARADOX. Byron KALDIS

AN EPISTEMIC PARADOX. Byron KALDIS AN EPISTEMIC PARADOX Byron KALDIS Consider the following statement made by R. Aron: "It can no doubt be maintained, in the spirit of philosophical exactness, that every historical fact is a construct,

More information

Chapter 9- Sentential Proofs

Chapter 9- Sentential Proofs Logic: A Brief Introduction Ronald L. Hall, Stetson University Chapter 9- Sentential roofs 9.1 Introduction So far we have introduced three ways of assessing the validity of truth-functional arguments.

More information

Informalizing Formal Logic

Informalizing Formal Logic Informalizing Formal Logic Antonis Kakas Department of Computer Science, University of Cyprus, Cyprus antonis@ucy.ac.cy Abstract. This paper discusses how the basic notions of formal logic can be expressed

More information

2 FREE CHOICE The heretical thesis of Hobbes is the orthodox position today. So much is this the case that most of the contemporary literature

2 FREE CHOICE The heretical thesis of Hobbes is the orthodox position today. So much is this the case that most of the contemporary literature Introduction The philosophical controversy about free will and determinism is perennial. Like many perennial controversies, this one involves a tangle of distinct but closely related issues. Thus, the

More information

The Theoretical Model of GOD: Proof of the Existence and of the Uniqueness of GOD

The Theoretical Model of GOD: Proof of the Existence and of the Uniqueness of GOD March 2010 Vol. 1 Issue 2 Page 85-97 85 Article The Theoretical Model of GOD: Proof of the Existence and of the Uniqueness of GOD Temur Z. Kalanov ABSTRACT The work is devoted to the 21st century s most

More information

Empty Names and Two-Valued Positive Free Logic

Empty Names and Two-Valued Positive Free Logic Empty Names and Two-Valued Positive Free Logic 1 Introduction Zahra Ahmadianhosseini In order to tackle the problem of handling empty names in logic, Andrew Bacon (2013) takes on an approach based on positive

More information

Objections, Rebuttals and Refutations

Objections, Rebuttals and Refutations Objections, Rebuttals and Refutations DOUGLAS WALTON CRRAR University of Windsor 2500 University Avenue West Windsor, Ontario N9B 3Y1 Canada dwalton@uwindsor.ca ABSTRACT: This paper considers how the terms

More information

Ling 98a: The Meaning of Negation (Week 1)

Ling 98a: The Meaning of Negation (Week 1) Yimei Xiang yxiang@fas.harvard.edu 17 September 2013 1 What is negation? Negation in two-valued propositional logic Based on your understanding, select out the metaphors that best describe the meaning

More information

Logic Appendix: More detailed instruction in deductive logic

Logic Appendix: More detailed instruction in deductive logic Logic Appendix: More detailed instruction in deductive logic Standardizing and Diagramming In Reason and the Balance we have taken the approach of using a simple outline to standardize short arguments,

More information

The Problem of Major Premise in Buddhist Logic

The Problem of Major Premise in Buddhist Logic The Problem of Major Premise in Buddhist Logic TANG Mingjun The Institute of Philosophy Shanghai Academy of Social Sciences Shanghai, P.R. China Abstract: This paper is a preliminary inquiry into the main

More information

Presuppositional Apologetics

Presuppositional Apologetics by John M. Frame [, for IVP Dictionary of Apologetics.] 1. Presupposing God in Apologetic Argument Presuppositional apologetics may be understood in the light of a distinction common in epistemology, or

More information

Phil Aristotle. Instructor: Jason Sheley

Phil Aristotle. Instructor: Jason Sheley Phil 290 - Aristotle Instructor: Jason Sheley To sum up the method 1) Human beings are naturally curious. 2) We need a place to begin our inquiry. 3) The best place to start is with commonly held beliefs.

More information

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres

Anthony P. Andres. The Place of Conversion in Aristotelian Logic. Anthony P. Andres [ Loyola Book Comp., run.tex: 0 AQR Vol. W rev. 0, 17 Jun 2009 ] [The Aquinas Review Vol. W rev. 0: 1 The Place of Conversion in Aristotelian Logic From at least the time of John of St. Thomas, scholastic

More information

From Transcendental Logic to Transcendental Deduction

From Transcendental Logic to Transcendental Deduction From Transcendental Logic to Transcendental Deduction Let me see if I can say a few things to re-cap our first discussion of the Transcendental Logic, and help you get a foothold for what follows. Kant

More information

Lecture 9. A summary of scientific methods Realism and Anti-realism

Lecture 9. A summary of scientific methods Realism and Anti-realism Lecture 9 A summary of scientific methods Realism and Anti-realism A summary of scientific methods and attitudes What is a scientific approach? This question can be answered in a lot of different ways.

More information

THE RELATIONSHIP BETWEEN SCIENCE, RELIGION AND ARISTOTELIAN THEOLOGY TODAY

THE RELATIONSHIP BETWEEN SCIENCE, RELIGION AND ARISTOTELIAN THEOLOGY TODAY Science and the Future of Mankind Pontifical Academy of Sciences, Scripta Varia 99, Vatican City 2001 www.pas.va/content/dam/accademia/pdf/sv99/sv99-berti.pdf THE RELATIONSHIP BETWEEN SCIENCE, RELIGION

More information

5.6.1 Formal validity in categorical deductive arguments

5.6.1 Formal validity in categorical deductive arguments Deductive arguments are commonly used in various kinds of academic writing. In order to be able to perform a critique of deductive arguments, we will need to understand their basic structure. As will be

More information

Ayer s linguistic theory of the a priori

Ayer s linguistic theory of the a priori Ayer s linguistic theory of the a priori phil 43904 Jeff Speaks December 4, 2007 1 The problem of a priori knowledge....................... 1 2 Necessity and the a priori............................ 2

More information

Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010).

Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Cory Juhl, Eric Loomis, Analyticity (New York: Routledge, 2010). Reviewed by Viorel Ţuţui 1 Since it was introduced by Immanuel Kant in the Critique of Pure Reason, the analytic synthetic distinction had

More information

The Kripkenstein Paradox and the Private World. In his paper, Wittgenstein on Rules and Private Languages, Kripke expands upon a conclusion

The Kripkenstein Paradox and the Private World. In his paper, Wittgenstein on Rules and Private Languages, Kripke expands upon a conclusion 24.251: Philosophy of Language Paper 2: S.A. Kripke, On Rules and Private Language 21 December 2011 The Kripkenstein Paradox and the Private World In his paper, Wittgenstein on Rules and Private Languages,

More information

Basic Considerations on Epistemology (1937) Paul Bernays

Basic Considerations on Epistemology (1937) Paul Bernays Bernays Project: Text No.?? Basic Considerations on Epistemology (1937) Paul Bernays (Grundsätzliche Betrachtungen zur Erkenntnistheorie, 1937) Translation by: Volker Peckhaus Comments: 279 The doctrines

More information

Philosophy Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction

Philosophy Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction Philosophy 5340 - Epistemology Topic 5 The Justification of Induction 1. Hume s Skeptical Challenge to Induction In the section entitled Sceptical Doubts Concerning the Operations of the Understanding

More information

Man and the Presence of Evil in Christian and Platonic Doctrine by Philip Sherrard

Man and the Presence of Evil in Christian and Platonic Doctrine by Philip Sherrard Man and the Presence of Evil in Christian and Platonic Doctrine by Philip Sherrard Source: Studies in Comparative Religion, Vol. 2, No.1. World Wisdom, Inc. www.studiesincomparativereligion.com OF the

More information

CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017

CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017 CHAPTER 2 THE LARGER LOGICAL LANDSCAPE NOVEMBER 2017 1. SOME HISTORICAL REMARKS In the preceding chapter, I developed a simple propositional theory for deductive assertive illocutionary arguments. This

More information

Bertrand Russell Proper Names, Adjectives and Verbs 1

Bertrand Russell Proper Names, Adjectives and Verbs 1 Bertrand Russell Proper Names, Adjectives and Verbs 1 Analysis 46 Philosophical grammar can shed light on philosophical questions. Grammatical differences can be used as a source of discovery and a guide

More information

Comments on Truth at A World for Modal Propositions

Comments on Truth at A World for Modal Propositions Comments on Truth at A World for Modal Propositions Christopher Menzel Texas A&M University March 16, 2008 Since Arthur Prior first made us aware of the issue, a lot of philosophical thought has gone into

More information

PHI2391: Logical Empiricism I 8.0

PHI2391: Logical Empiricism I 8.0 1 2 3 4 5 PHI2391: Logical Empiricism I 8.0 Hume and Kant! Remember Hume s question:! Are we rationally justified in inferring causes from experimental observations?! Kant s answer: we can give a transcendental

More information

Chapter 5: Freedom and Determinism

Chapter 5: Freedom and Determinism Chapter 5: Freedom and Determinism At each time t the world is perfectly determinate in all detail. - Let us grant this for the sake of argument. We might want to re-visit this perfectly reasonable assumption

More information

Foundationalism Vs. Skepticism: The Greater Philosophical Ideology

Foundationalism Vs. Skepticism: The Greater Philosophical Ideology 1. Introduction Ryan C. Smith Philosophy 125W- Final Paper April 24, 2010 Foundationalism Vs. Skepticism: The Greater Philosophical Ideology Throughout this paper, the goal will be to accomplish three

More information

Horwich and the Liar

Horwich and the Liar Horwich and the Liar Sergi Oms Sardans Logos, University of Barcelona 1 Horwich defends an epistemic account of vagueness according to which vague predicates have sharp boundaries which we are not capable

More information

McCLOSKEY ON RATIONAL ENDS: The Dilemma of Intuitionism

McCLOSKEY ON RATIONAL ENDS: The Dilemma of Intuitionism 48 McCLOSKEY ON RATIONAL ENDS: The Dilemma of Intuitionism T om R egan In his book, Meta-Ethics and Normative Ethics,* Professor H. J. McCloskey sets forth an argument which he thinks shows that we know,

More information

Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas

Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas Mark Anthony D. Abenir, MCD Department of Social Sciences & Philosophy University of Santo Tomas Shifting Period 1 st Topic Introduction to Philosophy Logic & Critical Thinking Fallacies of Reasoning Ideas

More information

1. Lukasiewicz s Logic

1. Lukasiewicz s Logic Bulletin of the Section of Logic Volume 29/3 (2000), pp. 115 124 Dale Jacquette AN INTERNAL DETERMINACY METATHEOREM FOR LUKASIEWICZ S AUSSAGENKALKÜLS Abstract An internal determinacy metatheorem is proved

More information

Once More What is Truth?

Once More What is Truth? Friedrich Seibold Once More What is Truth? Abstract The present essay is a truth theory based upon the principle of sufficient reason. It is a critique of modern logic which does not fulfil this principle.

More information

A RESPONSE TO "THE MEANING AND CHARACTERISTICS OF AN AMERICAN THEOLOGY"

A RESPONSE TO THE MEANING AND CHARACTERISTICS OF AN AMERICAN THEOLOGY A RESPONSE TO "THE MEANING AND CHARACTERISTICS OF AN AMERICAN THEOLOGY" I trust that this distinguished audience will agree that Father Wright has honored us with a paper that is both comprehensive and

More information

THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM

THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM SKÉPSIS, ISSN 1981-4194, ANO VII, Nº 14, 2016, p. 33-39. THE SEMANTIC REALISM OF STROUD S RESPONSE TO AUSTIN S ARGUMENT AGAINST SCEPTICISM ALEXANDRE N. MACHADO Universidade Federal do Paraná (UFPR) Email:

More information

Abstract Abstraction Abundant ontology Abundant theory of universals (or properties) Actualism A-features Agent causal libertarianism

Abstract Abstraction Abundant ontology Abundant theory of universals (or properties) Actualism A-features Agent causal libertarianism Glossary Abstract: a classification of entities, examples include properties or mathematical objects. Abstraction: 1. a psychological process of considering an object while ignoring some of its features;

More information

FACULTY OF ARTS B.A. Part II Examination,

FACULTY OF ARTS B.A. Part II Examination, FACULTY OF ARTS B.A. Part II Examination, 2015-16 8. PHILOSOPHY SCHEME Two Papers Min. pass marks 72 Max. Marks 200 Paper - I 3 hrs duration 100 Marks Paper - II 3 hrs duration 100 Marks PAPER - I: HISTORY

More information

Russell: On Denoting

Russell: On Denoting Russell: On Denoting DENOTING PHRASES Russell includes all kinds of quantified subject phrases ( a man, every man, some man etc.) but his main interest is in definite descriptions: the present King of

More information

MY PURPOSE IN THIS BOOK IS TO PRESENT A

MY PURPOSE IN THIS BOOK IS TO PRESENT A I Holistic Pragmatism and the Philosophy of Culture MY PURPOSE IN THIS BOOK IS TO PRESENT A philosophical discussion of the main elements of civilization or culture such as science, law, religion, politics,

More information

Ancient Greek Philosophy. Instructor: Dr. Jason Sheley

Ancient Greek Philosophy. Instructor: Dr. Jason Sheley Ancient Greek Philosophy Instructor: Dr. Jason Sheley Aristotle on the Psyche Aristotle s theory of the soul is notoriously difficult to classify. Scholars have attempted to frame Aristotle s theory as

More information