Respuestas
i
En Latinoamérica hubo desde mediados del siglo XX una gran escuela lógica representada por figuras como Gregorio Klimovsky, Francisco Miró Quesada, Carlos E. Alchourrón, Newton Da Costa, Héctor-Heri Castañeda, y otros. Hoy en día, los principales centros son el Buenos Aires Logic Group dirigido por el filósofo Eduardo Barrio de la UBA y la Sociedad Brasilera de Lógica mantenida por la Universidad de Campinas.
Sistemas formales
Los lógicos estudian las distintas formas de razonamiento que utilizamos inconscientemente en la ciencia y en la vida cotidiana.
Para llevar a cabo su tarea en forma precisa hacen uso de lenguajes formales como el de Frege. Cada lenguaje formal está constituido por un vocabulario, una gramática, una semántica y aparato deductivo. Hablo de “lenguajes formales” en plural porque hay varios y cada uno estudia tipos de razonamiento diferentes.
Algunas lógicas resultan de la extensión del vocabulario y las reglas de la lógica proposicional, y otras resultan de una desviación de uno o más principios de la lógica clásica (Sider, 2010). Hay verdaderamente todo un zoológico de lógicas y es una cuestión controvertida si hay una que sea la lógica “correcta”, tesis a la cual se opone el llamado pluralismo lógico.
Revisemos ahora, con más detenimiento, las partes de un lenguaje formal:
La gramática de un lenguaje formal nos dice qué expresiones son admisibles dentro de él. A éstas expresiones las llamamos fórmulas bien formadas (FBF).
Respuesta:
Todas las ranas son anfibios.Todos los anfibios son vertebrados.Luego todas las ranas son vertebradas
Explicación: