TRMINOS DE LGICA I

Texto de Alfredo Deao. Primeros conceptos. Introduccin a la lgica formal.

Uso apofntico del lenguaje: aquel discurso caracterizado por el valor de verdad o falsedad de
sus enunciados. Tambin se le llama enunciativo, declarativo, representativo, indicativo,
descriptivo, asertrico, aseverativo, etc.

Instancias y tipos: 1. cuando se verbaliza; 2. oracin como objeto abstracto.

Metalenguaje y lenguaje-objeto: 1. uso del lenguaje para hablar del mismo lenguaje, mencin;
2. uso normal del lenguaje para referirnos a cosas, uso no lingstico del lenguaje, uso.

Uso y mencin: nos limitamos a usar una palabra cuando nos servimos de ella como signo, es
decir, para aludir a algo distinto de ella misma. Mencionamos, en cambio, una palabra (adems
de usarla, o usndola con ese fin) cuando nos referimos a la palabra misma, cuando nos
detenemos en ella, sin ir ms all (uso de comillas para mencionar).

Semitica, sintaxis, semntica y pragmtica.

1. Ciencia que se ocupa del estudio de los signos, o de los lenguajes en cuanto sistemas de
signos.

2. Estudio de las relaciones de los signos entre s, teora de construccin e identificacin de

secuencias de signos bien formadas.

3. Disciplina que se ocupa de las relaciones entre signos y aquello que estos designan, entre los
signos y aquello de lo cual hablamos por medio de ellos.

4. Indagacin semitica en la que entra tambin en juego la consideracin de las relaciones

entre los elementos de un lenguaje y los sujetos (individuos o comunidades lingsticas). Inters
por el lenguaje en cuanto forma de conducta, en cuanto actividad de un sujeto o de un grupo de
sujetos.

Clculo: los clculos son lenguajes artificiales. En realidad no son propiamente lenguajes. Son
estructuras, sistemas de relaciones, juegos de sobremesa como las damas o el ajedrez.

Un clculo se compone de los siguientes elementos:

- Elementos primitivos, llamados tambin smbolos elementales, alfabeto o

vocabulario. Sistema de smbolos definido de manera efectiva y determinada.

- Reglas de formacin y construccin, que establecen cules son las combinaciones

correctas posibles de esos smbolos elementales. Estas han de proporcionar una definicin
efectiva de la nocin de 'expresin bien formada', de tal modo que sea posible, ante
cualquier combinacin de smbolos, decidir si es o no una frmula bien construida. Ahora
bien, las reglas de formacin en los lenguajes naturales son defectivas y no efectivas, en el
 sentido de que permiten la entrada de expresiones que ningn hablante aceptara como
ejemplos de uso natural del lenguaje y que, sin embargo, estn correctamente construidas.
Ej.: posiciones que deben ocupar las piezas en el tablero de ajedrez.

- Reglas de transformacin. Podemos transfomar una combinacin bien construida de

smbolos en otra combinacin que resultar igualmente bien construida. Como los
conceptos de smbolo primitivo y de frmula o expresin bien formada, el concepto de
transformacin ha de quedar definido de manera efectiva, en el sentido de que ha de ser
posible en todos los casos dictaminar si una transformacin ha sido efectuada
correctamente. Ej.: movimientos reglamentarios de las piezas de ajedrez.

Lenguaje natural y lenguaje artificial: 1. son las lenguas, creadas y recreadas constantemente
por la especie en el transcurso de muchos siglos y transmitidas a cada individuo en el transcurso
de pocos aos. 2. lenguajes de precisin, medios artificiosos de expresin construidos por los
cientficos para poder formular con mayor justeza las relaciones entre los objetos estudiados en
las respectivas ciencias.

Definicin de lgica para Alfredo Deao: conjunto de lenguajes formalizados; conjunto de

clculos y reglas formales del razonamiento, a los que se da una interpretacin en el campo de
investigacin que, desde Aristteles, constituye el objeto de la lgica.

Inferencia: inferir significa razonar y ello implica derivar una conclusin a partir de unas
premisas. Razonar es una forma de pensamiento, pero no todo pensamiento conlleva un
razonamiento (imaginar).

Validez formal: puesto que lo que constituye un razonamiento es la relacin que en l se da

entre unos enunciados que se toman como premisas y otro enunciado que resulta como
conclusin, parece razonable dividir los razonamientos segn la ndole de esa relacin. Los
razonamiento se dividen as en razonamientos vlidos y razonamientos no vlidos.

Tabla de triple entrada de Deao, ver fotocopia.

La validez de un razonamiento es independiente de la verdad o falsedad de las premisas y la

conclusin. Y puede haber razonamientos que sean vlidos, pero que tengan premisas y
conclusin falsas. Lo decisivo es comprender que un razonamiento es vlido cuando es imposible
que, siendo verdaderas sus premisas, sea falsa su conclusin.

La lgica no se ocupa de las verdades materiales, las verdades de hecho, sino de las relaciones
formales entre ellas.

Silogismo: aquel discurso en el que, afirmadas ciertas cosas, por el simple hecho de haberlas
afirmado se sigue necesariamente otra cosa distina de ellas.

Texto de Alwood. Teora de conjuntos

Conjunto: agrupacin o coleccin de elementos o entidades de cualquier tipo. Consiste en una
serie de elementos o miembros (no queda establecida una restriccin sobre la formacin de
conjuntos).

letras maysculas (A, B, C,...) para referirnos a conjuntos.

letras minsculas (a, b, c,...) para referirnos a objetos singulares.

el smbolo E, que se lee 'es un miembro de' o 'es un elemento de'.

Hay dos maneras de definir conjuntos: por enumeracin y por descripcin. Por ejemplo:

- Enumeracin: (juan, guillermo, enrique)

- Descripcin: (x|x es espaol pelirrojo)

Conjunto unidad: un conjunto de un nico elemento.

Conjunto vaco: conjunto que tiene cero elementos. o/

La razn de que solo exista un conjunto vaco estriba en un principio general de la teora de
conjuntos, el principio de extensionalidad: dos conjuntos son diferentes entre s exactamente
cuando existe al menos una cosa que es elemento de uno y no del otro. Esta distincin est
relacionada con otra que tendr gran importancia en los captulos siguientes: la distincin entre
intensin y extensin de una expresin. P. ej.: los espaoles pelirrojos. Las entidades
seleccionadas constituyen la extensin del sintagma nominal, mientras que el modo o manera
en que son seleccionadas, esto es, los criterios usados para determinar la extensin de la
expresin sera la intensin del sintagma. vemos ahora que el concepto de conjunto en teoria de
conjuntos se puede considerar extensional en el sentido de que no hay que preocuparse por el
modo en que los miembros de un conjunto se seleccionan.

Conjunto universal: 1. Universo del discurso: todo aquello de lo que se habla en cierto texto o
conversacin. El conjunto universal ser el conjunto de todos los objetos en el universo de
discurso pertinente.

RELACIONES ENTRE CONJUNTOS

A: conjunto de los europeos; B: conjunto de los ingleses

'B es un subconjunto de A' o 'B est incluido en A'. En teora de conjuntos se distinguen dos
relaciones: inclusin e inclusin propia. Inclusin propia: decimos que un conjunto B es un
subconjunto propio del conjunto A, cuando todos los miembros de B son miembros de A y
adems hay al menos un miembro de A que no es miembro de B. c, c

Si queremos decir que A y B son l mismo conjunto, escribimos A=B.

OPERACIONES CON CONJUNTOS