<?xml version="1.0" encoding="UTF-8"?><rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
		>
<channel>
	<title>Comments on: In Defense of Symbolic Logic: A Response to Peter Kreeft</title>
	<atom:link href="http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/</link>
	<description>A First Things Blog</description>
	<lastBuildDate>Sat, 25 May 2013 03:12:04 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.5.1</generator>
	<item>
		<title>By: William M Briggs</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-84493</link>
		<dc:creator>William M Briggs</dc:creator>
		<pubDate>Fri, 21 Dec 2012 12:40:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-84493</guid>
		<description><![CDATA[Geach&#039;s article can be found here:

http://www.mediafire.com/?r7tuym1gp06dyji

A PDF download.]]></description>
		<content:encoded><![CDATA[<p>Geach&#8217;s article can be found here:</p>
<p><a href="http://www.mediafire.com/?r7tuym1gp06dyji" rel="nofollow">http://www.mediafire.com/?r7tuym1gp06dyji</a></p>
<p>A PDF download.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Logic old and new &#171; The Philosophical Apprentice</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83668</link>
		<dc:creator>Logic old and new &#171; The Philosophical Apprentice</dc:creator>
		<pubDate>Sat, 15 Dec 2012 02:45:11 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83668</guid>
		<description><![CDATA[[...] Randolph Brafford has published  a rejoinder defending symbolic logic which can be found on the First Thoughts Blog. [...]]]></description>
		<content:encoded><![CDATA[<p>[...] Randolph Brafford has published  a rejoinder defending symbolic logic which can be found on the First Thoughts Blog. [...]</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Walt</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83586</link>
		<dc:creator>Walt</dc:creator>
		<pubDate>Fri, 14 Dec 2012 15:55:00 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83586</guid>
		<description><![CDATA[Michael PS,

Well yes, so if this problem effects both logic and natural language, why is everyone harping on symbolic logic?  Aristotelian logic is just as vulnerable because it uses natural language.]]></description>
		<content:encoded><![CDATA[<p>Michael PS,</p>
<p>Well yes, so if this problem effects both logic and natural language, why is everyone harping on symbolic logic?  Aristotelian logic is just as vulnerable because it uses natural language.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Michael PS</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83580</link>
		<dc:creator>Michael PS</dc:creator>
		<pubDate>Fri, 14 Dec 2012 15:07:05 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83580</guid>
		<description><![CDATA[Walt

It is a problem for both.  See my remarks on Wittgenstein above]]></description>
		<content:encoded><![CDATA[<p>Walt</p>
<p>It is a problem for both.  See my remarks on Wittgenstein above</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Walt</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83579</link>
		<dc:creator>Walt</dc:creator>
		<pubDate>Fri, 14 Dec 2012 15:05:53 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83579</guid>
		<description><![CDATA[Adam Murray,

&quot;I might point out that the problem is not necessarily a failure to define terms. The problem is exploiting the social value of a word in order to dismiss someone else’s logic.&quot;

--Again, why is this a problem facing symbolic logic but not ordinary language?  If my opponent calls me a &#039;bigot&#039; to avoid addressing my argument, my opponent is not even using symbolic logic.  He is merely exploiting the social value of a word--as you rightly said.

More importantly, calling me a &#039;bigot&#039; is a fallacious Red-herring, an ad hominem, a form of mising the point.  So even if I WERE a bigot and what I said was bigoted, this is not a counterexample to the truth of what I said, nor does it undermine the validity of my argument.  My opponent could also call me a &#039;sexist&#039; for pointing out that most women do not have as much upper body strength as most men.  But just because he finds my observation personally distasteful, and I am indeed &#039;sexist&#039; by his lights, my alleged &#039;sexism&#039; and his distaste doesn&#039;t make what I said any less true, nor does it undermine the validity of the argument in which this assertion is found.   

The first and foremost problem here is that my opponent refuses to engage in intelligent dialogue, not that he is using symbolic logic to somehow steer the argument in his direction.     We see this happen all the time in our culture, but I don&#039;t see why symbolic logic is the problem.  Isn&#039;t the opposite true?  My opponent is being very ILlogical.


&quot;&quot;Because symbolic logic is propositional, it forms a bond between words and syntax, allowing the user to ignore the pesky task of semantics.&quot;

--But since when does symbolic logic allow this strategy as an acceptable form of argumentation?    A person cannot just start assigning symbols to what he things is the semantic values of words and hope to get an intelligent rebuttal out of it.  You should always define your terms when the words you use are central to your argument!]]></description>
		<content:encoded><![CDATA[<p>Adam Murray,</p>
<p>&#8220;I might point out that the problem is not necessarily a failure to define terms. The problem is exploiting the social value of a word in order to dismiss someone else’s logic.&#8221;</p>
<p>&#8211;Again, why is this a problem facing symbolic logic but not ordinary language?  If my opponent calls me a &#8216;bigot&#8217; to avoid addressing my argument, my opponent is not even using symbolic logic.  He is merely exploiting the social value of a word&#8211;as you rightly said.</p>
<p>More importantly, calling me a &#8216;bigot&#8217; is a fallacious Red-herring, an ad hominem, a form of mising the point.  So even if I WERE a bigot and what I said was bigoted, this is not a counterexample to the truth of what I said, nor does it undermine the validity of my argument.  My opponent could also call me a &#8216;sexist&#8217; for pointing out that most women do not have as much upper body strength as most men.  But just because he finds my observation personally distasteful, and I am indeed &#8216;sexist&#8217; by his lights, my alleged &#8216;sexism&#8217; and his distaste doesn&#8217;t make what I said any less true, nor does it undermine the validity of the argument in which this assertion is found.   </p>
<p>The first and foremost problem here is that my opponent refuses to engage in intelligent dialogue, not that he is using symbolic logic to somehow steer the argument in his direction.     We see this happen all the time in our culture, but I don&#8217;t see why symbolic logic is the problem.  Isn&#8217;t the opposite true?  My opponent is being very ILlogical.</p>
<p>&#8220;&#8221;Because symbolic logic is propositional, it forms a bond between words and syntax, allowing the user to ignore the pesky task of semantics.&#8221;</p>
<p>&#8211;But since when does symbolic logic allow this strategy as an acceptable form of argumentation?    A person cannot just start assigning symbols to what he things is the semantic values of words and hope to get an intelligent rebuttal out of it.  You should always define your terms when the words you use are central to your argument!</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Walt</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83566</link>
		<dc:creator>Walt</dc:creator>
		<pubDate>Fri, 14 Dec 2012 13:54:45 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83566</guid>
		<description><![CDATA[Michael PS,

&quot;But this is impossible, because each term must be defined in terms of others, which leads to a perpetual regress&quot;

--Why is the possibility of an infinite regress a problem only for symbolic logic and not for ordinary language too?]]></description>
		<content:encoded><![CDATA[<p>Michael PS,</p>
<p>&#8220;But this is impossible, because each term must be defined in terms of others, which leads to a perpetual regress&#8221;</p>
<p>&#8211;Why is the possibility of an infinite regress a problem only for symbolic logic and not for ordinary language too?</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Martin Cothran</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83201</link>
		<dc:creator>Martin Cothran</dc:creator>
		<pubDate>Wed, 12 Dec 2012 06:24:12 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83201</guid>
		<description><![CDATA[I am going to go ahead and post a draft of an article I am working on on this issue at my own blog today in case anyone is interested.]]></description>
		<content:encoded><![CDATA[<p>I am going to go ahead and post a draft of an article I am working on on this issue at my own blog today in case anyone is interested.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Martin Cothran</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83200</link>
		<dc:creator>Martin Cothran</dc:creator>
		<pubDate>Wed, 12 Dec 2012 06:21:40 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83200</guid>
		<description><![CDATA[It would probably help if Mr. Brafford read some of the literature from the Aristotelian perspective on this, particularly the work of Henry Veatch. I recommend Two Logics, Intentional Logic, and Logic as a Human Instrument.

The most obvious difference is that symbolic logic assumes without warrant that existential import for particular (but not universal) propositions. The result of just these two assumptions is that five of the traditional 19 valid categorical syllogism forms are rendered invalid, and the &quot;square of opposition&quot; becomes the &quot;cross of opposition,&quot; since three of the four kinds of opposition are eliminated. 

This assumption is embedded in Venn Diagrams commonly used in logic courses.

Another big difference is that, in symbolic logic, all statements are considered truth conditional when they clearly are not. This was one of the reasons why Wittgenstein, who devised the system of truth tables, later repudiated them.

In fact, two of the principals involved in the Principia Mathematica (whence virtually all modern symbolic logic derives) later repudiated the project--Wittgenstein and Alfred North Whitehead. Russell stayed with it, and was not nearly so sanguin as Brafford about the two systems being consistent. 

&quot;I conclude that the Aristotelian doctrines with which we have been concerned in this chapter are wholly false,&quot; he says, in his history of Western philosopy, &quot;with the exception of the formal theory of the syllogism, which is unimportant.&quot;

On the other side, Jacques Maritain says, &quot;Logistics [which is what he calls modern symbolic logic] and logic remain separate disciplines, entirely foreign to one another.&quot;

Brafford says that it must have been possible for nominalists to use Aristotelian logic since nominalism goes back to the 1300s and modern logic does come along until about the turn of the 20th century. That ignores the fact that there was quite a bit of discomfort with a system of logic that philosophers knew was based on Aristotelian metaphysics. The problem was there simply wasn&#039;t any alternative until Frege and Boole began to develop the rudiments of the modern system, a system that was brought to fruition by Bertrand Russell, Whitehead, and Wittgenstein. This was one of the reasons that the then mostly logical positivist (and by implication nominalist) philosophical establishment immediately seized upon it. 

To borrow a phrase from Richard Dawkins, the modern system made it possible to be an intellectually satisfied positivist.

William Barrett has perhaps the best popular account of how all this went down in his Illusion of Technique.

Veatch challenged the academic establishment on its almost exclusive emphasis on symbolic logic and as far as I can find in the journals, no ever responded to him. I asked Kreeft about this one time and he said that, to his knowledge, no one ever did.]]></description>
		<content:encoded><![CDATA[<p>It would probably help if Mr. Brafford read some of the literature from the Aristotelian perspective on this, particularly the work of Henry Veatch. I recommend Two Logics, Intentional Logic, and Logic as a Human Instrument.</p>
<p>The most obvious difference is that symbolic logic assumes without warrant that existential import for particular (but not universal) propositions. The result of just these two assumptions is that five of the traditional 19 valid categorical syllogism forms are rendered invalid, and the &#8220;square of opposition&#8221; becomes the &#8220;cross of opposition,&#8221; since three of the four kinds of opposition are eliminated. </p>
<p>This assumption is embedded in Venn Diagrams commonly used in logic courses.</p>
<p>Another big difference is that, in symbolic logic, all statements are considered truth conditional when they clearly are not. This was one of the reasons why Wittgenstein, who devised the system of truth tables, later repudiated them.</p>
<p>In fact, two of the principals involved in the Principia Mathematica (whence virtually all modern symbolic logic derives) later repudiated the project&#8211;Wittgenstein and Alfred North Whitehead. Russell stayed with it, and was not nearly so sanguin as Brafford about the two systems being consistent. </p>
<p>&#8220;I conclude that the Aristotelian doctrines with which we have been concerned in this chapter are wholly false,&#8221; he says, in his history of Western philosopy, &#8220;with the exception of the formal theory of the syllogism, which is unimportant.&#8221;</p>
<p>On the other side, Jacques Maritain says, &#8220;Logistics [which is what he calls modern symbolic logic] and logic remain separate disciplines, entirely foreign to one another.&#8221;</p>
<p>Brafford says that it must have been possible for nominalists to use Aristotelian logic since nominalism goes back to the 1300s and modern logic does come along until about the turn of the 20th century. That ignores the fact that there was quite a bit of discomfort with a system of logic that philosophers knew was based on Aristotelian metaphysics. The problem was there simply wasn&#8217;t any alternative until Frege and Boole began to develop the rudiments of the modern system, a system that was brought to fruition by Bertrand Russell, Whitehead, and Wittgenstein. This was one of the reasons that the then mostly logical positivist (and by implication nominalist) philosophical establishment immediately seized upon it. </p>
<p>To borrow a phrase from Richard Dawkins, the modern system made it possible to be an intellectually satisfied positivist.</p>
<p>William Barrett has perhaps the best popular account of how all this went down in his Illusion of Technique.</p>
<p>Veatch challenged the academic establishment on its almost exclusive emphasis on symbolic logic and as far as I can find in the journals, no ever responded to him. I asked Kreeft about this one time and he said that, to his knowledge, no one ever did.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Adam Murray</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83124</link>
		<dc:creator>Adam Murray</dc:creator>
		<pubDate>Tue, 11 Dec 2012 19:51:17 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83124</guid>
		<description><![CDATA[Walt, 

I might point out that the problem is not necessarily a failure to define terms. The problem is exploiting the social value of a word in order to dismiss someone else&#039;s logic. So, in my example, the actual argument has a neutral value and is then associated with words that either have a negative or positive social value. Love = 10, Hate = -10. Joe, I think, summarized this nicely as a &#039;fetishization of words&#039;. Because symbolic logic is propositional, it forms a bond between words and syntax, allowing the user to ignore the pesky task of semantics. As, Kreeft&#039;s argument follows, public discourse is then reduced to bullying, and whoever best exploits the propositions is perceived to have the better logic. A good example is the marrying of terms to &#039;civil rights&#039;.

In response to LARGO (and concerning linguistic bullying), I am not equivocating the terms &#039;value&#039; and &#039;meaning&#039; or &#039;definition&#039;. I am using value in the economic and mathematical sense. The danger is not in misunderstanding the connotation, rather in exploiting the socio-cultural economic value of symbols/words that have a currency beyond their specifically symbolic nature. The battle then becomes whose argument can appeal best to a culturally elevated symbol/word. Basically, this gets around the more interesting task, as you seem to be doing, of actually understanding what we are talking about. A task which is deliciously metaphysical, and I would suggest, much more akin to the &#039;Aristotelian&#039; logic that Kreeft is getting at.]]></description>
		<content:encoded><![CDATA[<p>Walt, </p>
<p>I might point out that the problem is not necessarily a failure to define terms. The problem is exploiting the social value of a word in order to dismiss someone else&#8217;s logic. So, in my example, the actual argument has a neutral value and is then associated with words that either have a negative or positive social value. Love = 10, Hate = -10. Joe, I think, summarized this nicely as a &#8216;fetishization of words&#8217;. Because symbolic logic is propositional, it forms a bond between words and syntax, allowing the user to ignore the pesky task of semantics. As, Kreeft&#8217;s argument follows, public discourse is then reduced to bullying, and whoever best exploits the propositions is perceived to have the better logic. A good example is the marrying of terms to &#8216;civil rights&#8217;.</p>
<p>In response to LARGO (and concerning linguistic bullying), I am not equivocating the terms &#8216;value&#8217; and &#8216;meaning&#8217; or &#8216;definition&#8217;. I am using value in the economic and mathematical sense. The danger is not in misunderstanding the connotation, rather in exploiting the socio-cultural economic value of symbols/words that have a currency beyond their specifically symbolic nature. The battle then becomes whose argument can appeal best to a culturally elevated symbol/word. Basically, this gets around the more interesting task, as you seem to be doing, of actually understanding what we are talking about. A task which is deliciously metaphysical, and I would suggest, much more akin to the &#8216;Aristotelian&#8217; logic that Kreeft is getting at.</p>
]]></content:encoded>
	</item>
	<item>
		<title>By: Philip Blosser</title>
		<link>http://www.firstthings.com/blogs/firstthoughts/2012/12/10/kreefts-confusing-logic/comment-page-1/#comment-83109</link>
		<dc:creator>Philip Blosser</dc:creator>
		<pubDate>Tue, 11 Dec 2012 18:01:08 +0000</pubDate>
		<guid isPermaLink="false">http://www.firstthings.com/blogs/firstthoughts/?p=52801#comment-83109</guid>
		<description><![CDATA[Mr. Brafford&#039;s artcle raises some good questions.  I think he may be right to the extent that Kreeft does overstate his case.  Symbolic logic no more prevents one from defining his terms clearly or in reference to the essences of really existing things than Aristotelian logic.

However, I do think Kreeft has a point, and that his point may best be illustrated by an analogy to another &quot;method,&quot; which, like logic (symbolic or otherwise), is often considered &quot;neutral.&quot;

What I have in mind is the &quot;historical-critical method(s)&quot; of interpreting Scripture.  The problem in viewing these methods (source criticism, form criticism, redaction criticism, etc.) as &quot;neutral&quot; is that they arose out of an historical context that was antithetically opposed to the admitting the reality of the supernatural.  What this means is that the &quot;historical-critical method(s),&quot; while &quot;neutral&quot; in one sense, methodologically incline its user toward naturalistic (=anti-supernaturalistic) explanations of the Biblical data.

By analogy, while there is no reason for supposing that symbolic logic cannot be employed by epistemological and metaphysical realists (and it is), there is an inherent tendency of the medium and method to focus on formal relations to the exclusion of content.  These tendencies were given their initial nominalistic impetus by historical figures like Peter Abelard and William of Ockham, but can be seen in Russell and Frega, Goedel, Kripke and other moderns as well.

Like modern science, whch under the influence of Francs Bacon&#039;s exclusion of formal and final causality and Positivism&#039;s legacy of empiriometric methematization of the physical world, symbolic logic inclines its users to focus on formal relations of propositions and syllogisms without much interest or attention to the material content of essential natures by reference to which those terms may be defined.  There is nothing wrong with this as far as it goes.  But as with mathematical physics, its user can sometimes forget that he is dealing with formulae two or three steps removed from the pre-theoretical world he inhabits, and sometimes he may even cease to care about that fact. 

And that, as Adam Murray so nicely suggests, can be a problem.]]></description>
		<content:encoded><![CDATA[<p>Mr. Brafford&#8217;s artcle raises some good questions.  I think he may be right to the extent that Kreeft does overstate his case.  Symbolic logic no more prevents one from defining his terms clearly or in reference to the essences of really existing things than Aristotelian logic.</p>
<p>However, I do think Kreeft has a point, and that his point may best be illustrated by an analogy to another &#8220;method,&#8221; which, like logic (symbolic or otherwise), is often considered &#8220;neutral.&#8221;</p>
<p>What I have in mind is the &#8220;historical-critical method(s)&#8221; of interpreting Scripture.  The problem in viewing these methods (source criticism, form criticism, redaction criticism, etc.) as &#8220;neutral&#8221; is that they arose out of an historical context that was antithetically opposed to the admitting the reality of the supernatural.  What this means is that the &#8220;historical-critical method(s),&#8221; while &#8220;neutral&#8221; in one sense, methodologically incline its user toward naturalistic (=anti-supernaturalistic) explanations of the Biblical data.</p>
<p>By analogy, while there is no reason for supposing that symbolic logic cannot be employed by epistemological and metaphysical realists (and it is), there is an inherent tendency of the medium and method to focus on formal relations to the exclusion of content.  These tendencies were given their initial nominalistic impetus by historical figures like Peter Abelard and William of Ockham, but can be seen in Russell and Frega, Goedel, Kripke and other moderns as well.</p>
<p>Like modern science, whch under the influence of Francs Bacon&#8217;s exclusion of formal and final causality and Positivism&#8217;s legacy of empiriometric methematization of the physical world, symbolic logic inclines its users to focus on formal relations of propositions and syllogisms without much interest or attention to the material content of essential natures by reference to which those terms may be defined.  There is nothing wrong with this as far as it goes.  But as with mathematical physics, its user can sometimes forget that he is dealing with formulae two or three steps removed from the pre-theoretical world he inhabits, and sometimes he may even cease to care about that fact. </p>
<p>And that, as Adam Murray so nicely suggests, can be a problem.</p>
]]></content:encoded>
	</item>
</channel>
</rss>
