Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Unidad 1 Lenguaje
Unidad 1 Lenguaje
PNF EN INFORMÃ
TRAYECTO I TRAMO I
MATEMÃ I
LENGUAJE
UNIDAD 1
AUTORES:
Rogers Camacho: 11.704.322
Fredy Rivera: 4.961.901
Schleyer en 1879, el lenguaje o código lingüà Braille (creado por Louis Braille)
para las personas invidentes y el Código Morse, por mencionar los más importantes.
Tanto el Esperanto como el Volapuk fueron creados con la intención de tener
un lenguaje parecido al natural con propiedades universales, es decir, con el cual
los hablantes de cualquier idioma (lenguaje natural) pudieran comunicarse entre sÃ
Sin embargo, tal propósito no ha sido alcanzado en su totalidad y el inglés se ha
convertido para muchas personas como el lenguaje universal.
Además de estos dos lenguajes artificiales están, como se dijo anteriormente,
el lenguaje matemático, el de la lógica y el de programación o informática, los cuales
son totalmente formales en el sentido de que no nos dicen nada del mundo real
(empà sino que se encarga de realizar una serie de cálculos (conjunto de signos
sin contenido) y precisiones sobre la forma del lenguaje en cuestión y no de su
contenido como lo hacen los lenguajes naturales.
El lenguaje matemático está conformado por un lenguaje simbólico formal
conocido también como notación matemática, el cual obedece a una serie de
convenciones propias de ese sistema lingüà Un ejemplo de notación
matemática puede ser. En este lenguaje los sà pueden representar un
concepto (∞) o (▲), relación (→) o (˃), operación (∑) o (√) , o una fórmula
matemática (ð ´ = ð ‘Ÿ 2 ) o
(ð =
establecidas.
El lenguaje de la lógica, por su parte, es también un lenguaje formal,
simbólico o de cálculos pues nos sirve para analizar o determinar la rectitud lógica
o verdad formal de los pensamientos o razonamientos (formas) y no de la verdad
real (Rodrà Lozano, 2007, pp. 21-22) o adecuación de nuestras afirmaciones
con la realidad empÃ
Tanto el lenguaje matemático como el de la lógica, por ser un lenguaje formal
y simbólico requieren de un conjunto de sà abstractos que se dividen en dos
grandes grupos. Los sà constantes que poseen un sentido fijo dentro del
lenguaje en cuestión y los sà variables cuyo sentido varà pues cambia de
unos casos a otros de acuerdo al contexto. Un ejemplo de esto último es el de las
letras (sà “x†e “y†en las expresiones aritméticas (Garrido, 1983)
El lenguaje de programación o computacional es un lenguaje artificial
creado por ser humano para la comunicación con las máquinas (computadoras) y
la comunicación entre éstas. Está conformado, como los lenguajes naturales, por
un conjunto de sà (vocabulario) y una serie de reglas (gramática) para su
funcionamiento. La caracterà fundamental de este tipo de lenguaje es su
1. “Esdrújula†es esdrújula
2. “Aguda†no es aguda
3. “Grave†es grave
las palabras entre comillas corresponden a formas del lenguaje-objeto (español)
mientras que el resto de las expresiones forman parte del metalenguaje (español).
En este caso, las palabras “esdrújula†“aguda†y “grave†están mencionadas,
mientras que las palabras esdrújula, aguda y grave (sin comillas) están usadas
normalmente.
Otra forma de entender y/o explicar la diferencia que hay entre los tipos de
referencia que realiza un signo, en este caso, el signo lingüà es mediante lo
siguiente. Unas veces, las palabras hacen referencia a cosas o clases de cosas, o
sea, signos referidos a objetos diferentes a los signos. En el enunciado u oración
“En mi casa hay un solo garaje†la palabra “garaje†tiene por designado un tipo de
espacio con determinadas caracterà En este caso, la palabra “garaje†es
usada (se hace uso) para hacer referencia a dicha clase de objetos (espacios).
Otras veces, las palabras se refieren a otras palabras, es decir, signos
referidos a signos. En la oración “Garaje es una palabra de origen francés (garaje)â€
la palabra (signo) Garaje en cursiva, aunque se usa entrecomillada para diferenciar,
no hace referencia a ningún espacio, sino a la palabra con que se hace referencia
al espacio llamado “Garaje†y enuncia que la palabra en cuestión es de origen
francés. En este caso, la palabra (signo) no es usada, sino mencionada (Se
menciona). Se dice que tiene un uso autónimo, es decir, se usa para referirse a sÃ
misma. Para hacer esa diferencia de referenciación se usan, entre otros recursos,
el entrecomillado y un tipo de letra diferente a la normal (puede ser cursiva/itálica o
el subrayado).
Cuando se hace mención de la palabra o signo estamos utilizando de un
metalenguaje, como ya se explicó anteriormente.
Proposiciones
Cuando la función del lenguaje es la informativa, referencial, locutiva o
ideativa, según las clasificaciones presentadas anteriormente, es decir, cuando la
intención del usuario al usarlo es la comunicar una información, éste utiliza una
serie de expresiones que se denominan enunciados o proposiciones. Un enunciado
o proposición es toda expresión lingüà de la cual tenga sentido preguntarse si
es verdadera o falsa (asignarle un valor veritativo) con relación a la realidad empÃ
conocida. Podrà servir de ayuda, tal vez, decir que una proposición o enunciado es
toda afirmación o expresión lingüà a través de la cual se afirma algo de la
realidad según el contexto dado.
Ejemplo de proposiciones o enunciados son:
1. Estamos estudiando Informática.
2. El lenguaje de la Lógica es un lenguaje formal
3. En China el mandarà es el idioma oficial.
4.
5.
6.
7.
8.
Las proposiciones pueden ser verdaderos o falsos sin dejar de ser proposiciones.
Por otro lado, las proposiciones, llamadas también formas proposicionales (Saenz,
Gil, López, Romero y Bethelmy, 2001, p. 29), pueden ser, dependiendo del número
de componentes, atómicas o moleculares. Una proposición es atómica o simple
cuando está compuesta por dos términos: sujeto y predicado (Garrido, 1983, pp.3032).
Ejemplos de proposiciones atómicas son:
1.
2.
3.
4.
SÃ
~
Disyunción Inclusiva
Ë„
Ë…
Disyunción Exclusiva
Condicional
Bicondicional
Ë…
→
↔
TRADUCCIÓN
No, no es el caos que
Y
o
o…o
Si…entonces
Si y solo si
o
1.2 “ No es cierto que Chávez fue presidente de Venezuelaâ€
El efecto de este juntor negador en la proposición en cuestión es el siguiente:
si la proposición inicial 1. Es verdadera, entonces, 1.1 o 1.2 es falsa y viceversa.
Asà como el juntor o conectivo NEGACIÓN puede incidir en una proposición
atómica, ocurre lo mismo con una proposición molecular. En ambos casos, el valor
lógico o veritativo de la proposición final depende del valor lógico o veritativo de la
proposición inicial. Esto se muestra en la tabla siguiente:
p
V
F
~p
F
V
La conjunción
El conectivo lógico “˄†corresponde a la conjunción “y†en el lenguaje
ordinario o natural. Según Garrido, (1983, p.40), “Una conjunción afirma la verdad
de sus componentes†Es verdadera solo cuando las proposiciones componentes
son verdaderas.
Como ejemplo se puede decir:
p: “Chávez fue presidente de Venezuela y está muertoâ€
Esta proposición compuesta es verdadera si y solo si “Chávez fue presidente
de Venezuela†es verdadera y “Chávez está muerto†es verdadera. Como sabemos
que ambas proposiciones simples son verdaderas, entonces podemos decir que la
proposición resultante compuesta p es verdadera. Esta información está ilustrada
en la siguiente tabla de verdad
p
V
V
F
F
La disyunción inclusiva
q
V
F
V
F
p˄q
V
F
F
F
p
V
V
F
F
q
V
F
V
F
pË…q
V
V
V
F
La disyunción exclusiva
El conectivo lógico “V†está referido a la expresión “o…o†del lenguaje natural
(español) u “or…or†en el idioma inglés. Su significado lógico en las proposiciones
compuestas es como sigue: el valor de verdad de la disyunción exclusiva es
verdadero si una de las proposiciones es verdadera y la otra falsa. Por tanto, es el
valor veritativo es falso, si ambas proposiciones son verdaderas, o ambas son
falsas.
p
V
V
F
F
q
V
F
V
F
pË…q
F
V
V
F
La condicional
La conexión lógica condicional (→) equivale a la expresión “Si…entonces…â€
del lenguaje ordinario. Este enlace condicional relaciona dos proposiciones que se
identifican con el nombre de antecedente, la primera, y consecuente, la segunda.
Supongamos la proposición siguiente:
“Si entrego este trabajo de matemática, entonces tengo nota en el 15%
asignado.â€
Si designamos como “p†a “Si entrego este trabajo de matemática†y como
“q†a “tengo nota en el 15% asignado†entonces podemos sustituir a ambas
proposiciones por las letras respectivas y asà tenemos que esto podrà expresarse
asÃ
Si p, entonces, q
Y sustituyendo Si…, entonces,… por el sà lógico , tendremos
pq, que es como se expresa simbólicamente esta relación proposicional.
El valor lógico de esta operación proposicional es como sigue: pq es falso
si el antecedente es verdadero, en este caso p, y el consecuente, en este caso q,
es falso. En el resto de las posibles combinaciones es valor veritativo de pq es
verdadero.
El conector lógico  también es llamado “implicador†o “condicionadorâ€
(Garrido, 1983, p.42).
p
V
V
F
F
q
V
F
V
F
p→ q
V
V
F
V
La Bicondicional
La conexión Bicondicional “↔†equivale a la expresión “Si y sólo siâ€
“Equivale†o “Cuando y solamente cuando†del lenguaje ordinario o natural. Las
cuales “suelen emplearse en el establecimiento de definiciones y equivalencias y en
la expresión de condiciones necesarias y suficientes†(Garrido, 1983, p.44). Este
juntor lógico también es llamado coimplicador, bicondicionador o equivaledor.
Si utilizamos las letras “p†y “q†para representar dos proposiciones que
intervienen en una relación de bicondicionalidad, entonces podemos decir que el
sentido o valor lógico del bicondicionador es el siguiente: una bicondicionalidad o
coimplicación es verdadera cuando sus dos componentes tienen el mismo valor de
verdad, o sea, cuando ambos son verdaderos o ambos son falsos. En caso
contrario, el valor veritativo de la operación bicondicional es falso.
Como ejemplo podemos usar dos proposiciones:
p: el número dos es el menor de todos los números pares y
q: el número dos es el único número par que es primo.
Como ambas proposiciones son verdaderas en el campo de la aritmética, entonces
la operación Bicondicional p↔q es verdadera.
p
V
V
F
F
q
V
F
V
F
p↔q
V
F
F
V
Conclusión
Objeto de la lógica
La lógica como disciplina cientà tiene según varios autores los siguientes
objetos de estudio. Para la UNA (1992, p.25), la lógica se encarga de “formular
sistemas teóricos (teorà de los razonamientos deductivos que permitan distinguir
aquellos razonamientos válidos de los que lo son†Ramis (2005, p.159), por su
parte, considera que la lógica es “la ciencia que estudia la razón en los actos de
dirigirse hacia el conocimiento de la verdad†Este mismo autor señala (p.17) que la
lógica posee dos tipos de objeto o contenido. El material y el formal, los cuales
constituyen el doble objeto de la lógica. El componente material está representado
por los actos del pensamiento (concepto, juicio y raciocinio). Pero ellos son
estudiados por la lógica sólo desde el punto de vista de su rectitud con la intención
de “captar nociones, enunciar juicios y establecer conclusiones†pues la naturaleza,
estructura y funcionamiento de estos actos son objeto de estudio de la PsicologÃ
Por ello, el objeto formal de la lógica es la “rectitud del pensamiento†De manera
parecida, concibe Rodrà Lozano (2007) el objeto formal de la lógica, al decir
que ésta se “ocupa del orden y de la rectitud estructural del pensamiento pensado,
inclusive con la independencia de la verdad real de su mismo contenido†(p.20)
Finalmente, es importante incluir aquà la definición que tiene de De Gortari
de la lógica. Según este doctor en filosofà y autor de uno de los diccionarios (2000,
p. 287) de lógica más referenciado en habla hispana, la lógica es “la ciencia que
estudia los procesos del pensamiento y los procedimientos que se utilizan en la
adquisición del conocimiento cientà tanto teórico como experimentalâ€
Conclusión
Pierce, uno de los padres fundadores de la semiótica, un signo es “algo que está
por alguna otra cosa o que representa a otra cosa y es comprendido o interpretado
por alguien, esto es, que tiene un significado para alguien†es decir, es algo que
hace referencia (refiere) a otra cosa. Para él todo signo está compuesto por tres
elementos: un componente fà o perceptible, llamado por él, representamen, en
el caso de los lenguajes verbales, las palabras. Un componente mental, llamado
interpretante, que corresponde al concepto que se tiene de algo, y un componente
extralingüà perteneciente al mundo empà o teórico, llamado objeto.
La semiótica como estudio de los signos parte de tres dimensiones. La
dimensión pragmática hace referencia a la relación que se da entre un signo o
sistema de signos (sà y sus usuarios o intérpretes. Luego está la dimensión
semántica, que es aquella referida a la relación entre el signo y a lo que éste hace
referencia, es decir, su designado o concepto. Finalmente está la dimensión
sintáctica que estudia la relación que se da entre los signos entre sà o la de un signo
consigo mismo. La dimensión semántica, por su parte, distingue dos aspectos del
significado o concepto mental. El aspecto designado, el cual consiste en el conjunto
de caracterà a que hace referencia el signo. Por ejemplo, la palabra “libro†tiene
como designado las caracterà propias de ser un objeto de lectura, con hojas
impresas o digitales, palabras, imágenes, páginas numeradas, entre otros rasgos.
El denotado de un signo, es en cambio, el conjunto de objeto que poseen las
caracterà designadas. En el presente caso, todos los libros habidos y por
haber, impresos o digitales, o sea, la clase o grupo de libros.
Entre los sinónimos que existen, según Gianella de Salama (citado en ), al
par correlativo de designado y denotado se tienen los siguientes:
Designado
Sentido
Connotación
Intensión
Denotado
Denotado
Denotado
Extensión
Conclusiones
A manera de cierre y considerando las caracterà de los lenguajes
naturales y los fines con los que se crearon los lenguajes artificiales se podrÃ
concluir que los lenguajes naturales por su naturaleza no son los más adecuados
para alcanzar la verdad ni como códigos de lenguaje ordinario, ni como sistemas
lingüà de las ciencias empà (fà biologà quÃ
REFERENCIAS
Austin, J. (1982). Cómo hacer cosas con palabras. Barcelona: Paidós
Garrido, M. (1983). Lógica simbólica. Madrid: Tecnos
Halliday, M.A.K. (1996). El lenguaje como semiótica social: la interpretación del
lenguaje y del significado. Barcelona: Paidós
Ramis, P. (2005). Lógica y crà del discurso (2ª. ed.). Mérida: ULA
Rodrà L., H. (2007). Apuntes prácticos de Lógica Formal. Caracas: San Pablo
Sáenz, J., Gil, F., López, B., Romero, N. y Bethelmy, J. (2001). Fundamentos de la
matemática (2ª. ed.). Barquisimeto: Hipotenusa
Universidad Nacional Abierta. (1985). Matemática I. (4ª.ed.). Caracas: Autor
Universidad Nacional Abierta. (1992). Lógica. Caracas: Autor