tag:blogger.com,1999:blog-25259279425565243852024-02-18T20:00:13.993-08:00Reine Spekulationspecuhttp://www.blogger.com/profile/18169304068728750631noreply@blogger.comBlogger4125tag:blogger.com,1999:blog-2525927942556524385.post-46963731163976895462012-08-13T05:33:00.001-07:002012-08-13T05:35:49.813-07:00Square of opposition<style type="text/css">
<!--
@page { margin: 2cm }
P { margin-bottom: 0.21cm }
-->
</style>
<br />
In traditional logic it is called<span style="font-style: normal;">
s</span><i>quare of opposition</i> to certain logical relations that
according to the Aristotelian system occured between different
categorical propositions of the same subject and predicate, resultig
of changing quality, quantity or both. <br />
<br />
Remember that
so-called <i>categorical propositions</i> affirm or deny
relationships between classes, one represented by the term subject,
the other by the predicate. <br />
<br />
According to <i>quality,</i> a
proposition of this kind can include or exclude a class (denoted by
the subject term) in another (designated by the predicate). Depending
on the <i>quantity</i><i>,</i> a proposition distributes its subject
term or not. The latter means that it refers to all members of the
class that the term subject denotes, in which case it would be
distributed, or, otherwise not. <br />
<br />
Propositions can be <i>contrary,
contradictories, subordinate and subcontraries</i> to each other<i>.</i>
<br />
<br />
Two propositions are <i>contrary</i> if both cannot be true;
they are <i>contradictory</i> if, besides being contrary, it is
possible for both to be false, they are <i>subcontraries</i> in case
they cannot be false at the same time (they can both be true.) One
proposion is a <i>subaltern</i> of another when, having both the same
subject and predicate, and having also the same quality, the
universal one ditributes the first, but the particular does not.
<br />
<br />
The four <i>typical forms</i> of categorical propositions
are: <br />
<br />
<b>A:</b> Every A is B <br />
<b>E:</b> No A is B <br />
<b>I:</b>
Some A is B <br />
<b>O:</b> Some A is not B <br />
<br />
And traditionally
were drawn certain 'immediate' inferences from the oppositions
between them. <br />
<br />
For example (taking, as mentioned, same subject
and predicate), from the truth of <b>A</b> was inferred the falsity
of <b>O</b><span style="font-weight: normal;">,</span><b> </b><span style="font-weight: normal;">because
</span>they are both contradictory, and <b>E</b><span style="font-weight: normal;">'s</span><b>,</b>
as well as <b>I</b><span style="font-weight: normal;">'s truth</span><b>.</b>
The falsity of <b>A</b> implies the falsity of <b>O</b> and let the
other two indeterminate. <br />
<br />
From <b>E</b> it was inferred the
falsity of both <b>A</b> and <b>I</b><b>,</b> and the <b>O</b>'s
truth<b>.</b> Of its falsity, the truth of <b>I.</b> <br />
<br />
It could
be inferred from <b>I,</b> that <b>E</b> could not be the case<b>,
</b><span style="font-weight: normal;">remaining </span><b>A </b><span style="font-weight: normal;">and
</span><b>O</b> indeterminated.
<br />
<div align="LEFT" style="margin-bottom: 0cm;">
As for <b>O,</b> from its
truth was inferred the falsity of <b>A</b> (without determining the
valuation of the rest): while from its falsity, <b>A</b><span style="font-weight: normal;">'s</span>
(its contradictory) <span style="font-weight: normal;">truth</span>,
and <b>I</b><span style="font-weight: normal;">'s,</span> as well as
the falsity of <b>E.</b><br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjLeF9ChQUx6gEPjVi9xUrm1ZdC50q0uYBKpKUmE3VK0HjKBQ4pb6fjg_LRSK2KK2SaWC3NhtgCFh3bY3wJjqv19vPEjWrs5ZTxfM7ma0KOBnFZGt_4yTGyO2LneAt3zrXce9Epj6278f6f/s1600/square+of+oposittion.png" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjLeF9ChQUx6gEPjVi9xUrm1ZdC50q0uYBKpKUmE3VK0HjKBQ4pb6fjg_LRSK2KK2SaWC3NhtgCFh3bY3wJjqv19vPEjWrs5ZTxfM7ma0KOBnFZGt_4yTGyO2LneAt3zrXce9Epj6278f6f/s1600/square+of+oposittion.png" /></a></div>
<b> </b>
</div>
<div align="CENTER" style="margin-bottom: 0cm;">
<a href="http://upload.wikimedia.org/wikipedia/commons/7/73/CUADRO_DE_OPOSICION.png"></a><span style="color: #666666;">(Image:
wikipedia)</span>
</div>
<div style="margin-bottom: 0cm;">
<br />
But in this post it was not
intended to present the traditional system of categorical
propositions but to mention a comment on orthodoxy's criticism to
that system, comment on which Strawson calls attention in his
<i>Introduction to Logical Theory </i>(Ch. 6). <br />
<br />
The criticism
to which I wanted to refer concludes that there is not a consistent
and acceptable interpretation of the system−and in particular the
square of oppositions−, in an interpretation of it's constants in a
way they approach to the ordinary use of the words that are
expressed. To which it is assumed that it must be chosen between only
two possible translations of the propositions to the system of
predicate logic. <br />
<br />
These are: <br />
<br />
1: <br />
<b>A:</b> ~ ∃ x
(Fx ∧ Gx ~) or ∀ x (Fx ⊃ Gx) <br />
<b>E:</b> ~ ∃ x (Fx ∧
Gx) or ∀ x (Fx ⊃ Gx ~) <br />
<b>I:</b> ∃ x (Fx ∧ Gx)
or ~ ∀ x (Fx ⊃ Gx ~) <br />
<b>O:</b> ∃ x (Fx ∧ Gx ~)
or ~ ∀ x (Fx ⊃ Gx) <br />
<br />
and 2: <br />
<br />
<b>A:</b> ~ ∃
x (Fx Gx ∧ ~) ∧ ∃ x Fx <br />
<b>E:</b> ~ ∃ x (Fx ∧ Gx) ∃ x
Fx ∧ <br />
<b>I:</b> ∃ x (Fx ∧ Gx) <br />
<b>O:</b> ∃ x (Fx ∧ Gx
~) <br />
<br />
In both cases some of the rules of the above mentioned,
wich are represented in the opposition square, should be resigned .
<br />
<br />
In Table 1, for example, <b>A</b> and <b>E</b> can be true
together, so they are no longer opposed. <b>O</b> and <b>I,</b> in
turn, no longer subcontraries. <br />
<br />
With respect to the second
table, for example, <b>O</b> and <b>I</b> are not subcontraries
anymore. Furthermore <b>A</b> and <b>O</b> on the one hand, and <b>I</b>
and <b>E</b> on the other, are not contradictory. <br />
<br />
Strawson
shows how there are at least two different ways to interpret <b>A, E,
I, O</b> for which the traditional laws still apply. <br />
<br />
One of
them, that seems the most important, has to do with criticism of
Russell's theory of denotation. Briefly, while the proposition <i>"that
books over the table are all in spanish",</i> presupposes for
the one who enunciate it that the class of "books over the
table" is not empty, in <i>"the king of France is bald</i>
" that there is a king of France. If there are no books on the
table, the first is not true, if there is no king of France, the
second is not false. But I did not wanted to expand on this issue at
this time. <br />
<br />
The question I wanted to reach was: which formulas
of predicate logic can be offered to translate the four forms of
categorical propositions A, E, I, O, that retain the traditional
laws, if there are any?</div>
<div style="margin-bottom: 0cm;">
</div>
specuhttp://www.blogger.com/profile/18169304068728750631noreply@blogger.com1tag:blogger.com,1999:blog-2525927942556524385.post-767697835553894372012-07-23T08:01:00.001-07:002012-07-24T03:47:04.670-07:00The dilemma of Anacharsis<a href="http://yeahokbutstill.blogspot.com.ar/2011/09/davidsonian-critique-of-neo-kantian.html">Here</a> can be finded a discusion about a Davidson's critic to Strawson philosophy. One of the arguments is that if we, as Kant, supousse there exists a "conceptual scheme", then we cannot reach at it's knowledge as if it was not tracendental but real. In the terms of the mentioned blog: "What right, then, does Strawson have to describe our conceptual scheme, a scheme he repeatedly admits we cannot transcend?".<br />
<br />
Well, I think the idea is very similar to another very old one. I.e., certain dilemma attributed to Anacharsis from which it would not be possible any criteria to judge any art.<br />
<br />
Anacharsis consider two possibilities: the person who judges about art is a profane or an artist. If he is a profane, he would not be able to do it because he would not know about it. In the other case (which is the similar one to de cited argument), the artist must be the judge at the same time that the judged (as artist himself) and that is not allowed, because then, how can he be a fair judge?specuhttp://www.blogger.com/profile/18169304068728750631noreply@blogger.com0tag:blogger.com,1999:blog-2525927942556524385.post-368360522244197522012-07-18T14:14:00.001-07:002012-07-30T08:54:20.918-07:00Per sophisma figurae dictionisMajor premise: That which is a subject, is substance<br />
<br />
Minor premise: A thinking being can only be thought of as subject<br />
<br />
Conclusion: Therefore, every thinking being is substance<br />
<br />
<br />
Kant describes the fallacy of the syllogism in the context of transcendental philosophy, and therefore making reference to (so to speak) transcendental cognitive structure. This is no accidental, because for him, the transcendental illusion is not merely logical, and therefore he distinguishes it from the fallacy, which is logical. The difference, I think, is established in passages like this:<br />
<br />
«For we have here to do with a natural and unavoidable illusion, which rests upon subjective principles and imposes these upon us as objective, while logical dialectic, in the detection of sophisms, has to do merely with an error in the logical consequence of the propositions, or with an artificially constructed illusion, in imitation of the natural error. There is, therefore, a natural and unavoidable dialectic of pure reason--not that in which the bungler, from want of the requisite knowledge, involves himself, nor that which the sophist devises for the purpose of misleading, but that which is an inseparable adjunct of human reason, and which, even after its illusions have been exposed, does not cease to deceive, and continually to lead reason into momentary errors, which it becomes necessary continually to remove.»<br />
(<a href="http://www.gutenberg.org/cache/epub/4280/pg4280.txt">Critique of Pure Reason</a>)<br />
<br />
It may be noticed here somehow Cartesian discarded hypothesis on the meditation about the supreme being. The major premise, Kant says, refers to a being that can be given in an intuition as an object, while in the minor it is only considered in relation to the thinking and the unity of consciousness, but not to intuition as it can be given as an object of it. Everything clear up to this point, but in a footnote the obscureness returns. There, what it is said is that in each of both premises, it is the term thinking what is taken in two different senses. That is, again: in the major, as directed at an object of a possible intuition, in the minor in reference to self-consciousness, without reference to any object.<br />
<br />
But where does the conviction of Kant on his own hypothesis of inclination for error of reason takes its grounds? It should be noticed that his place is not precisely conditioned by his criticism, but rather the contrary. And on the other hand, considering the proposition in itself: in which way is more profitable, taking the subject in its broadest sense, raising it to the level of pure form of all thought in general, or taking it as a singular term, and related to certain thoughts that are inherent to it in a particular way?<br />
<br />
Notice, for example, that the amphibology (which produces the fallacy) does not concern so much to the term thinking but rather to subject, which serves as a medium. The first case, in fact, could not take place according to the syllogism which we have set out here. Kant stated it this way: «That which cannot be cogitated otherwise than as subject, does not exist otherwise than as subject, and is therefore substance». But the ambiguity is in the word subject: first subject as substrate of attributes, then as medium of all thoughts. Maybe because a question of time, i.e. the diachrony inherent to language, today we see the thing more simply, and this leads us to see the seeds of illusory appearance not transcendental, but merely logical. But this does not mean that Kant's intuition on this point has been entirely wrong and that some of its validity is preserved over time, although in other shapes.<br />
<br />
Kant says (in the second edition of the Critique in question, which reformulates what concerns the paralogisms of pure reason):<br />
<br />
«the proposition 'I think' (in the problematical sense) contains the form of every judgement in general and is the constant accompaniment of all the categories»²<br />
<br />
Since it is "taken problematically" this <i>I think</i> might be thought as an idea in itself that could not be known speculatively. This means that it is not, for example, an immediate certainty obtained from an experience (that of consciousness in relation to it self in it's speculation), from which infer it existence through any syllogism. Kant conceived the Ego, on contrary, as:<br />
<br />
«nothing but the simple and in itself perfectly contentless representation "I" which cannot even be called a conception, but merely a consciousness which accompanies all conceptions. By this "I," or "He," or "It," who or which thinks, nothing more is represented than a transcendental subject of thought = x, which is cognized only by means of the thoughts that are its predicates, and of which, apart from these, we cannot form the least conception.»³.<br />
<br />
<br />
This topic of the rational doctrine of the subject or thing that thinks -as a problematic concept- could not then contain any substantiality (immateriality) or simplicity (incorruptibility) or identity (personality). <br />
<br />
_______________<br />
(1) Kant, <a href="http://www.gutenberg.org/cache/epub/4280/pg4280.txt">Critique of Pure Reason</a>.<br />
(2) Ibíd.<br />
(3) Ibíd.<br />
<br />
<br />
(<a href="http://especulacionpura.blogspot.com/2009/11/per-sophisma-figurae-dictionis_11.html">read the spanish version</a>)specuhttp://www.blogger.com/profile/18169304068728750631noreply@blogger.com0tag:blogger.com,1999:blog-2525927942556524385.post-3433212184920735232012-07-14T13:31:00.003-07:002012-07-30T08:54:41.961-07:00Denoting phrases and definite descriptions<br />
In <i><a href="http://cscs.umich.edu/%7Ecrshalizi/Russell/denoting/">On denoting</a></i>,
Russell explains what he called denotative phrases and gives examples
of them: «a man, some man, any man, every man, all men, the present King
of England, the present King of France, the center of mass of the solar
system at the first instant of the twentieth century, the revolution of
the earth round the sun, the revolution of the sun round the earth».<br />
<br />
And groups them into three cases:<br />
<br />
Without reference: the present King of France<br />
With a particular reference: the center of mass of the solar system for ...<br />
With ambiguous reference: a man<br />
<br />
Such
kind of prases can be find within sentences. As he considers 'all',
'nothing' and 'something' the primitive denotative phrases, he proceeds
to analyze them schematically. According to Russell, the notion 'C(x) is
always true' (corresponding to 'all', ie 'all x is C') is fundamental
and indefinable, other notions are defined through it.<br />
<br />
<br />
C(everything) = "C (x) is always true"<br />
C(nothing) = "«C(x) is false» is always true"<br />
C(something) = "It is false that «C(x) is false» is always true"<br />
<br />
He also defines the notion "C(a man)" using the example:<br />
<br />
"I met a man", where C(x) is the property "I met x", and "C(a man)" would be:<br />
"«I met x, and x is human» is not always false."<br />
<br />
We also define the following expressions (according to that indicated above):<br />
<br />
C(all men) = "«if x is human, then C(x) is true» is always true"<br />
C(no men) = "«if x is human, then C(x) is false» is always true"<br />
C(some men) = C(a man) = "It is false that «C(x) and x is human» is always false"<br />
<br />
C(every man) = C(all men)<br />
<br />
Then
there are the cases with a definite article such as "the". An example
might be: "The father of Charles II was executed," which can be
interpreted as "C(the father of Charles II)" (where: C(x) = "x was
executed"). So we obtain:<br />
<br />
<br />
"It is not always
false of x that x begat Charles II and that x was executed and that «if y
begat Charles II, y is identical with x» is always true of y". <br />
<br />
To simplify all this, that may seem confusing, here is its formal representation.<br />
<br />
C(all) = ∀x Cx<br />
C(nothing) = ∀x ¬Cx<br />
C(something) = ¬∀x ¬Cx<br />
<br />
C(all men) = ∀x (Hx ⊃ Cx)<br />
C(no men) = ∀x (Hx ⊃ ¬Cx)<br />
C(a man) = ¬∀x ¬(Hx ∧ Cx)<br />
<br />
C(the father of Charles II) = ¬∀x ¬[Px ∧ Cx ∧ ∀y (Py ⊃ y = x)]<br />
<br />
<br />
The
foregoing allows a reduction of all propositions in which denotative
phrases occur to some where they not. That is, instead of expressions
that denote objects in the world as subjects of sentences, we will have
sentences that will denote either the truth or falsehood.<br />
<br />
According to Strawson, this view was still widely accepted among logicians when he wrote a critical review in On Referring.<br />
<br />
(Read <a href="http://especulacionpura.blogspot.com.ar/2011/03/frases-denotativas-y-descripciones.html">the spanish version</a>)specuhttp://www.blogger.com/profile/18169304068728750631noreply@blogger.com0