<?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/"
	xmlns:creativeCommons="http://backend.userland.com/creativeCommonsRssModule"
	>
<channel>
	<title>Comentarios en: Eso que llamamos Lógica (IX) La inferencia lógica.</title>
	<atom:link href="https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/feed/" rel="self" type="application/rss+xml" />
	<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/</link>
	<description>Comparte conocimiento.</description>
	<lastBuildDate>Thu, 12 Mar 2026 17:38:12 +0000</lastBuildDate>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.4.2</generator>
	<item>
		<title>Por: Macluskey</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8489</link>
		<dc:creator>Macluskey</dc:creator>
		<pubDate>Fri, 25 May 2012 17:31:25 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8489</guid>
		<description>&lt;p&gt;Gracias, amigos, por los (inmerecidos) elogios. Apenas me he dedicado a poner en limpio esos viejos apuntes...&lt;/p&gt;

&lt;p&gt;Si han servido para algo, estupendo.&lt;/p&gt;

&lt;p&gt;Eso sí... ¡qué vaguetes somos todos! En fin, siempre podéis acudir al capítulo que deseéis e intentar seguirlo. O esperar a que publique el PDF de la serie, ahora que tenemos una estupenda página de &quot;libros de El Cedazo&quot;...&lt;/p&gt;

&lt;p&gt;Saludos a todos.&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Gracias, amigos, por los (inmerecidos) elogios. Apenas me he dedicado a poner en limpio esos viejos apuntes&#8230;</p>

<p>Si han servido para algo, estupendo.</p>

<p>Eso sí&#8230; ¡qué vaguetes somos todos! En fin, siempre podéis acudir al capítulo que deseéis e intentar seguirlo. O esperar a que publique el PDF de la serie, ahora que tenemos una estupenda página de &#8220;libros de El Cedazo&#8221;&#8230;</p>

<p>Saludos a todos.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Lluis</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8488</link>
		<dc:creator>Lluis</dc:creator>
		<pubDate>Fri, 25 May 2012 03:32:30 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8488</guid>
		<description>&lt;p&gt;Gracias, Macluskey. Una serie de artículos estupenda. Precisa y entretenida. Como dice Voro, al principio fui haciendo los deberes... pero poco duró mi buena voluntad. Tengo que volver sobre esta serie, aún le puedo sacar más placer.
Respecto al uso del álgebra de Boole, sí que recurro a ella en el trabajo (tb soy informático), pero también en la vida diaria... me pasa con frecuencia, en charlas de amigos, detectar cadenas de afirmaciones incoherentes. Ya no se me ocurre apostillar &quot;ojo, si dices esto, y esto, y esto... necesariamente se deduce esto, te pongas como te pongas&quot;. Jamás, jamas, ha servido para que alguien se retracte de alguna incoherencia. :)&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Gracias, Macluskey. Una serie de artículos estupenda. Precisa y entretenida. Como dice Voro, al principio fui haciendo los deberes&#8230; pero poco duró mi buena voluntad. Tengo que volver sobre esta serie, aún le puedo sacar más placer.
Respecto al uso del álgebra de Boole, sí que recurro a ella en el trabajo (tb soy informático), pero también en la vida diaria&#8230; me pasa con frecuencia, en charlas de amigos, detectar cadenas de afirmaciones incoherentes. Ya no se me ocurre apostillar &#8220;ojo, si dices esto, y esto, y esto&#8230; necesariamente se deduce esto, te pongas como te pongas&#8221;. Jamás, jamas, ha servido para que alguien se retracte de alguna incoherencia. <img src='https://eltamiz.com/elcedazo/wp-includes/images/smilies/icon_smile.gif' alt=':)' class='wp-smiley' /> </p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Ammonio</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8482</link>
		<dc:creator>Ammonio</dc:creator>
		<pubDate>Thu, 24 May 2012 13:24:54 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8482</guid>
		<description>&lt;p&gt;Macluskey, sobrel los significados de las letras de los modos silogísticos:&lt;/p&gt;

&lt;p&gt;Pág 556 (en castellano) y página 1098 en latín del documento que aportas.&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Macluskey, sobrel los significados de las letras de los modos silogísticos:</p>

<p>Pág 556 (en castellano) y página 1098 en latín del documento que aportas.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: AntonioE</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8476</link>
		<dc:creator>AntonioE</dc:creator>
		<pubDate>Wed, 23 May 2012 09:10:31 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8476</guid>
		<description>&lt;p&gt;Gracias por la serie. Siempre me dio rabia no haber dado lógica en el instituto, en los últimos estertores del BUP. Y por fin me reconcilio con la &quot;ilógica&quot; álgebra de Boole, que afirmaba eso de 1+1=1 ¡y se quedaba tan ancha! XD&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Gracias por la serie. Siempre me dio rabia no haber dado lógica en el instituto, en los últimos estertores del BUP. Y por fin me reconcilio con la &#8220;ilógica&#8221; álgebra de Boole, que afirmaba eso de 1+1=1 ¡y se quedaba tan ancha! XD</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Ammonio</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8475</link>
		<dc:creator>Ammonio</dc:creator>
		<pubDate>Wed, 23 May 2012 08:36:24 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8475</guid>
		<description>&lt;p&gt;Me equivoqué otra vez:&lt;/p&gt;

&lt;p&gt;...hemos de concluir, por reducción al absurdo, que “algún B no es C” (conclusión del primer silogismo) es cierto, mientras que “todo B es C” (CONTRADICTORIO DE LA CONCLUSIÓN DEL PRIMER SILOGISMO) es necesariamente falso. Cosas de la lógica bivalente.&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Me equivoqué otra vez:</p>

<p>&#8230;hemos de concluir, por reducción al absurdo, que “algún B no es C” (conclusión del primer silogismo) es cierto, mientras que “todo B es C” (CONTRADICTORIO DE LA CONCLUSIÓN DEL PRIMER SILOGISMO) es necesariamente falso. Cosas de la lógica bivalente.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Ammonio</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8474</link>
		<dc:creator>Ammonio</dc:creator>
		<pubDate>Tue, 22 May 2012 23:35:47 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8474</guid>
		<description>&lt;p&gt;Juan Carlos, gracias, pero no es para tanto.&lt;/p&gt;

&lt;p&gt;Sobre lo de escribir aquí... , soy malísmo escribiendo. Un mensaje me puede llevar más de una hora de escritura (con borrados y reescrituras varias).&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Juan Carlos, gracias, pero no es para tanto.</p>

<p>Sobre lo de escribir aquí&#8230; , soy malísmo escribiendo. Un mensaje me puede llevar más de una hora de escritura (con borrados y reescrituras varias).</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Ammonio</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8472</link>
		<dc:creator>Ammonio</dc:creator>
		<pubDate>Tue, 22 May 2012 23:34:24 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8472</guid>
		<description>&lt;p&gt;Juan Carlos, gracias, pero no es para tanto.&lt;/p&gt;

&lt;p&gt;Sobre lo de escibir aquí... , soy malísmo escribiendo. Un mensaje me puede llevar más de una hora de escritura con borrados y reescrituras varias.&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Juan Carlos, gracias, pero no es para tanto.</p>

<p>Sobre lo de escibir aquí&#8230; , soy malísmo escribiendo. Un mensaje me puede llevar más de una hora de escritura con borrados y reescrituras varias.</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Ammonio</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8471</link>
		<dc:creator>Ammonio</dc:creator>
		<pubDate>Tue, 22 May 2012 23:09:38 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8471</guid>
		<description>&lt;p&gt;Ummmhhhh!&lt;/p&gt;

&lt;p&gt;No me convence la explicación, Macluskey, y debe de estar mal el libro que citas.&lt;/p&gt;

&lt;p&gt;Aristóteles usa dos métodos para la ecthesis. El primero suponiendo un 4 término  (realizando, por tanto, un sorites). El segundo mediante una reducción al absurdo. En ningún caso echa mano de una conversión por contraposición de premisas (per contrapositionem).&lt;/p&gt;

&lt;p&gt;El proceso de Aristóteles es el siguiente para bOcArdO:&lt;/p&gt;

&lt;p&gt;Algún A no es C
Todo A es B
Luego, algún B no es C&lt;/p&gt;

&lt;p&gt;1) Asumimos la contradictoria de la conclusión (O -&gt; A en el cuadro de oposiciones) y lo ponemos como premisa de un nuevo silogismo&lt;/p&gt;

&lt;p&gt;2) Como segunda premisa tomamos la premisa del primer silogismo que no esté precediendo a la letra &quot;c&quot; (Ni el bOcArdO ni en bArOcO se nos indica que haya que hacer alguna conversión con él, es decir, no está seguido de &quot;m&quot;, &quot;s&quot; ni &quot;p&quot;. Por lo tanto lo dejamos tal cual)&lt;/p&gt;

&lt;p&gt;3) La conclusión del nuevo silogismo ha de ser necesariamente el contradictorio de la premisa precedida por &quot;c&quot;&lt;/p&gt;

&lt;p&gt;Todo B es C (contradictorio de la conclusión)
Todo A es B (premisa que no precede a &quot;c&quot;)
luego, todo A es C.&lt;/p&gt;

&lt;p&gt;Pero como habíamos dicho en el primer silogismo que lo cierto era que &quot;algún A no era C&quot;, hemos de concluir, por reducción al absurdo, que &quot;algún B no es C&quot; es cierto, mientras que &quot;todo B es C&quot; (conclusión del segundo silogismo) es necesariamente falso. Cosas de la lógica bivalente.&lt;/p&gt;

&lt;p&gt;Por tanto, la &quot;c&quot;, de significar algo, significaría  contradicción, nunca contraposición. La cosa es más que evidente, pero esto es algo que nunca he podido leer en una summa lógica medieval.&lt;/p&gt;

&lt;p&gt;Si pillara al menos un ejemplar de la edición de 1952 de las obras completas  de Pedro Hispano... (lo fotocopiaba hasta que la intensa luz de la fotocopiadora borrara las letras je, je, je)&lt;/p&gt;

&lt;p&gt;Una reivindicación: Libro descatalogado, libro que ha de perder el copyrigth&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Ummmhhhh!</p>

<p>No me convence la explicación, Macluskey, y debe de estar mal el libro que citas.</p>

<p>Aristóteles usa dos métodos para la ecthesis. El primero suponiendo un 4 término  (realizando, por tanto, un sorites). El segundo mediante una reducción al absurdo. En ningún caso echa mano de una conversión por contraposición de premisas (per contrapositionem).</p>

<p>El proceso de Aristóteles es el siguiente para bOcArdO:</p>

<p>Algún A no es C
Todo A es B
Luego, algún B no es C</p>

<p>1) Asumimos la contradictoria de la conclusión (O -&gt; A en el cuadro de oposiciones) y lo ponemos como premisa de un nuevo silogismo</p>

<p>2) Como segunda premisa tomamos la premisa del primer silogismo que no esté precediendo a la letra &#8220;c&#8221; (Ni el bOcArdO ni en bArOcO se nos indica que haya que hacer alguna conversión con él, es decir, no está seguido de &#8220;m&#8221;, &#8220;s&#8221; ni &#8220;p&#8221;. Por lo tanto lo dejamos tal cual)</p>

<p>3) La conclusión del nuevo silogismo ha de ser necesariamente el contradictorio de la premisa precedida por &#8220;c&#8221;</p>

<p>Todo B es C (contradictorio de la conclusión)
Todo A es B (premisa que no precede a &#8220;c&#8221;)
luego, todo A es C.</p>

<p>Pero como habíamos dicho en el primer silogismo que lo cierto era que &#8220;algún A no era C&#8221;, hemos de concluir, por reducción al absurdo, que &#8220;algún B no es C&#8221; es cierto, mientras que &#8220;todo B es C&#8221; (conclusión del segundo silogismo) es necesariamente falso. Cosas de la lógica bivalente.</p>

<p>Por tanto, la &#8220;c&#8221;, de significar algo, significaría  contradicción, nunca contraposición. La cosa es más que evidente, pero esto es algo que nunca he podido leer en una summa lógica medieval.</p>

<p>Si pillara al menos un ejemplar de la edición de 1952 de las obras completas  de Pedro Hispano&#8230; (lo fotocopiaba hasta que la intensa luz de la fotocopiadora borrara las letras je, je, je)</p>

<p>Una reivindicación: Libro descatalogado, libro que ha de perder el copyrigth</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Macluskey</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8470</link>
		<dc:creator>Macluskey</dc:creator>
		<pubDate>Tue, 22 May 2012 18:47:57 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8470</guid>
		<description>&lt;p&gt;@Ammonio&lt;/p&gt;

&lt;p&gt;No te lo vas a creer, pero en base a lo que has comentado antes, y haciendo uso de la Lógica que hemos aprendido en la serie ;) he encontrado una &quot;Súmula&quot; de &quot;Dialectica Minor&quot; no medieval, sino de principios del Siglo XVIII, en una Tesis Doctoral que Jesús Alberto López Cardenete leyó en la Universidad de Granada. Allí explica la Súmula de P. Blas de Salas de 1730 o así con mucho detalle. Pero mucho.&lt;/p&gt;

&lt;p&gt;Éste es el link: &quot;http://digibug.ugr.es/bitstream/10481/758/1/15665252.pdf&quot;&lt;/p&gt;

&lt;p&gt;Sobre la página 480 explica las &quot;proposiciones modales&quot;, sus reglas de conversión, etc... Así, la &quot;C&quot; que te faltaba es &quot;Per contrapositionem&quot;, donde &quot;los términos finitos se vuelven infinitos&quot; (¡¡??) y luego explica las conversiones entre figuras de silogismos, por qué cada modo sólo es de una figura y cómo deben ser las conversiones...&lt;/p&gt;

&lt;p&gt;Y para acabar, ha copiado toda la Sumula original en perfecto latín, para el que sepa. Latín, quiero decir.&lt;/p&gt;

&lt;p&gt;En fin, a mí me sobrepasa por mucho, pero igual un entendido como tú, querido Ammonio,  disfruta con su lectura. Son como 650 páginas, más otras tantas en el latín original.&lt;/p&gt;

&lt;p&gt;Espero que mi pequeño descubrimiento te parezca interesante.&lt;/p&gt;

&lt;p&gt;Saludos&lt;/p&gt;

&lt;p&gt;Mac&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>@Ammonio</p>

<p>No te lo vas a creer, pero en base a lo que has comentado antes, y haciendo uso de la Lógica que hemos aprendido en la serie <img src='https://eltamiz.com/elcedazo/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' />  he encontrado una &#8220;Súmula&#8221; de &#8220;Dialectica Minor&#8221; no medieval, sino de principios del Siglo XVIII, en una Tesis Doctoral que Jesús Alberto López Cardenete leyó en la Universidad de Granada. Allí explica la Súmula de P. Blas de Salas de 1730 o así con mucho detalle. Pero mucho.</p>

<p>Éste es el link: &#8220;http://digibug.ugr.es/bitstream/10481/758/1/15665252.pdf&#8221;</p>

<p>Sobre la página 480 explica las &#8220;proposiciones modales&#8221;, sus reglas de conversión, etc&#8230; Así, la &#8220;C&#8221; que te faltaba es &#8220;Per contrapositionem&#8221;, donde &#8220;los términos finitos se vuelven infinitos&#8221; (¡¡??) y luego explica las conversiones entre figuras de silogismos, por qué cada modo sólo es de una figura y cómo deben ser las conversiones&#8230;</p>

<p>Y para acabar, ha copiado toda la Sumula original en perfecto latín, para el que sepa. Latín, quiero decir.</p>

<p>En fin, a mí me sobrepasa por mucho, pero igual un entendido como tú, querido Ammonio,  disfruta con su lectura. Son como 650 páginas, más otras tantas en el latín original.</p>

<p>Espero que mi pequeño descubrimiento te parezca interesante.</p>

<p>Saludos</p>

<p>Mac</p>
]]></content:encoded>
	</item>
	<item>
		<title>Por: Juan Carlos</title>
		<link>https://eltamiz.com/elcedazo/2012/05/20/eso-que-llamamos-logica-ix-la-inferencia-logica/comment-page-1/#comment-8468</link>
		<dc:creator>Juan Carlos</dc:creator>
		<pubDate>Tue, 22 May 2012 13:55:51 +0000</pubDate>
		<guid isPermaLink="false">http://eltamiz.com/elcedazo/?p=14616#comment-8468</guid>
		<description>&lt;p&gt;Bueno, si. He usado el álgebra de Boole en programación por mas de una década, lo que me refería es que lo hice &quot;sin pensar que era álgebra de Boole&quot; ;)&lt;/p&gt;

&lt;p&gt;Wow Ammonio, deberías escribir un artículo. O dos.&lt;/p&gt;

&lt;p&gt;Saludos&lt;/p&gt;
</description>
		<content:encoded><![CDATA[<p>Bueno, si. He usado el álgebra de Boole en programación por mas de una década, lo que me refería es que lo hice &#8220;sin pensar que era álgebra de Boole&#8221; <img src='https://eltamiz.com/elcedazo/wp-includes/images/smilies/icon_wink.gif' alt=';)' class='wp-smiley' /> </p>

<p>Wow Ammonio, deberías escribir un artículo. O dos.</p>

<p>Saludos</p>
]]></content:encoded>
	</item>
</channel>
</rss>
