You are viewing the historical archive of The Philosophy Forum.
For current discussions, visit the live forum.
Go to live forum

Monism, Pluralism, and Instrumentalism in Logic

Shawn July 13, 2018 at 21:51 10950 views 17 comments
Following are exerts from Susan Haack's, Philosophy of Logics. A good book by all means.

Monism states that there is just one correct system of logic.
Pluralism states that there is more than one correct system in logic.
Instrumentalism states that there is no "correct" logic; the notion of correctness is inappropriate.

Below is a schematic from the book that might serve as a mental template differentiating between the three versions of the metaphysical and epistemological questions about logic:

User image

First, some comments about the conception of correctness which both monism and pluralism require: this conception depends upon a distinction between system-relative and extra-systematic validity/logical truth; roughly, a logical system is correct if the formal arguments which are valid in that system correspond to informal arguments which are logically true in the system correspond to statements which are logically true in the extra-systematic sense. The monist holds that there is a unique logical system which is correct in this sense, the pluralist that there are several.

The point is that the difference between a pluralism which admits classical logic and its extensions (or a deviant logic and its extensions) as both correct systems of logic, and a monism which admits both classical logic and its extensions (or a deviant logic and its extensions) as both fragments of the correct system of logic, is only verbal.

The instrumentalist position results from a rejection of the idea of the 'correctness' of a logical system, an idea idea accepted by both monists and pluralists.

An instrumentalist will only allow the 'internal' question, whether a logical system is sound, whether that is all and only the theorems/syntactically valid arguments of the system are logically true/valid in the system.

An illustration is the meaning-variance thesis proposed by Feyerabend's, which states: that the meanings of theoretical terms in science depend upon the theories in which they occur, so that there is failure of rivalry between alternative, apparently competing, scientific theories.

Another version of instrumentalism seems to derive from a refusal to apply any idea of truth, even a system-relative idea, to logic. Logic, it is argued, is not to be thought of as a set of statements, as a theory to be assessed as true or false; rather, it is to be thought of as a set of rules or procedures, to which the concepts of truth and falsity simply don't apply.

The issues summarized:
Does it make sense to speak of a logical system as correct or incorrect? Are the extra systematic conceptions of validity/logical truth by means of which to characterize what it is for a logic to be correct?

Furthermore,
Must a logical system aspire to global application i.e. to represent reasoning irrespective of subject matter, or may a logic be locally correct, i.e. correct within a limited area of discourse?

So, upon becoming acquainted or re-acquainted with the following types of metaphysical statements about logic, as to whether there's just one correct logical system, or a plurality of them, or even the irrelevance of the question manifest in instrumentalism, what would you answer in the poll?

Comments (17)

Shawn July 13, 2018 at 21:57 #196597
Hmm, if a moderator could please re-include "Monism" into the poll, for some reason it got left out.

Thanks.
Janus July 13, 2018 at 22:23 #196603
Quoting Posty McPostface
Monism states that there is just one correct system of logic.
Pluralism states that there is more than one correct system in logic.
Instrumentalism states that there is no "correct" logic; the notion of correctness is inappropriate.


What does "correct" mean in relation to logics? Does it mean 'consistent' or 'true'? There is certainly more than one kind of logic. A logic is a methodology of thought, and it would not seem to make sense to say that you could have a methodology without internal consistency. If truth is the criterion of "correctness" then you would need to explain what it could mean for a logic to be true. Logical arguments are judged according to their validity; whether they are true actually has nothing to do with the logic at all.

So I would agree that the notion of correctness is inappropriate if correctness is understood to be equivalent to truth, but it would not seem to be inappropriate if correctness is understood to correspond to internal consistency. I would say pluralism is the right choice, and that pluralism is not inconsistent with instrumentalism, because a logic would fail to be instrumental if it lacked methodological consistency.

Although having said that instrumentalism is right only insofar as it rejects the idea that correctness means truth. If it accepts that correctness means methodological consistency then it is false to say that the notion of correctness is inappropriate, even though to say under that assumption that correctness is appropriate would seem to be a trivial truism.
Shawn July 13, 2018 at 23:36 #196623
Quoting Janus
What does "correct" mean in relation to logics?


Yes, I take it as internally consistent here, and if that follows, then true and valid.

Quoting Janus
There is certainly more than one kind of logic.


Yes, there is, what's your point?

Quoting Janus
A logic is a methodology of thought, and it would not seem to make sense to say that you could have a methodology without internal consistency.


According to the instrumentalist yes, and global pluralist.

Quoting Janus
If truth is the criterion of "correctness" then you would need to explain what it could mean for a logic to be true.


Internal consistency does that for you, or 'logic takes care of itself'.

Quoting Janus
So I would agree that the notion of correctness is inappropriate if correctness is understood to be equivalent to truth, but it would not seem to be inappropriate if correctness is understood to correspond to internal consistency.


Both go along together I suppose, depending on whether your a monist, pluralist and even an instrumentalist. So, yeah, we're talking about tautologies. I think this is me speaking as a monist.

Quoting Janus
I would say pluralism is the right choice, and that pluralism is not inconsistent with instrumentalism, because a logic would fail to be instrumental if it lacked methodological consistency.


I agree.

Quoting Janus
Although having said that instrumentalism is right only insofar as it rejects the idea that correctness means truth. If it accepts that correctness means methodological consistency then it is false to say that the notion of correctness is inappropriate, even though to say under that assumption that correctness is appropriate would seem to be a trivial truism.


Not that trivial. Again, speaking as a monist, I think.
Shawn July 13, 2018 at 23:44 #196628
One thought that bugs me is that if Godel disproved the internal consistency of any finite logical system to be self proving, and thus requires extra-systematic appeals to another logical system to validate proofs or wff statements. If, so, then we are indeed left with, I think, either instrumentalism or local pluralism. Asserting monism in this case is possible, but meaningless.

Yes?
Wayfarer July 14, 2018 at 00:02 #196635
Quoting Posty McPostface
Monism states that there is just one correct system of logic.


I think I could take issue with this, as I think that the whole idea is extrapolated from 'monotheism'. This is the idea that there is but 'one true God', and that, by implication, other gods, and non-theistic philosophies, are incorrect.

I mean, if you think back to Aristotelian logic, I don't think it is said that there is 'one correct system of logic', although I suppose it might be an implicit meaning.

But I think this approach tends to blur the lines between epistemology and metaphysics. I think you can uphold a logically rigorous outlook, without having to say that there is only one correct system of logic. I suppose you would be saying that some propositions are logical and some are not, but whether that amounts to an assertion about there being 'one system of logic', I'm not sure.
Shawn July 14, 2018 at 00:08 #196637
Reply to Wayfarer

Yes, it's a meaningless claim to make in totality due to Godel's Incompleteness Theorems. I think.
frank July 14, 2018 at 00:11 #196639
Instrumentalists are antirealists. That's about all I have in common with them.
Janus July 14, 2018 at 23:09 #196867
Quoting Posty McPostface
Yes, I take it as internally consistent here, and if that follows, then true and valid.


The thing is that logical arguments, when consistent and when the conclusions are "contained in" the premises, are said to be valid. The validity of arguments, though, say nothing about their truth. The truth of an argument depends on the soundness of its premises.

So, that's why I think it is inappropriate to apply the notion of truth to logics, because logic in general is not about truth but about validity. But then maybe I misunderstood you, maybe you want to ask the "ontological" question about logic; whether logic(s) "reflect(s) reality", or something like that? If that is accepted as a coherent question, then I suppose the question as to whether there is more than one logic which reflects reality could be asked. Is it a coherent question, though?
Deleted User July 14, 2018 at 23:36 #196870
This user has been deleted and all their posts removed.
Shawn July 15, 2018 at 03:23 #196940
Quoting Janus
But then maybe I misunderstood you, maybe you want to ask the "ontological" question about logic; whether logic(s) "reflect(s) reality", or something like that? If that is accepted as a coherent question, then I suppose the question as to whether there is more than one logic which reflects reality could be asked. Is it a coherent question, though?


Yes, that was the question. I'm not sure how one goes about proving or surmising it. Hence, why I brought up Godel. Is this one of those, whereof one cannot speak, thereof one ought remain silent, moments?
Shawn July 15, 2018 at 03:25 #196942
Quoting tim wood
Proofs within P are perfectly good - no need for "extra-systematic appeals" to anything.


Yes, but, when one goes about trying to prove truths within any sufficiently complex formal system, then one will run into cases where such proofs are unobtainable within that very formal system, according to Godel. Hence, a new extra-systematic system must be incorporated, and hence, monism fails, and pluralism prevails, or even instrumentalism.
Shawn July 15, 2018 at 03:33 #196948
[disregard]
Deleted User July 15, 2018 at 04:52 #196972
This user has been deleted and all their posts removed.
Shawn July 15, 2018 at 05:01 #196978
Quoting tim wood
Kindly show how Godel's undecidable proposition has anything to do with anything other than just itself.


By extension doesn't it apply to all formal systems? I'm sorry; but, asking for proof would be a monumental task.
Janus July 15, 2018 at 10:01 #197042
Quoting Posty McPostface
Is this one of those, whereof one cannot speak, thereof one ought remain silent, moments?


Now, that's hard to say!
Deleted User July 15, 2018 at 14:54 #197090
This user has been deleted and all their posts removed.
Shawn July 15, 2018 at 17:25 #197117
Quoting tim wood
The real danger is not that it will bite anyone, but rather will make yours and my ignorance obvious.


:sweat: