{"id":16,"date":"2010-09-21T18:29:03","date_gmt":"2010-09-21T18:29:03","guid":{"rendered":"https:\/\/blogs.ua.es\/alvaroyuste\/?p=16"},"modified":"2010-09-21T19:00:24","modified_gmt":"2010-09-21T19:00:24","slug":"%c2%bfcomo-razonar-con-logica","status":"publish","type":"post","link":"https:\/\/blogs.ua.es\/alvaroyuste\/2010\/09\/21\/%c2%bfcomo-razonar-con-logica\/","title":{"rendered":"\u00bfC\u00f3mo razonar con L\u00f3gica?"},"content":{"rendered":"<p>En la clase te\u00f3rica de hoy hemos abordado el tema 1 y parte del 2. Asi hemos empezado a conocer los procedimientos que regulan el avance correcto de los desarrollos racionales, hemos aprendido a razonar (deductivamente, no inductivamente) de una manera rigurosamente universal, utilizando la <strong>L\u00f3gica Formal de Primer Orden. <\/strong><\/p>\n<p><strong><\/strong>La mente humana es capaz de razonar, de resolver problemas, relacionando ideas de forma natural; pero inevitablemente cometemos errores al caer en ambig\u00fcedades propias del lenguaje cotidiano. Para solventar estos problemas y garantizar la universalidad de la L\u00f3gica se han creado los &#8220;<strong>lenguajes formales<\/strong>&#8220;: abstractos, vacios de contenido, centrados solamente en la estructura de las derivaciones, susceptibles a an\u00e1lisis matem\u00e1ticos.<\/p>\n<p>Las herramientas de esta L\u00f3gica Formal son las f\u00f3rmulas l\u00f3gicas (p, q^r&#8230;), llamadas <strong>proposiciones<\/strong>. Una proposici\u00f3on puede ser verdadera o falsa, pero tiene que declarar algun hecho o realidad. Seg\u00fan sean indivisibles o compuestas se llamar\u00e1n at\u00f3micas o moleculares. Las at\u00f3micas carecen de <strong>conexiones l\u00f3gicas <\/strong>y las moleculares las poseen. Dependiendo de las conexiones podemos encontrar proposiciones moleculares <strong>conjuntivas<\/strong> (&#8220;y&#8221;, &#8220;^&#8221;, adicci\u00f3n), <strong>disyuntivas<\/strong> (&#8220;o&#8221;, &#8220;v&#8221;), <strong>condicionales<\/strong> (&#8220;si&#8230; entonces&#8230;&#8221;,&#8221;-&gt;&#8221;, con antecedente y consecuente) y <strong>bicondicionales<\/strong> (&#8220;&#8230; equivale a&#8230;&#8221;, &#8220;&lt;-&gt;&#8221;). Tambien existen proposiciones at\u00f3micas de dos clases: positivas (p) o negativas (\u00acp)<\/p>\n<p>En el razonamiento deductivo, estas proposiciones pueden formar parte de las <strong>premisas<\/strong> (P1, P2&#8230; Pn), de donde se parte para, tras la <strong>inferencia<\/strong>, llegar a la proposicion de la <strong>conclusi\u00f3n<\/strong> (Q). Si se admite la veracidad e las premisas, y el razonamiento es correcto, debe admitirse la veracidad de la conclusi\u00f3n. Una <strong>falacia<\/strong> se produce cuando esto no se cumpl; dos falacias formales muy comunes son la de <strong>afirmar el consecuente<\/strong> y a continuacion afirmar el antecedente, y la de <strong>negar el antecedente<\/strong> y por mecanismo negar tambien el consecuente.<\/p>\n<p>Formalizando sentencias con el lenguaje proposicional podemos llevar a cabo desarrollos (o inferencias) que nos aporten nueva informaci\u00f3n a partir de unas premisas. De esta manera funcionan la mayoria de los lenguajes de programaci\u00f3n.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>En la clase te\u00f3rica de hoy hemos abordado el tema 1 y parte del 2. Asi hemos empezado a conocer los procedimientos que regulan el avance correcto de los desarrollos racionales, hemos aprendido a razonar (deductivamente, no inductivamente) de una manera rigurosamente universal, utilizando la L\u00f3gica Formal de Primer Orden. La mente humana es capaz [&hellip;]<\/p>\n","protected":false},"author":1736,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[1],"tags":[],"class_list":["post-16","post","type-post","status-publish","format-standard","hentry","category-general"],"_links":{"self":[{"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/posts\/16","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/users\/1736"}],"replies":[{"embeddable":true,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/comments?post=16"}],"version-history":[{"count":2,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/posts\/16\/revisions"}],"predecessor-version":[{"id":20,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/posts\/16\/revisions\/20"}],"wp:attachment":[{"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/media?parent=16"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/categories?post=16"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/blogs.ua.es\/alvaroyuste\/wp-json\/wp\/v2\/tags?post=16"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}