Logic: Difference between revisions

From Rigpa Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 4: Line 4:


We begin by considering the two main branches of logic within Western philosophy, namely: '''inductive''' and '''deductive'''.
We begin by considering the two main branches of logic within Western philosophy, namely: '''inductive''' and '''deductive'''.


==Inductive Logic==
==Inductive Logic==
Line 12: Line 11:
* All known swans are white (specific),  
* All known swans are white (specific),  
* Therefore all swans are white (general).  
* Therefore all swans are white (general).  


The arguments built from inductive reasoning are never very strong, but often very persuasive. If we examine our confidence that today we will not die, we will find that it is supported by a species of inductive logic.
The arguments built from inductive reasoning are never very strong, but often very persuasive. If we examine our confidence that today we will not die, we will find that it is supported by a species of inductive logic.
Line 20: Line 18:


The conclusions of inductive logic reach beyond the support of their arguments, and this is their weakness. But these conclusions are not ''necessarily'' mistaken, and they are not ''unrelated'' to their arguments, and this is their strength. Most thinking proceeds inductively, as the process of induction allows the thinker to make educated guesses that leap beyond the confines of their arguments. However, once a line of reasoning has been discovered via induction, it must be established using deductive analysis for its conclusions to be considered reliable.
The conclusions of inductive logic reach beyond the support of their arguments, and this is their weakness. But these conclusions are not ''necessarily'' mistaken, and they are not ''unrelated'' to their arguments, and this is their strength. Most thinking proceeds inductively, as the process of induction allows the thinker to make educated guesses that leap beyond the confines of their arguments. However, once a line of reasoning has been discovered via induction, it must be established using deductive analysis for its conclusions to be considered reliable.


==Deductive Logic==
==Deductive Logic==
Line 32: Line 29:
* Socrates is a human being.
* Socrates is a human being.
* Therefore, Socrates has a liver.
* Therefore, Socrates has a liver.


Arguments built from deductive logic are very strong. This is because the conclusion is entirely contained within the premises - produced by analytically deducting their common factors. In the above example, 'human being' is the factor common to both of the premises. When it is deducted, and the remainder of the premises combined, you have the conclusion. Thus, if the truth of the premises is accepted, then the truth of the conclusion is irresistible.
Arguments built from deductive logic are very strong. This is because the conclusion is entirely contained within the premises - produced by analytically deducting their common factors. In the above example, 'human being' is the factor common to both of the premises. When it is deducted, and the remainder of the premises combined, you have the conclusion. Thus, if the truth of the premises is accepted, then the truth of the conclusion is irresistible.
Line 52: Line 48:
|                                                    has a liver.  
|                                                    has a liver.  
|}
|}


===Indic Syllogisms===
===Indic Syllogisms===
Line 73: Line 68:
| '''Sign''' || Because these things lack, in reality, a nature of neither one nor many.
| '''Sign''' || Because these things lack, in reality, a nature of neither one nor many.
|}
|}


* The '''subject''' is that which is under investigation, about which a claim is being made.  
* The '''subject''' is that which is under investigation, about which a claim is being made.  
Line 79: Line 73:
* The '''sign''' is what is used to establish the '''probandum''' (what is to be proven), which is the valid connection between the '''subject''' and the '''predicate'''.
* The '''sign''' is what is used to establish the '''probandum''' (what is to be proven), which is the valid connection between the '''subject''' and the '''predicate'''.
* The '''probandum''' is the relationship between the subject and the predicate – that which is to be proven through the syllogism
* The '''probandum''' is the relationship between the subject and the predicate – that which is to be proven through the syllogism


In assessing the validity of a syllogism, you start with the '''subject''' and work your way through the '''three modes of logic''' until you get to the '''predicate'''.  
In assessing the validity of a syllogism, you start with the '''subject''' and work your way through the '''three modes of logic''' until you get to the '''predicate'''.  
Line 86: Line 79:


Then the '''second''' and '''third modes''' establish the relationship of the '''sign''' to the '''predicate'''. Establishing these three modes establishes the '''probandum'''.
Then the '''second''' and '''third modes''' establish the relationship of the '''sign''' to the '''predicate'''. Establishing these three modes establishes the '''probandum'''.


====The Three Modes of Logic====
====The Three Modes of Logic====
Line 92: Line 84:
# The second mode is '''The Forward Pervasion''' - the sign is completely pervaded by the predicate. This means that all things that are "lacking, in reality, a nature of neither one nor many" "do not inherently exist, like a reflection"
# The second mode is '''The Forward Pervasion''' - the sign is completely pervaded by the predicate. This means that all things that are "lacking, in reality, a nature of neither one nor many" "do not inherently exist, like a reflection"
# The third mode is '''The Counter Pervasion''' - the negative of the predicate is completely pervaded by the negative of the sign. This means that whatever inherently exists must possesses, in reality, a nature of either one or many.
# The third mode is '''The Counter Pervasion''' - the negative of the predicate is completely pervaded by the negative of the sign. This means that whatever inherently exists must possesses, in reality, a nature of either one or many.


====Comparison with the Aristotelian Syllogism====
====Comparison with the Aristotelian Syllogism====
Line 99: Line 90:
* These things propounded by ourselves and others are things that lack, in reality, a nature of neither one nor many.
* These things propounded by ourselves and others are things that lack, in reality, a nature of neither one nor many.
* Therefore, these things propounded by ourselves and others do not inherently exist.
* Therefore, these things propounded by ourselves and others do not inherently exist.


{| border="1" style="background:#ffdead;" cellpadding="4"
{| border="1" style="background:#ffdead;" cellpadding="4"
Line 117: Line 107:
|                                                    do not inherently exist, like a reflection.
|                                                    do not inherently exist, like a reflection.
|}
|}


The statement of the '''general''' premise of an Aristotelian syllogism corresponds to both the '''second''' and '''third logical modes'''. The term "all" (which makes it a general statement) covers both the forward and counter pervasions, establishing the relationship between the '''predicate''' and the '''sign'''.
The statement of the '''general''' premise of an Aristotelian syllogism corresponds to both the '''second''' and '''third logical modes'''. The term "all" (which makes it a general statement) covers both the forward and counter pervasions, establishing the relationship between the '''predicate''' and the '''sign'''.
Line 126: Line 115:


The Aristotelian '''conclusion''' corresponds to the Indic '''probandum''' - that which is to be proven.
The Aristotelian '''conclusion''' corresponds to the Indic '''probandum''' - that which is to be proven.
[[Category:Pramana]]

Revision as of 07:01, 27 June 2007

Logic employed in Tibetan Buddhist commentaries and debates most commonly takes the form of the Indic syllogism. What's important for the Western Dharma student to understand is that, although the form is different, the underlying logic is not - it is the same logic as finds expression in the Aristotelian syllogisms of Western philosophy. This means that any Indic syllogism may be recast as an Aristotelian syllogism, and vice versa.

In order to introduce the formal characteristic of the Indic syllogism, a brief overview of the representations of logic most familiar to people of Western education are presented. It is intended that, by identifying the common elements of Indic and Aristotelian syllogisms, this might aid the reader in gaining insight into the interpretation and application of this powerful system.

We begin by considering the two main branches of logic within Western philosophy, namely: inductive and deductive.

Inductive Logic

Inductive logic is reasoning from the specific to the general.

For example:

  • All known swans are white (specific),
  • Therefore all swans are white (general).

The arguments built from inductive reasoning are never very strong, but often very persuasive. If we examine our confidence that today we will not die, we will find that it is supported by a species of inductive logic.

  • All known days have passed without my death (specific),
  • Therefore [on any given day] I will not die (general).

Of course, we understand that one day we will die, but it's the rigour that inductive logic lacks that allows us to not be very compelled by this fact.

The conclusions of inductive logic reach beyond the support of their arguments, and this is their weakness. But these conclusions are not necessarily mistaken, and they are not unrelated to their arguments, and this is their strength. Most thinking proceeds inductively, as the process of induction allows the thinker to make educated guesses that leap beyond the confines of their arguments. However, once a line of reasoning has been discovered via induction, it must be established using deductive analysis for its conclusions to be considered reliable.

Deductive Logic

Deductive logic is reasoning from the general to the specific.

Aristotelian Syllogisms

The form of deductive logic used in Western philosopy is the Aristotelian syllogism.

For example:

  • All human beings have a liver.
  • Socrates is a human being.
  • Therefore, Socrates has a liver.

Arguments built from deductive logic are very strong. This is because the conclusion is entirely contained within the premises - produced by analytically deducting their common factors. In the above example, 'human being' is the factor common to both of the premises. When it is deducted, and the remainder of the premises combined, you have the conclusion. Thus, if the truth of the premises is accepted, then the truth of the conclusion is irresistible.

General   All human beings have a liver
Specific Socrates is a human being  
Conclusion Therefore, Socrates   has a liver.

Indic Syllogisms

The form of the syllogism used in Tibetan Buddhism is derived from the works of Dignāga and Dharmakīrti. Dignāga's work was a reformation of the system propounded by the Naiyāyikas, which was then later refined by Dharmakīrti.

As an example of this form of syllogism, we will take the third of the four great logical arguments of the Middle Way - taught extensively by the Great Abbot Shantarakshita in his treatise, the Madhyamakalankara - the argument of 'neither one nor many'.

  • These things propounded by ourselves and others
  • Do not inherently exist, like a reflection,
  • Because these things lack, in reality, a nature of neither one nor many.


The process of deductive analysis used here is explained as follows:

Subject These things propounded by ourselves and others
Predicate Do not inherently exist, like a reflection,
Sign Because these things lack, in reality, a nature of neither one nor many.
  • The subject is that which is under investigation, about which a claim is being made.
  • The predicate is the claim that is being made about the subject.
  • The sign is what is used to establish the probandum (what is to be proven), which is the valid connection between the subject and the predicate.
  • The probandum is the relationship between the subject and the predicate – that which is to be proven through the syllogism

In assessing the validity of a syllogism, you start with the subject and work your way through the three modes of logic until you get to the predicate.

The first mode establishes the relationship of the subject with the sign.

Then the second and third modes establish the relationship of the sign to the predicate. Establishing these three modes establishes the probandum.

The Three Modes of Logic

  1. The first mode is The Property of the Subject - the sign must be a property of the subject. Here, "lacking, in reality, a nature of neither one nor many" must be a property of "these things propounded by ourselves and others".
  2. The second mode is The Forward Pervasion - the sign is completely pervaded by the predicate. This means that all things that are "lacking, in reality, a nature of neither one nor many" "do not inherently exist, like a reflection"
  3. The third mode is The Counter Pervasion - the negative of the predicate is completely pervaded by the negative of the sign. This means that whatever inherently exists must possesses, in reality, a nature of either one or many.

Comparison with the Aristotelian Syllogism

The argument of 'neither one nor many' may be expressed in the Aristotelian form:

  • All things that lack, in reality, a nature of neither one nor many do not inherently exist.
  • These things propounded by ourselves and others are things that lack, in reality, a nature of neither one nor many.
  • Therefore, these things propounded by ourselves and others do not inherently exist.
General   All things that lack, in reality, a nature of neither one nor many do not inherently exist, like a reflection
Specific These things propounded by ourselves and others are things that lack, in reality, a nature of neither one nor many  
Conclusion Therefore, these things propounded by ourselves and others   do not inherently exist, like a reflection.

The statement of the general premise of an Aristotelian syllogism corresponds to both the second and third logical modes. The term "all" (which makes it a general statement) covers both the forward and counter pervasions, establishing the relationship between the predicate and the sign.

The specific instance premise covers the first logical mode, establishing that the sign is a property of the subject.

What is analytically deducted from the Aristotelian syllogism corresponds to the sign.

The Aristotelian conclusion corresponds to the Indic probandum - that which is to be proven.