# data[].attributes.body
Lenguaje de Programacion

# data[].attributes.body
Circuito Electronico

# data[].attributes.body
Tabla de verdad

# data[].attributes.body
Gottlob Frege

# data[].attributes.body
Guiseppe Peano

# data[].attributes.body
George Boole

# data[].attributes.body
Interrelaciones entre la Lógica Computacional, los lenguajes de programación y los circuitos electrónicos.

El nivel menos abstracto dentro de una computadora está constituido por circuitos electrónicos que responden a diferentes señales eléctricas, siguiendo los patrones de la lógica booleana; esto es, compuertas lógicas que devuelven un valor dependiendo de las entradas que se le dan al sistema. Existen ocho compuertas lógicas básicas con las cuales se pueden formar sistemas muy complejos: AND, OR, Inverter, Buffer, NAND,NOR, XOR y XNOR. Todas ellas son representadas mediante un símbolo y una tabla de valores de verdad, que es simplemente un cuadro donde se ubican todas las posibles entradas y los valores que devolvería la compuerta dados dichosvalores.Todo sistema computacional, por muy complejo que sea, no está compuesto por más que circuitos electrónicos que únicamente entienden un lenguaje binario. La lógica computacional se encarga de modelar y optimizar tales sistemas a este nivel. ALGORITMOS en matemáticas, ciencias de la computación y disciplinas relacionadas, un algoritmo (del griego y latin, dixit algorithmus y éste a su vez del matemático persa Al Juarismi) es un conjunto preescrito de instrucciones o reglas bien definidas, ordenadas y finitas que permite realizar una actividad mediante pasos sucesivos que no generen dudas aquien deba realizar dicha actividad. Dados un estado inicial y una entrada, siguiendolos pasos sucesivos se llega a un estado final y se obtiene una solución. Los algoritmos son el objeto de estudio de la algoritmia.

# data[].attributes.body
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental a varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

# data[].attributes.attachment_link.title
Lógica computacional - Wikipedia, la enciclopedia libre

# data[].attributes.attachment_link.description
La lógica computacional es la misma lógica matemática aplicada al contexto de las ciencias de la computación. Su uso es fundamental en varios niveles: en los circuitos computacionales, en la programación lógica y en el análisis y optimización (de recursos temporales y espaciales) de algoritmos.

# data[].attributes.attachment_link.title
The Best of Classical Music 🎻 Mozart, Beethoven, Bach, Chopin, Vivaldi 🎹 Most Famous Classic Pieces

# data[].attributes.headline
Contribución de George Boole, Guiseppe Peano y Gottlob Frege  a la Lógica Matemática.

# data[].attributes.subject
Contribución de George Boole, Guiseppe Peano y Gottlob Frege  a la Lógica Matemática.

# data[].attributes.body
En 1847, George Boole publicó un breve tratado titulado El análisis matemático de la lógica, y en 1854 otro más importante titulado Las leyes del pensamiento..

Giuseppe Peano, conocido por sus contribuciones a la lógica matemática y la teoría de números. Peano publicó más de doscientos libros y artículos, la mayoría en matemáticas. La mayor parte de su vida la dedicó a enseñar en Turín.

Sin embargo, la verdadera revolución de la lógica vino de la mano de Gottlob Frege, quien frecuentemente es considerado como el lógico más importante de la historia, junto con Aristóteles. En su trabajo de 1879, la Conceptografía, Frege ofrece por primera vez un sistema completo de logica de predicados y calculo proposicional. También desarrolla la idea de un lenguaje formal y define la noción de prueba.

# data[].attributes.headline
 Interrelaciones entre la Lógica Formal y la Lógica Simbólica o Lógica Matemática.

# data[].attributes.subject
 Interrelaciones entre la Lógica Formal y la Lógica Simbólica o Lógica Matemática.

# data[].attributes.body
La lógica matemática o simbólica no es sustancialmente diferente de la lógica formal, por ejemplo, de Aristóteles. En efecto, éste, para resaltar las relaciones y prescindir de los contenidos concretos, materiales, usaba variables; en vez de emplear una proposición del tipo "todo conejo es herbívoro", utilizaba fórmulas como "todo A es B"; describía las relaciones formales del silogismo con expresiones como "si B pertenece a A y C pertenece a B, entonces C pertenece a A". De este modo, la lógica matemática o formal pretende llevar más adelante el método simbólico de Aristóteles. Asi, no sólo simboliza sujetos y predicados, sino también las cópulas o conectivas. Además, se dedica primordialmente a la lógica proposicional, parte de la lógica prácticamente ausente en los manuales de lógica tradicionales, exceptuando la presentación de los llamados "silogismos hipotéticos".

# data[].attributes.body
La lógica aristotélica es la logica basada en los trabajos del filósofo griego Aristoteles, quien es ampliamente reconocido como el padre fundador de la lógica.

# data[].attributes.body
La lógica formal es la parte de la lógica que, a diferencia de la lógica informal, se dedica al estudio de la inferencia mediante la construcción de lenguajes formales, sistemas deductivos y semánticas formales.

# data[].attributes.attachment_link.entities[].name
Lógica Formal y la Teoria del Conocimiento

# data[].attributes.body
Para entender los conocimientos desde un punto lógico es necesario entender la lógica epistémica. La lógica epistémica es un campo de la logica modal que se ocupa del razonamiento sobre el conocimiento.

Ingresen a este link:

http://www.academia.edu/3077948/El_conocimiento_colectivo_desde_un_punto_de_vista_l%C3%B3gico

# data[].attributes.body
Es una estructura formada por proposiciones de lsa cuales se obtiene otra. Las primeras reciben el nombre de premisas, y la que se deriva o infieren se denomina conclusion.

# data[].attributes.attachment_link.readable_text
En sentido amplio, se entiende por razonamiento a la facultad que permite resolver problemas, extraer conclusiones y aprender de manera consciente de los hechos, estableciendo conexiones causales y lógicas necesarias entre ellos. En sentido más restringido se puede hablar de diferentes tipos de razonamiento:

El razonamiento argumentativo en tanto actividad mental se corresponde con la actividad lingüística de argumentar. En otras palabras, un argumento es la expresión lingüística de un razonamiento.

El razonamiento lógico o causal es un proceso de lógica mediante el cual, partiendo de uno o más juicios, se deriva la validez, la posibilidad o la falsedad de otro juicio distinto. El estudio de los argumentos corresponde a la lógica, de modo que a ella también le corresponde indirectamente el estudio del razonamiento. Por lo general, los juicios en que se basa un razonamiento expresan conocimientos ya adquiridos o, por lo menos, postulados como hipótesis.​ Es posible distinguir entre varios tipos de razonamiento lógico. Por ejemplo el razonamiento deductivo (estrictamente lógico), el razonamiento inductivo (donde interviene la probabilidad y la formulación de conjeturas) y razonamiento abductivo, otros.

Este tipo de razonamiento o pensamiento es la base del conocimiento científico y socialmente académico, siendo uno de los que más se mide a la realidad y a la comprobación de las premisas que se establecen con base en la observación.

Se parte de la observación de la realidad de una serie de casos particulares para generar una hipótesis, de la cual a su vez se deducirán posibles consecuencias o interpretaciones de lo observado. Estas, a su vez, deberán ser falsables y contrastarse empíricamente para comprobar su veracidad.

Este tipo de razonamiento es considerado como uno de los más complejos e intelectuales (Piaget, por ejemplo, lo asocia al último estadio de desarrollo y lo considera típicamente adulto a pesar de que muchos adultos pueden llegar a no poseerlo).

Ello no quiere decir necesariamente que siempre se den con resultados válidos, siendo un tipo de razonamiento que también es sensible a los sesgos. Un ejemplo de este tipo de razonamiento lo podemos encontrar por ejemplo en el descubrimiento de la penicilina y su transformación en un antibiótico.

En un sentido restringido, se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun así dar lugar a un razonamiento, ya que un mal razonamiento aún es un razonamiento en sentido amplio, no en el sentido de la lógica.

Los razonamientos pueden ser válidos (correctos) o no válidos (incorrectos) dando por todo.

En general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión. Puede discutirse el significado de "soporte suficiente", aunque cuando se trata de un razonamiento no deductivo no podemos hablar de validez sino de "fortaleza" o "debilidad" del razonamiento dependiendo de la solidez de las premisas, la conclusión podrá ser más o menos probable pero jamás necesaria, solo es aplicable el término "válido" a razonamientos del tipo deductivo. En el caso del razonamiento deductivo, el razonamiento es válido cuando la verdad de las premisas implica necesariamente la verdad de la conclusión.

Los razonamientos no válidos que, sin embargo, parecen serlo, se denominan falacias.

El razonamiento nos permite ampliar nuestros conocimientos sin tener que apelar a la experiencia. También sirve para justificar o aportar razones en favor de lo que conocemos o creemos conocer. En algunos casos, como en las matemáticas, el razonamiento nos permite demostrar lo que sabemos.

El término razonamiento es el punto de separación entre el instinto y el pensamiento, el instinto es la reacción de cualquier ser vivo. Por otro lado el razonar nos hace analizar, y desarrollar un criterio propio, el razonar es a su vez la separación entre un ser vivo y el humano.

El razonamiento matemático puede referirse tanto al razonamiento formal como al razonamiento no estrictamente formal usado para demostrar proposiciones y teoremas matemáticos. Generalmente la mayor parte de textos sobre matemáticas no usan pruebas puramente formales en que los resultados se derivan directamente de axiomas, ya que son poco intuitivas y difíciles de comprobar, por el contrario usan términos derivados y definiciones así como construcciones informales y usan frecuentemente la reductio ad absurdum y el principio del tertium exclusum. En la actualidad, las demostraciones matemáticas complejas requieren a veces meses completos de verificación, así sucedió por ejemplo la demostración del Último teorema de Fermat por parte de Andrew Wiles (la primera demostración de 1993 que ofreció al ser revisada resultó ser incorrecta en algunos detalles que fueron enmendados en 1995).

El razonamiento no lógico o informal, el cual no solo se basa en premisas con una única alternativa correcta (razonamiento lógico-formal, el descrito anteriormente), sino que es más amplio en cuanto a soluciones, basándose en la experiencia y en el contexto. Los niveles educativos más altos suelen usar el razonamiento lógico, aunque no es excluyente. Algunos autores llaman a este tipo de razonamiento argumentación. Como ejemplo para ilustrar estos dos tipos de razonamiento, podemos situarnos en el caso de una clasificación de alimentos, el de tipo lógico-formal los ordenará por verduras, carnes, pescados, fruta, etc. en cambio el tipo informal lo hará según lo ordene en el frigorífico, según lo vaya tomando de la tienda, etc.

En este razonamiento se generaliza para todos los elementos de un conjunto la propiedad observada en un número finito de casos. Ahora bien, la verdad de las premisas (10 000 observaciones favorables) no convierte en verdadera la conclusión, ya que en cualquier momento podría aparecer una excepción. De ahí que la conclusión de un razonamiento inductivo solo pueda considerarse probable y, de hecho, la información que obtenemos por medio de esta modalidad de razonamiento es siempre una información incierta y discutible. El razonamiento solo es una síntesis incompleta de todas las premisas.

En un razonamiento inductivo válido, por lo tanto, es posible afirmar las premisas y, simultáneamente, negar la conclusión sin contradecirse. Acertar en la conclusión será una cuestión de probabilidades reales.

Razonamiento clínico es el término usado para describir el proceso de inferencia que los clínicos expertos llevan a cabo para resolver un problema médico. En la medicina actual se acepta que el razonamiento clínico es un componente central de las competencia del médico y algunos lo definen como "el proceso por el cual los médicos encausan su pensamiento hacia un diagnóstico probable". Se le considera una mezcla entre el razonamiento hipotético-deductivo y el reconocimiento de "patrones" clínicos.​

Se acepta que el razonamiento farmacológico constituye el fundamento del uso racional de los fármacos en la prevención, diagnóstico y tratamiento de las enfermedades.

Son objetos mentales que nacen de la dinámica entre el medio exterior y el sistema cerebral interno. Gracias a estos estímulos externos, percibidos por cualquiera de las vías inteligentes, se activa la razón. Esta trata de discernir las propiedades de cada objeto ideal y de discernir las relaciones entre las distintas ideas sobre la base de la necesidad del propio individuo, los datos externos memorizados y los recuerdos naturales. Todo ello da forma al razonamiento.

Los razonamientos llevan a hipótesis esperables de los datos empíricos, no siempre resulta inmediato de unos datos decidir si corroboran o desmienten cierto razonamiento. Cuando el razonamiento es suficientemente concreto para hacer una predicción cuantitativa existe la posibilidad de tomar datos empíricos y someterlos a tests estadísticos para decidir si dichos datos confirman o desmienten una cierta hipótesis deducida mediante razonamiento. El proceso de decisión no siempre es un proceso estrictamente lógico, ya que por ejemplo la existencia de correlación no implica causalidad, y pueden existir "incoherencias" (si A está correlacionado con B y B está correlacionado con C, no necesariamente A está correlacionado con C).

Referencias

Enlaces externos

# data[].attributes.attachment_link.authors[].name
Colaboradores de los proyectos Wikimedia

# data[].attributes.attachment_link.title
Razonamiento - Wikipedia, la enciclopedia libre

# data[].attributes.body
El pensamiento es la actividad y creación de la mente; dícese de todo aquello que es traído a existencia mediante la actividad del intelecto.