Académique Documents
Professionnel Documents
Culture Documents
estudiar el lenguaje humano con detalle, junto con los mecanismos lógicos y
etc.), entre las que destacaba el hecho de que el lenguaje permitía los
mismo momento. Por decirlo de otra manera: podemos conocer nuevas cosas,
siguiente: “si todos los cuerpos caen con enorme velocidad hacia el centro
la lógica.
filosofía que estudia las estructuras racionales del lenguaje humano. Más
Más brevemente: P C.
siempre tras las premisas, no tiene por que encontrarse siempre al final en
Pero con esto nos introducimos en cuestiones que hay que desarrollar con
contenidos: “Dos discos que te dejo hoy y tres que te dejé ayer ya son cinco
discos. ¡No tardes en devolvérmelos!”; “¡Dos goles que nos metieron antes
del descanso y tres en el segundo tiempo, tío, 5-0, menuda paliza!”. Los
lenguajes formales no son naturales además en el sentido de que son
matemáticas básicas
herramientas formales
específicas (“contando
porque el construir
razonamientos es una
de las funciones
poco mejor las relaciones lógicas internas del lenguaje, porque muchas veces
respecto a su forma.
comprobación empírica.
decirse.
con todas las circunstancias de las matemáticas en que puedes hacer esa
referirse -2?).
formal, no tiene que ver con la verdad entendida como correspondencia, sino
Por lo tanto, para conocer mejor las formas lógicas, vamos a realizar dos
tipos de actividades. Por una parte, explicar cuales son los tipos de
estudiaremos serán las reglas más comunes para inferir conclusiones, las
formas lógicas que se esconden tras las materias del lenguaje ordinario,
formalización.