E. B. sent this:
http://www.logicmuseum.com/wiki/Logical_form_(Lukasiewicz)
“When, for instance, asserting the implication 'If all philosophers are men, then all philosophers are mortal' you would also assert as second premiss the sentence 'Every philosopher is a man', you could not get from these premisses the conclusion 'All philosophers are mortal', because you would have no guarantee that the sentence 'Every philosopher is a man' represents the same thought as the sentence 'All philosophers are men'. It would be necessary to confirm by means of a definition that 'Every A is B' means the same as 'All A's are B's'; on the ground of this definition replace the sentence 'Every philosopher is a man' by the sentence 'All philosophers are men', and only then will it be possible to get the conclusion. By this example you can easily comprehend the meaning of formalism. Formalism requires that exactly the same thought should always be expressed by means of exactly the same series of words ordered in exactly the same manner.”
My emphasis.
Suppose we compare the following two argument displays:
If all philosophers are men, then all philosophers are mortal
All philosophers are men
----
All philosophers are mortal.If every philosopher is a man, then all philosophers are mortal
All philosophers are men
----
All philosophers are mortal.
Are they both valid, or is only the first valid? Lukasiewicz is telling us in effect that only the first is valid. No doubt the first is valid: it instantiates the valid argument form, modus ponendo ponens. But then, by my lights, so does the second. So both arguments are valid.
But it all depends on what we take an argument to be. I hold that an argument is not the same as an argument display. A necessary but not sufficient condition of anything's being an argument is that it be a sequence of propositions. A proposition is not the same as a sentence in the indicative mood. Die Sonne scheint and 'The sun shines' are two different indicative sentence tokens in two different languages. And yet they 'say the same thing' or rather can be used by the same or different speakers to say the same thing. We accommodate this fact by introducing a species of abstract object we call propositions or thoughts, the latter word used by L. above. The sentences cited express one and the same proposition or thought. Similarly with 'All philosophers are men' and 'Every man is a philosopher.' They express the same proposition.
So above what we have are two different ways of displaying one and the same argument. Since that argument instantiates a valid argument form, the argument is valid.
Consider now these two argument displays:
Omnis homo mortalis est
Sokrates homo est
-------
Sockrates mortalis est.Every man is mortal
Socrates is a man
-----
Socrates is mortal.
How many arguments? One or two? One. One and the same argument is expressed in two different languages. I conclude that an argument is not the same a collection of sentences. Sentences are physical (marks on paper, pixels on a screen, acoustic disturbances); propositions are not. They are not seen with the eyes or heard with the ears or felt (as in Braille) with the fingers; they are understood by the mind.
Finally, L. speaks of exactly the same series of words ordered in exactly the same manner. Same words in the same order? But how do we know that the words are the same? Is it because they have the same letters in the same order? By that criterion, 'war' in the following two sentences is the same word:
Ich war ein Soldat.
I went to war.
But the two series of letters in the same order are not the same word.
Now consider this array:
All philosophers are men.
Philosophers are, all of them, men.
Every philosopher is a man.
These sentences 'say the same thing,' i.e., they express the same proposition or thought. I know that because I understand English. To understand English is to understand the meanings of English words and sentences. Meanings are understood by the mind not perceived by the sense organs.
Comments