Escolar Documentos
Profissional Documentos
Cultura Documentos
FACULTAD DE INGENIERA
SECCIN: A2
TURNO: MAANA
SEMESTRE: PRIMERO
INTEGRANTES:
HUANCAYO 2015
PER
brindan.
Cartula . 1
Dedicatoria .. 2
Introduccin 3-4
ndice .
Captulo I
- Qu es la lgica formal?
Capitulo II
- Qu es el desarrollo humano?
Capitulo III
Conclusiones ..
Anexo .
Sugerencias
Bibliografa ...
1. Introduccin
La lgica formal deductiva contempornea proporciona, segn se
suele sostener,mtodos e instrumentos para el anlisis y evaluacin de
argumentos formulados en un lenguaje natural. Es en este sentido que la
lgica formal puede considerarse relevante para la construccin de una
teora de la argumentacin. Segn este enfoque, la evaluacin de un
argumento deductivo formulado en un lenguaje natural tal como el
castellano depende fundamentalmente de la forma lgica que tiene la
traduccin de ese argumento en el lenguaje artificial de un sistema lgico
tal como el de la lgica de primer orden. La teora de la invalidez de la
lgica formal deductiva proporcionara de esta manera indirecta una teora
de la invalidez para los argumentos deductivos del lenguaje natural.
Si A, entonces B.
B.Por lo tanto, A.donde A y B son variables metalingsticas que designan
oraciones simples ocompuestas del lenguaje. Pero, sin embargo, es vlido
porque tambin es una instanciade una forma vlida de razonamiento
habitualmente conocida como Simplificacin:
A y B. por lo tanto, a.Massey nos recuerda que un argumento del lenguaje
natural es invlido si y slo si no es una instancia de ninguna forma de
argumento vlida. Esto es as porque, como se
ha visto en el ejemplo anterior, un argumento del lenguaje natural puede
tener
traducciones al lenguaje de la lgica que sean formalmente vlidas y otras
que sean
formalmente invlidas. Massey va ms lejos y argumenta que no es posible
declarar
invlido, de una manera tericamente justificada, a un argumento del
lenguaje natural
aunque no se encuentre una forma vlida que este argumento instancie. En
efecto, bien
podra suceder que alguien conciba una manera de traducir ese argumento
de manera
que resulte formalmente vlido o que se cree un nuevo lenguaje formal que
permita
ofrecer una traduccin formalmente vlida del argumento en cuestin. As
por ejemplo,
3.1 ELEMENTOS DEL LENGUAJE NATURAL: SMBOLOS Y REGLAS El Lenguaje Natural humano
consta de un conjunto finito de smbolos (palabras y signos lingsticos, que forman el
Vocabulario) y un nmero finito tambin de reglas (constituyen la Sintaxis), las cuales
determinan cmo combinar correctamente los smbolos del vocabulario, es decir, establecen
cmo formar correctamente oraciones en ese lenguaje. 3.2. QU ES UNA ORACIN? Es una
expresin lingstica sintcticamente correcta (=est bien construida de acuerdo con las reglas)
y que posee sentido completo. Llamamos expresin lingstica a cualquier combinacin de
smbolos de un lenguaje. Ejemplos: El cuarzo es un mineral, Qu hora es?, Cierra la
puerta, Por el contrario, expresiones como Vivir con cuando, Lloviendo noche estaba
aquella, etc. no son oraciones porque o bien no tienen sentido completo o son
sintcticamente defectuosas.
4. LENGUAJE ARTIFICIAL Tratando de superar las citadas limitaciones del Lenguaje Natural,
para proporcionarle a las ciencias un lenguaje exacto y riguroso, se han ido construyendo los
Lenguajes Artificiales, esto es, lenguajes bien definidos que poseen una estructura operativa
ms eficaz. En lneas generales puede decirse que todas las ciencias, en especial las ciencias de
la naturaleza, emplean Lenguajes Artificiales y que sta ha sido una de las condiciones para su
progreso. Por ejemplo, los smbolos de la Qumica, la Fsica, la Biologa, pero tambin los de la
Economa, la Lingstica, etc., constituyen tipos de lenguaje artificial. 4.1. ELEMENTOS QUE
INTEGRAN UN LENGUAJE ARTIFICIAL Bsicamente consta de los mismos elementos que
cualquier lenguaje natural (un conjunto se signos y una serie de reglas sintcticas), pero se le
exige adems: Salustiano Fernndez Viejo 7 Filosofa 1 Bachillerato a) Que los signos estn
bien definidos, para que no quepan ambigedades; b) Que el conjunto de las reglas para la
formacin de expresiones, impida la construccin de expresiones carentes de sentido y permita
saber, en cualquier momento, si una determinada combinacin de signos es una expresin bien
formada del Lenguaje; c) Y que posea, adems, un conjunto de reglas operativas o de
transformacin de expresiones, que permita deducir a partir de unas expresiones correctas del
Lenguaje otras que tambin lo sean, para de ese modo construir rigurosas y complejas cadenas
deductivas. La Lgica y las Matemticas son ejemplos de Lenguajes Artificiales. ELEMENTOS DE
UN LENGUAJE ARTIFICIAL SIGNOS REGLAS De formacin de expresiones De transformacin
operativa Salustiano Fernndez Viejo 8 Filosofa 1 Bachillerato 5. LENGUAJE FORMAL Se
denomina Lenguaje Formal a un Lenguaje Artificial cuyos signos son formales (es decir, carecen
de significado) y cuyas reglas sintcticas permiten operar con dichos signos como en un clculo.
La Lgica y las Matemticas son Lenguajes Artificiales y, adems, Formales. Qu significa que
los signos de un Lenguaje Formal carecen de significado? Pues que tales signos no se refieren
en absoluto a la realidad. As, por ejemplo, el signo matemtico 2 no se refiere a dos cosas
concretas, como dos manzanas o dos peras; y lo mismo le ocurre a los signos lgicos p, q, r,