Información es lo que se percibe del medio ambiente, el contenido del mensaje enviado a, o recibido de otros, un contenido almacenado en la memoria. Comunicación es transportar un mensaje, es un acto de transmitir información. Comunicación es movimiento de información. Contexto, mensaje, emisor, receptor, canal y código. La comunicación animal es siempre restringida, y viene condicionada por la existencia de un estimulo determinado que produce a su vez una respuesta igualmente determinada. La carácterística esencial del lenguaje humano es su gran capacidad de creación. Los seres humanos no tienen restricciones en los temas sobre los que se puede versar su comunicación. Es el suyo un lenguaje de alcance ilimitado y que no precisa de estimulo. Al analizar un código lingüístico observaremos que esta construido en dos niveles o articulaciones que se pueden segmentar hasta llegar a las unidades mas elementales. La segmentación de la primera articulación divide al anunciado en oraciones, sintagmas, palabras, y llega incluso a dividir a estas en sus unidades mínimas significativas, los morfemas, tienen forma fónica y un sentido, hasta llegar a las de la segunda articulación, los fonemas, que constituyen una lista cerrada de sonidos en cada lengua, a partir de los cuales se puede conseguir un numero prácticamente ilimitado de unidades de la primera articulación. De este modo la lengua, hace un uso infinito. Hay tres funciones del lenguaje, referencial es la enunciativa, expresiva es la emotiva y la imperativa es la exhortativa. El lenguaje natural es la lengua utilizada por una comunidad lingüística y que utilizamos para nombrar objetos, hacer preguntas, expresar emociones, describir sucesos, etc. El ingles o el castellano son ejemplos de lenguajes naturales. Los lenguajes artificiales son lenguajes bien definidos que poseen una estructura operativa y eficaz. Permiten profundizar en la investigación matemática y científica sin exponerse a caer en las imprecisiones del lenguaje ordinario. Un razonamiento es un proceso mental que se caracteriza porque en el se produce un paso de uno o mas enunciados a otro posterior que se deriva necesariamente de aquellos. La lógica se ocupa de la estructura del razonamiento en vistas a que dicho razonamiento sea formalmente valido. Inducción es método de conocimiento que permite obtener por generalización un enunciado general a partir de enunciados que describen casos particulares. Deducción es un método científico que considera que la conclusión se halla implícita dentro de las premisas. Los argumentos también se llaman inferencias. Un razonamiento es formalmente valido si posee una estructura correcta cuando existe una conexión adecuada entre las premisas y la conclusión. Valided y verdad son dos conceptos distintos que no debemos confundir. La verdad, y su contrapartida la falsedad, es una propiedad de enunciados. La validez es una propiedad de argumentos que depende unas veces de la forma del argumento y otras de la mayor o menor evidencia que aportan las premisas. Un argumento deductivo cuyas premisas sean todas verdaderas no puede tener una conclusión falsa. Las falacias son los razonamientos que tienen la apariencia de corrección pero no son corrector porque esconden algún error. Hay las formales y las materiales. Falacia de la afirmación del consecuente, consiste en afirmar el antecedente del condicional tan solo porque se afirma o se da el consecuente, sin pensar que este se puede dar con condiciones.  Falacia de la negación del antecedente, consiste en negar el consecuente del condicional tan solo porque no se da el antecedente, sin pensar que el consecuente también se puede dar con otras condiciones. Falacia de petición de principio, la cometemos cuando la conclusión del argumento se quiere probar a partir de premisas que a su vez se prueban, o deberían probarse, con la misma conclusión. Falacias no formales son razonamientos deductivos o inductivos no validos. No son validos porque la información que proporcionan las premisas no es pertinente para la conclusión establecida. Falacia ad hominem, en lugar de analizar las razones que presenta, atacamos a la persona que lo sostiene. Consiste en desautorizar, desprestigiar o atacar de algún modo a la persona en lugar de analizar si son suficientemente pertinentes las razones que alega. Falacia ad ignorantiam, consiste en afirmar que una proposición es verdadera solo porque desconocemos si es falsa, la falacia también puede funcionar a la inversa. Falacia ad populum es una falacia que implica responder a un argumento o a una afirmación refiriéndose a la supuesta opinión que de ello tiene la gente en general. El lenguaje se emplea como elemento de manipulación. Falacia ad verecundiam, consiste en apelar indebidamente a la autoridad intelectual de alguien para justificar alguna proposición o creencia. La apelación a la autoridad no es siempre falaz, sino que dependerá de si la autoridad a quien apelamos esta legitimada o no. Falacia ad misericordiam, consiste en apelar a los sentimientos del oponente para persuadirlo. Falacia de la pista falsa, consiste en concentrar la atención sobre aspectos secundarios o incorrectos y extraer de ellos una conclusión equivocada. Falacia de la supresión de prueba, se incurre en esta falacia cuando al argumentar se elimina la información que no nos beneficia o se le ofrece sesgada. Falacia de la generalización precipitada la cometemos cuando a partir de unos pocos datos establecemos una generalización. Sin embargo, no siempre que generalicemos caemos en una falacia, se puede justificar cuando tenemos suficientes datos o nuestras informaciones tienen entidad suficiente para ampliar nuestras afirmaciones u otros casos no comprobados. Las generalizaciones inductivas por enumeraciones simple son de este tipo. Falacia de la falsa causa consiste en afirmar que un fenómeno es causa de otro simplemente por el hecho de ser anterior a este cronológicamente. La falacia consiste en confundir la prioridad temporal con la causalidad. Falacia de la ambigüedad se trata de emplear términos que pueden tener mas de un significado. La ambigüedad en el uso de las palabras y oraciones se puede evitar ampliando el contexto lingüístico. Si trasladamos la ambigüedad de las palabras o de los enunciados al terreno de los argumentos, podémos llegar a conclusiones falsas partiendo de premisas verdaderas, aunque empleemos un razonamiento formalmente correcto. Falacia de la vaguedad se trata de emplear términos con significado poco preciso o mal delimitado. La imprecisión aplicada a los argumentos nos puede llevar a conclusiones equivocadas. Las falacias son errores que se cometen al razonar. Su existencia nos demuestra que el uso de la razón no implica necesariamente que la usemos correctamente, ni que la razón sea ninguna garantía de conocimiento ni de la racionalidad de nuestras creencias. Las falacias representan un uso erróneo o un abuso de la razón. Se denomina lenguaje formal al lenguaje artificial que utiliza una tabla de símbolos formales y cuyas reglas sintácticas poseen la operatividad y eficacia del cálculo. Las variables son signos que carecen de significado fijo y las constantes son signos con un sentido fijo que sirven para enlazar entre si los símbolos del vocabulario primitivo, también se llaman operadores. Calcular es realizar las operaciones necesarias para determinar un valor conociendo su relación con otros ya dados. La lógica puede definirse como la teoría de las condiciones del razonamiento formalmente valido. Es un lenguaje formal porque dispone de una tabla de símbolos formales. Se ocupa de la validez de los argumentos independientemente de su contenido. La lógica proposicional es el apartado mas elemental y básico de la lógica. Trata de la validez formal de los razonamientos donde las premisas y la conclusión son proposiciones. Formalizar un lenguaje es convertirlo en un cálculo, esto es, en un procedimiento deductivo que consta de símbolos, formulas y reglas operativas. Será un cálculo formal de las relaciones de inferencia cuando se provea de un lenguaje artificial, defina el uso o aplicación de los operadores con objeto de establecer la noción de formula, estipule las relaciones de deducción entre enunciados mediante reglas de inferencia. La tabla de símbolos consta de variables se corresponden con las letras consonantes del alfabeto en minúsculas, sirven para simbolizar enunciados y constantes son signos que denotan relaciones u operaciones lógicas y sirven para establecer conexiones entre enunciados, su sentido es fijo. Las reglas de formulación de formulas determinan que símbolos sirven para representar los enunciados simples o formulas atómicas. Simbolizar un lenguaje es una operación consistente en sustituir los signos de ese lenguaje por símbolos de tal modo que a cada objeto perteneciente al universo del discurso de las relaciones se inferencia entre enunciados, corresponda uno y solo un símbolo lógico y a cada símbolo lógico uno y solo un objeto del discurso.