El lenguaje formal de la lógica

Primero deberemos saber... ¿qué es un lenguaje formal?

Esta formado por los siguientes elementos básicos:

• Unos signos primitivos del lenguaje, esto es su alfabeto.
• Unas reglas de combinación de dichos signos, es decir una gramática que especifique cómo combinar unos signos primitivos con otros para tener expresiones bien formadas.
• Unas reglas que nos ayuden en la formalización o traducción de expresiones del lenguaje natural al de la lógica formal.

El alfabeto del lenguaje formal en la lógica proposicional

1. Se utilizan letras proposicionales que suelen designarse con las letras minúsculas p, q, r, etc.
   
2. Se utilizan conectivas o conjuntores para formar proposiciones complejas conectándolas entre sí.

Nombre de la conectiva; Símbolo; Correspondencia en el lenguaje natural

• negador ______________¬ _____________" no..."
• conjuntor _____________^_____________"...y..."
• disyuntor_______(el conjuntor invertido)____ "...o..."
• condicional____________ --> ___________"si ...entonces..."
• bicondicional __________<--> ___________"...si y sólo si..."

1. Unos signos auxiliares, que son los paréntesis, que pueden ayudar a delimitar dónde comienza una parte de la fórmula y dónde acaba para empezar la siguiente. Su equivalencia en el lenguaje natural serían los signos de puntuación en la lengua escrita.

Ley de la doble negación

La negación de la negación de un enunciado, es la afirmación de dicho enunciado; en forma simbólica:
¬¬p ____ es igual a____p
¬¬¬p____es igual a___¬p
¬¬¬¬p___es igual a____p

by: ayla

La lógica

Hitoria de la lógica:

Históricamente la palabra "lógica" ha ido cambiando de sentido. Comenzó siendo una modelización de los razonamientos, propuesta por los filósofos griegos, y posteriormente ha evolucionado hacia diversos sistemas formales, relacionados con la teoría.

La lógica formal, como un análisis explícito de los métodos de razonamientos, se desarrolló originalmente en tres civilizaciones de la historia antigua: China, India y Grecia entre el Siglo V y el Siglo I a. C. pero el tratamiento sofisticado y formal d ela lógica moderna aparentemente proviene de la tradición griega.

Aristóteles fue el primero en emplear el término “Lógica” para referirse al estudio de los argumentos dentro del "lenguaje apofántico" como manifestador de la verdad en la ciencia. Pensaba que la verdad se manifiesta en el juicio verdadero y el argumento válido en el silogismo: “Silogismo es un argumento en el cual, establecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente”.

A partir de mediados del Siglo XIX la lógica formal comenzó a ser estudiada en el campo de las matemáticas y posteriormente por las ciencias computacionales, naciendo así la Lógica simbólica. La lógica simbólica trata de esquematizar los pensamientos de forma clara y sin ambigüedades. Para ello usa un lenguaje formalizado constituido como cálculo.


by: ayla

Evolución hacia el hombre

Los principales antecesores evolutivos del hombre:

• Millenium man: Se descubrió en diciembre del 2000 en Kenia. En esta
  excavación se hallaron retos de 5 individuos, machos y hembras.
  -Data de unos 6-7 MA
  -Talla: 1'20m
  -Posiblemente bípedos
  -Volumen craneal: 350cm3
  -Dientes pequeños


• Toumai:Encontrado en julio de 2001 en Chad. Toumai significa
  esperanza de vida en una lengua tribal de la zona.
  -Data de unos 6 MA
  -Talla: 1'20 m
  -Posiblemente bípedos
  -Volumen craneal: 360 cm3
  
• Ardipithecus Ramidus: Se encontró en 1992 en Etiopía.
  -Data de unos 4'4 MA
  -Talla: 1'20 m
  -Posiblemente bípedos
  -Volumen Craneal: 360 cm3
  -Dientes finos y esmaltados
  -Vegetarianos


• Australopithecus anamensis


• Australopithecus afarensis


• Ausralopithecus africanus


• Australopithecus garhi


• Homo habilis:Encontrado en 1972 en Tanzania.
  -Data de 1'5-2'3 MA
  -Talla: 1'50 m
  -Peso: 50kg
  -Bípedo
  -Volumen craneal: 580-670 cm3
  -Vegetariano y carnívoro
  -Fabricaba instrumentos
  -Hablaba


• Homo herectus:Descubierto en 1891. En 1938 se hizo otro hallazgo importante en la isla de Java.
  -Data de 0'5-1 MA
  -Talla:1'65 m
  -Peso: 60-80kg
  -Volumen craneal: 750-1250 cm3
  -Fabricaba instrumentos modo 2
  -Dominaba en fuego
  -Carnívoro y vegetariano


• Homo antecesor: Encontrado en 1997 en Atapuerca (Burgos). Su nombre significa "el pionero"
  -Data de en torno a 800 000 años
  -Talla: 1'70 m
  -Peso: 60-80kg
  -Volumen craneal: 900-1100 cm3
  -Fabricaba instrumentos
  -Dominaba el fuego
  -Hablaba


• Homo heidelbergensis:en 1907 en Alemania.Data de en torno a 300 000 años.
  -Talla: 1'76 m
  -Peso: 100kg
  -Volumen craneal: 1200 cm3
  -Fabricaba instrumentos
  -Domina el fuego
  -Hablaba


• Homo nenaderthalensis: en 1856 en Alemania. Data de entre 127 000-300 000 años.
  -Talla: 1'60 m
  -Peso: 60-80kg
  -Volumen craneal: 1750 cm3
  -Fabricaba instrumentos
  -Dominaba el fuego
  -Hablaba
  -Entierran a sus seres queridos
  -Cuidan a los enfermos
  -Sentido estético

by: ayla

¿Charles Darwin o A.R. Wallace?

Charles Darwin comenzó a estudiar medicina en Cambridge. Allí, recibió la influencia de dos naturalistas, el geólogo Adam Sedgwick, y el naturalista John Stevens Henslow. Tras graduarse ingresó en una expedición a bordo del buque de investigación inglés HMS Beagle, con una recomendación de su antiguo profesor.

A bordo del Beagle, era el naturalista de la expedición, y así tuvo oportunidad de observar las distintas formaciones geológicas entre las tierras por las que pasaba la expedición.
En aquella época, los naturalistas creían en la "teoría de la catastrofe". (*)
En su viaje, Darwin realizó varias observaciones que encajaban con la teoría de la catástrofe, que decía que las especies fueron especialmente creadas. Pero además de eso, Darwin se dio cuenta de que algunos de los fósiles de especies extintas que encontraba, se asemejaban a algunas especias que vivían por la región en la que fue encontrado el fósil.

En las Galápagos, observó que cada isla tenía su propia especie de tortuga de tierra, ya que a pesar de que se parecieran, cada tortuga variaba sus hábitos alimenticios de isla a isla.

Una vez en Inglaterra, comenzó a recopilar las observaciones realizadas a lo largo de su viaje, y leyó un ensayo del principio de población , que sostenía que en un punto, el crecimiento de población provocaría una falta de alimentos, por lo que la misma naturaleza establecía límites en el desarrollo de las especies.
En 1858, Darwin publicó El origen de las especies , en el que defendía básicamente, que debido a los límites en el suministro de comida, los individuos de una misma especie competían intensamente. Sólo sobrevivían los más adaptables, que daban lugar a la siguiente generación, y así sucesivamente, dando lugar a la evolución.

(*) Teoría que sostenía que la Tierra ha experimentado una sucesión de creaciones de vida animal y vegetal,
y que cada creación ha sido destruida por una catástrofe repentina. De acuerdo con esta teoría, la última catástrofe fue el diluvio universal, que eliminó a todos los animales que no pudieron refugiarse en el arca.

---> Pero ...ATENCIÓN: El descubridor de esta teoría no fue Darwin, sino A.R. Wallace. Wallace, realizó un artículo en el que proponía la selección natural como el mecanismo explicativo de la transmutación de las especies. Wallace remitió el artículo a Darwin para su revisión. Cuando éste lo leyó, se encontró con lo que calificó como el mejor resumen imaginable de las ideas que él mismo llevaba gestando trabajosamente desde hacía más de veinte años y presentó este trabajo públicamente en Londres, ya que Darwin tenía más facilidades entre la nobleza.

by: ayla

Antropología

El ser humano, tal como lo conocemos hoy existió hace relativamente poco (unos 50 000 años), sin embargo, hay que tener en cuenta que somos el resultado de millones de años de evolución, que diferenciaron al ser humano de los primates.

Esta foto, (que es la típica que solemos ver acerca de la evolución) puede que no sea verdadera, ya que solo es una suposición pues nos semejamos bastante a los primates.
Ahora vamos a ver diferentes temas acerca de la antropología.


by: ayla

Cultura y sociedad

http://www.elcomercio.com.pe/EdicionImpresa/Html/2007-01-28/ImEcMundo0659863.html


Cultura y sociedad son dos cosas muy diferentes.

• Cultura: es un conjunto de creencias, valores, actividades y pautas de comportamiento que un grupo de individuos comparte y se transmite entre sí.
• Sociedad: sistema de interrelaciones entre individuos. (Una sociedad puede ser un grupo de 30 o 40 personas vinculadas entre si.)

Todas las personas que integran una sociedad comparten un mismo vínculo: sus relaciones sociales se basan en uan cultura común.

Al igual que no puede haver un individuo <>, sin elementos culturales, tampoco es posible una sociedad sin una cultura. Y sin cultura ni sociedad no podríamos ser humanos, no tendriamos ni siquiera conciencia de nosotros mismos.

by: maitane

Verdad como adecuación y correspondencia

(Adecuatio intelectus rei)

• La verdad consiste en que nuestra representación mental de los objetos o hechos se corresponden con los hechos y objetos, tal y como se dan o suceden en la realidad.

• Immanuel Kant, cambia esta concepción, el sujeto no es un mero receptor pasivo, sino que la mente actua construyendo el objeto de conocimiento, por ejemplo, aportando conceptos universales y categorias.

• La verdad no se puede entender como una correspondencia exacta entre las cosas, tal como es en sí misma, y un conocimiento pasivo que lo recibe tal cual.

• Por el contrario, se trata de una correspondencia entre los datos que em aporta la realidad y la interpretación que hace mi mente.
• La consecuencia es que las verdades sobre la experiencia no son nunca completas, absolutas y definitivas, sino que constituyen verdades limitadas e imperfectas.

by: maitane