Memoria

La memoria es aquella facultad humana que permite al ser humano guardar hechos pasados.Es la seguda gran función del cerebro y está relacionada con su desarrollo.

No se tiene certeza de cual es su naturaleza.

Según Atkinson y Shiffrin " la memoria es la capacidad que tenemos los seres humanos para registrar, retener y recuperar información".
La memoria precisa de tres procesos: codificación (registrar la información), almacenamiento (guardar la información que utilizaremos posterior mente) y, por último, recuperación (evocar la información que anteriormente hemos guardado).A continuación se muestra un esquema de estos procesos.

Emociones

La descripción de las emociones como casi todos los conceptos relacionados con la conducta y cognición humana está sujeta a la apreciación desde dos puntos de vista naturalmente opuestos. Por un lado, una explicación idealista que se basa en la concepción de un universo infinitamente complejo cuyo entendimiento absoluto solo está en manos de un ser supremo e ideal. En el otro extremo una concepción materialista que describe los fenómenos universales, incluidos aquellos que explican la condición humana, como una consecuencia lógica de la configuración inicial, elemental y simplificada de un universo, que en sus inicios sólo estaba repleto de "voluntad de crear", o sea, energía.

Filosofia de la mente

La filosofía de la mente o filosofía del espíritu, se ocupa de la naturaleza de los estados mentales, de sus efectos y sus causas. La cuestión del comportamiento de los estados mentales y físicos ocupa aquí un lugar central. Además de las cuestiones ontológicas acerca de la naturaleza de los estados mentales, la filosofía de la mente estudia cuestiones epistemológicas en torno a la cognoscibilidad de la mente.

Tabla de la verdad

  Una tabla de verdad, es una tabla que muestra el valor de verdad de una proposición compuesta, para cada combinación de valores de verdad que se pueda asignar a sus componentes.

para establecer un sistema formal se establecen las definiciones de los operadores. las definiciones se harán en para establecer un sistema formal se establecen las definiciones de los operadores. las definiciones se harán encarar establecer  función del fin que se pretenda al construir el sistema que haga posible la formalización de argumento:

• Como razonamiento deductivo lógico-linguistico
• Como construcción de un sistema matemático puro
• Como una aplicación lógica en un Circuito de conmutación.

Logica

La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida. La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas.La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

Logica Informal

La lógica informal, o lógica no formal, es el estudio de los argumentos naturales y en oposición al estudio de los argumentos en una forma técnica o artificial (lógica formal). Esta parte de la lógica se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada, sin importar su forma lógica. Parte del principio que el pensamiento y el lenguaje humano es a menudo incorrecto, o tendencioso. Se le atribuyen sus inicios a Aristóteles, que hizo el primer estudio de las falacias lógicas, que se encuentran en la vida cotidiana. La disciplina académica moderna se estableció en América del Norte en la década de 1970.

Logica Formal

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. La idea es que estas construcciones capturen las características esenciales de las inferencias válidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de análisis matemático, permiten realizar demostraciones rigurosas sobre ellas.

La lógica formal no debe ser confundida con la lógica matemática, antes llamada lógica simbólica, que es una subdisciplina de la lógica formal.

---

Se acostumbra a definir la lógica formal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenido empírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros son artrópodos; al lógico sólo le interesa su validez o corrección (que es formal) expresada en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El que los dípteros sean o no sean artrópodos es una cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna manera al lógico.