La Lógica I Trimestre

COLEGIO DE CIENCIAS: MUNDO FELIZ LGICA Y RAZONAMIENTO LGICO 4 y 5
LIC.
JAVIER VILLARREAL REYES

Sesin 01
LA LGICA

La ciencia que se basa en las leyes, modalidades y formas del conocimiento cientfico se conoce bajo
el nombre de lgica. Se trata de una ciencia de carcter formal que carece de contenido ya que hace
foco en el estudio de las alternativas vlidas de inferencia. Es decir, propone estudiar los mtodos y
los principios adecuados para identificar al razonamiento correcto frente al que no lo es.
La etimologa permite saber que el trmino lgica tiene su origen en el vocablo latn lgica, que a su
vez deriva del griego lgicos (de logos, razn o estudio). El filsofo griego Aristteles, cuentan
los expertos en cuestiones histricas, fue pionero al emplear la nocin para nombrar el chequeo de
los argumentos como indicadores de la verdad dentro de la ciencia, y al presentar al silogismo como
argumento vlido.
No obstante, no podemos pasar por alto que a lo largo de la historia existen otras muchas figuras que
han contribuido con sus ideas y planteamientos a desarrollar esta ciencia. As, por ejemplo, durante
la Edad Media hay que subrayar el papel que llev a cabo Averroes, el filsofo cordobs que, entre
otras cosas, manifest que era fundamental estudiar la lgica de los maestros antiguos para, a partir
de ah, proceder a filosofar de la manera correcta.
Ya en los siglos XVIII y XIX uno de los personajes que ms abord el tema de la lgica fue Immanuel
Kant. Este est considerado como uno de los pensadores ms importantes e influyentes de la historia
y destaca por el hecho de que en esta materia que nos ocupa estableci un nuevo concepto: la lgica
trascendental.
Un trmino aquel con el que dicho filsofo de origen prusiano intentaba definir al proceso por el cual
el ser humano debe llevar a cabo una investigacin de lo que vendran a ser los conceptos puros de
categoras de tipo trascendental o tambin de lo que es el exacto entendimiento.
Hegel, Augustus De Morgan, John Venn o Gottlob Frege son otros de los autores que han destacado
en el campo de la lgica y especialmente este ltimo que caus una autntica revolucin con sus
teoras. De ah que sea considerado, junto al mencionado Aristteles, como el lgico ms importante
de toda la historia. Y es que estableci los conceptos de prueba, lgica de predicados o lenguaje
formal.
Aristteles est considerado como el padre de la lgica formal. En cambio, la lgica informal refiere
al examen metdico de los argumentos probables a partir de la oratoria, la retrica y la filosofa,
entre otras ciencias. Tiene como objetivo el reconocimiento de paradojas y falacias, as como ser un
recurso eficaz para construir los discursos de forma correcta.
La lgica natural es la destreza natural para razonar sin apelar a la ciencia. La denominada lgica
borrosa o difusa, en cambio, es aquella que contempla una determinada incertidumbre al analizar el
carcter verdico o falso de las proposiciones, a semejanza del raciocinio propio del ser humano.
Por otra parte, la lgica matemtica se caracteriza por emplear un lenguaje simblico artificial y
realizar una abstraccin de los contenidos.
Existen otros tipos o clases de lgica, como la llamada lgica binaria, la cual trabaja con variables que
slo toman dos valores discretos.

Definicin de lgica - Qu es, Significado y Concepto http://definicion.de/logica/#ixzz2MQCduc8w

ACTIVIDAD: 01

LIC.

Sesin 02

"Antes del pensamiento que aspira a una coherencia lgica
hallamos fe en una u otra magia".

Introduccin1
El nacimiento de la lgica propiamente dicho est directamente relacionado con el nacimiento
intelectual del ser humano. La lgica emerge como mecanismo espontneo en el enfrentamiento del
hombre con la naturaleza, para comprenderla y aprovecharla. Poncair destaca cinco etapas o
revoluciones en ese proceso que se presentan entre dos grandes tpicos: del rigor y la formalidad, a la
creatividad y el caos. Las etapas se identifican como: Revolucin Matemtica, Revolucin Cientfica,
Revolucin Formal y Revolucin Digital adems de la prxima y prevista Revolucin Lgica.
Lgica Matemtica
La lgica matemtica cuestiona con rigor los conceptos y las reglas de deduccin utilizados en
matemticas lo que convierte la lgica en una especie de metamatemtica. Una teora matemtica
considera objetos definidos -enteros, por ejemplo- y define leyes que relacionan a estos objetos entre
s, los axiomas de la teora. De los axiomas se deducen nuevas proposiciones -los teoremas-, y a
veces, nuevos objetos. La construccin de sistemas formales -formalizacin, piedra angular de la lgica
matemtica-, permite eliminar la arbitrariedad en la eleccin de los axiomas y definir explcita y
exhaustivamente las reglas de la deduccin matemtica.
Las matemticas y la lgica
Del ao 600 aC hasta 300 aC se desarrollan en Grecia los principios formales de las matemticas. Este
periodo clsico lo protagonizan Platn, Aristteles y Euclides. Platn propone ideas o abstracciones.
Aristteles resuelve el razonamiento deductivo y sistematizado. Euclides es el autor que establece el
mtodo axiomtico. En los Elementos Euclides organiza las pruebas deductivas de que dispone dentro
de una estructura sistemtica, rigurosa, altamente eficaz.
Platn
Platn, 427aC - 347 aC, propone instaurar en Siracusa una utpica repblica dirigida por filsofos. Crea
la Academia de Atenas que no era solo una institucin filosfica, sino centro de formacin poltica para
jvenes aristcratas. Segn algunos especialistas, Platn edifica su teora del conocimiento con el fin
de justificar el poder emergente de la figura del filsofo. Sostiene la existencia de dos mundos -el
mundo de las ideas y el de mundo fsico de los objetos. Segn Platn, lo concreto se percibe en
funcin de lo abstracto y por tanto el mundo sensible existe gracias al mundo de las ideas. Platn
escoge el formato dilogo como forma de transmisin del pensamiento.
Aristteles
Los tratados de lgica de Aristteles, 384aC - 332 aC, conocidos como rganon, contienen el primer
tratado sistemtico de las leyes de pensamiento para la adquisicin de conocimiento. Representan el
primer intento serio que funda la lgica como ciencia. Aristteles no hace de la lgica una disciplina
metafsica sino que establece correspondencias recprocas entre pensamiento lgico y estructura
ontolgica. El silogismo fue adoptado por los escolsticos que representan el sistema teolgico-
filosfico, caracterstico de la Edad Media. La escolstica, sin embargo, acab por sobrecargar la teora
del silogismo, lo que acarre su descrdito a partir del Renacimiento. Los lgicos de la edad moderna
como Rame, Arnauld, Nicole, Leibniz, Euler, y Lambert procuraron simplificarla al mximo, y su
tratamiento matemtico se complet hasta principios del siglo XX con Boole, De Morgan, Frege y

LIC.

Russell. Desde entonces el silogismo se incluye en la lgica de predicados de primer orden y en la
lgica de clases, y ocupa en la ciencia lgica un papel mucho menor que en otros tiempos.
Euclides
Matemtico alejandrino autor de la universal obra, los clebres Elementos. Uno de los textos
matemticos ms relevantes de la historia del pensamiento cientfico hasta del siglo XIX. Los
Elementos estn divididos en XIII Libros y constituyen la recopilacin ms exhaustiva de las
matemticas conocidas en el ao 300 aC. Su valor universal lo propaga el uso riguroso del mtodo
deductivo que distingue entre principios -definiciones, axiomas y postulados-, y teoremas, que se
demuestran a partir de los principios. A lo largo de la historia se mantuvo la sospecha de que el quinto
postulado era demostrable a partir de los anteriores. El deseo de resolver tal hiptesis ocupa hasta el
siglo XIX con la construccin de las geometras no euclidianas y se deduce con ellas la imposibilidad de
demostrar el quinto postulado.
Apolonio de Perga
La obra sobre curvas cnicas de Apolonio de Perga, un gemetra de la poca helenstica-,
inicialmente dirigido a euclidianos exquisitos, se convirti en manual para balsticos del Renacimiento
como Tartaglia y, poco despus, en base inmediata de la dinmica newtoniana
4
.
La ciencia matemtica
Ante el retroceso de la escuela clsica de los griegos se presentan periodos de autoridad religiosa. El
Renacimiento es el inicio de una nueva revolucin que revive la ciencia y las matemticas. Los
representantes ms destacados son Descartes, Newton y Leibniz. Este periodo abarca del ao 1500dC
al 1800 dC.
Ren Descartes
Filsofo y matemtico francs, 1596-1650, parte de la duda universal como principio y prescinde de
cualquier conocimiento previo que no quede demostrado por la evidencia con que ha de manifestarse
el espritu. Descartes duda de toda enseanza recibida, de todo conocimiento adquirido, del testimonio
de los sentidos e incluso de las verdades de orden racional. Llegado a este punto, halla una verdad de
la que no puede dudar: la evidencia interior que se manifiesta en su propio sujeto (pienso, luego
existo). Como cientfico, se debe a Descartes, entre otras aportaciones de considerable importancia,
la creacin de la geometra analtica a la vez que aporta un corpus cuantitativo al asunto y permite el
uso de mtodos algebraicos. La geometra exige ser cuantitativa para ser usada en ciencia e
ingeniera, y los mtodos algebraicos permiten el desarrollo ms rpido que los mtodos sistemticos -
a su vez ms rigurosos- requeridos por el enfoque axiomtico de la geometra clsica. Ubi dubium ibi
libertas, donde hay duda hay libertad.
Isaac Newton
A Isaac Newton , 1642-1727, se le debe el descubrimiento de la gravitacin universal, el desarrollo del
clculo infinitesimal e importantes descubrimientos sobre ptica, as como las leyes que rigen la
mecnica clsica que alimentara el nacimiento de la mecnica cuntica. Su obra fundamental,
Principios matemticos de la filosofa natural (1686).
Gottfried W. Leibniz
Filsofo y matemtico alemn, 1646-1716; fund la Academia de Ciencias de Berln, 1700. En Discurso
sobre el arte combinatorio enuncia la necesidad de un lenguaje riguroso, exacto y universal puramente
formal. Como matemtico, su principal trabajo publicado en 1684 es la memoria Nuevo mtodo para la
determinacin de los mximos y los mnimos, en la que expone las ideas fundamentales del clculo
infinitesimal, anticipndose unos aos a Newton. La notacin que emple es particularmente cmoda y
se sigue utilizando con algunas modificaciones; introdujo el smbolo de integral y de diferencial de una
variable. En el rea de lgica matemtica publica Generales inquisitiones de analysi notionum et
veritatum y Fundamenta calculi logici .
Georg Wilhelm Friedrich Hegel

LIC.

Filsofo alemn, 1770-1831; fascinado por la obra de Kant y de Rousseau. Autor de Ciencia de la
lgica se le atribuye con este trabajo la constitucin de la lgica dialctica entendida como principio
motor del concepto que disuelve y produce las particularidades de lo universal.
Nikolai I. Lobachevsky
Matemtico ruso, 1792-1856; funda la Geometra No Euclidiana y renueva por ello los fundamentos que
hasta ese momento cimentaban la ciencia de la Geometra. Lobachevsky lleva a cabo su revolucin
en el planteamiento que hasta entonces haba utilizado la ciencia Matemtica para resolver el enigma
del quinto postulado de Euclides que a su vez sirve de puerta a Lobachevsky para adentrarse en los
renovados campos de lo fsico y lo real.
Formalizacin de las Matemticas
Esta etapa se caracteriza por el resurgimiento de la formalizacin rigurosa de las matemticas, que en
la etapa clsica griega fu representativa. El uso de los infinitesimales fue una de las prcticas ms
notoria en la poca renacentista, para la cual no se ofreca una justificacin. La rigorizacin del anlisis
lleg con la eliminacin de los infinitesimales y la presencia de los lmites como argumento. En este
periodo se crea la lgica simblica, la escuela formal, la lgica booleana, el clculo proposicional, la
induccin matemtica, el clculo de secuentes,.... Personajes muy notables de esta etapa son: Peano,
Hilbert, Frege, Boole, de Morgan, Gentzen, Russell, Gdel y Whitehead. A Rusell y Gdel se deben los
planteamientos de las limitantes de la lgica y de la ciencia en general.
Guiseppe Peano
La enunciacin de los principios del italiano Guiseppe Peano, 1858-1932, acerca de lgica matemtica
y su aplicacin prctica quedaron contenidos en su obra Formulaire de mathematiques. Los axiomas de
Peano permiten definir el conjunto de los nmeros naturales.
David Hilbert
Matemtico alemn, 1862-1943, aporta grandes avances a campos fundamentales de la relatividad y la
mecnica cuntica con la Teora de Invariantes y el concepto de Espacio de Hilbert. A partir de las
fuentes griegas de Euclides, publica en 1899 su obra Fundamentos de Geometra, en la que formula
sus principios de axiomatizacin de la geometra. Segn sus teoras, es necesario establecer un
conjunto de postulados bsicos antes de plantear de modo ms detallado cualquier tipo de problema
fsico o matemtico. Estos principios deben ser simblicos, sin recurrir a dibujos y representaciones
grficas, y es necesario preveer la mayora de las posibilidades con antelacin. Su concepcin
reconoca tres sistemas de entes geomtricos, puntos, rectas y planos a los que pueden aplicarse
axiomas distribuidos en cinco categoras: pertenencia, orden, igualdad o congruencia, paralelismo y
continuidad.
Friedrich G. Frege
Junto con Boole y Peano, el matemtico y lgico Friedrich G. Frege, 1848-1925, partiendo del anlisis
de los fundamentos de la matemtica lleva a cabo la ms profunda renovacin y desarrollo de la lgica
clsica hasta el momento. Es el primero en introducir los cuantificadores u operadores y en elaborar
una Teora de la Cuantificacin.
George Boole
El lgico y matemtico George Boole, 1815-1864 aplica el clculo matemtico a la lgica, fundando el
lgebra de la lgica. En cierto modo realiza el sueo de Leibniz de una characteristica universalis o
clculo del raciocinio. El empleo de smbolos y reglas operatorias adecuadas permite representar
conceptos, ideas y razonamientos mediante variables y relaciones (ecuaciones) entre ellas. Boole dio
un mtodo general para formalizar la inferencia deductiva, representando complicados raciocinios
mediante sencillos sistemas de ecuaciones. As, la conclusin de un silogismo se encuentra eliminando
el trmino medio de un sistema de tres ecuaciones, conforme a las reglas del lgebra comn, La
formalizacin de la lgica, iniciada por Boole, ha contribuido poderosamente a aclarar la estructura de
los objetos lgicos, en contraposicin a los materiales y aun en contraposicin a los matemticos, pese
a las analogas formales entre la matemtica y la lgica, que Boole seal. Su obra principal es

LIC.

Investigacin de las leyes del pensamiento en las que se fundan las teoras matemticas de la lgica y
la probabilidad, 1854, que an hoy se lee con deleite.
Augustus De Morgan
La mayor contribucin de Augustus De Morgan (1806-1871) en el estudio de la lgica incluye la
formulacin de las Leyes de Morgan y su trabajo fundamenta la teora del desarrollo de las relaciones y
la matemtica simblica moderna o lgica matemtica. De Morgan es autor de la mayor contribucin
como reformador de la lgica.
Georg F. Cantor
Al matemtico alemn Georg F. Cantor, 1845-1918, se debe la idea del infinito continuo, es decir, la
posibilidad de considerar conjuntos infinitos dados simultneamente. Se le considera el creador de la
teora de los nmeros irracionales y de los conjuntos.
Gentzen
El alemn Gentzen (1909-1945) formul la prueba de la consistencia de un sistema de aritmtica
clsica en el cual el mtodo no elemental es una extensin de induccin matemtica a partir de una
secuencia de nmeros naturales a un cierto segmento de nmeros ordinales transfinitos.
Bertrand Rusell
Bertrand Rusell (1872-1970) es uno de los creadores de la logstica y uno de los pensadores de mayor
influencia en la filosofa cientfica contempornea. Lo fundamental en su obra es su aportacin a la
lgica. Antiaristotlico por excelencia lleg a afirmar que para iniciarse en lgica lo bsico era no
estudiar la lgica de Aristteles. Conociendo los trabajos de Cantor descubre en la Teora de
Conjuntos varias paradojas que resuelve mediante la Teora de los Tipos. Aos ms tarde establece
una teora similar, -la de la jerarqua de los lenguajes- para eliminar las paradojas semnticas.
Siguiendo adems de los trabajos de Cantor, a Peano y Frege, Rusell se propone fundamentar y
axiomatizar la matemtica a partir de conceptos lgicos. Este empeo culmina con la publicacin
(1910-1913) de los monumentales Principia Mathematica -en colaboracin con Whitehead-, obra que,
adems, sienta las bases de la moderna lgica formal.
Kurt Gdel
Kurt Gdel (1906-1978) aporta mltiples contribuciones a la lgica matemtica, destacando la
demostracin de la consistencia de la hiptesis cantoriana del continuo y el teorema y prueba de
incompletez semntica. En Sobre las proposiciones indecidibles de los sistemas de matemtica formal
establece que es imposible construir un sistema de clculo lgico suficientemente rico en el que todos
sus teoremas y enunciados sean decidibles dentro del sistema. Con este teorema se demostr
definitivamente que era imposible llevar a cabo el programa de la axiomatizacin completa de la
matemtica propugnado por Hilbert y otros, ya que, segn l, no puede existir una sistematizacin
coherente de la misma tal que todo enunciado matemtico verdadero admita demostracin. Siempre
habr enunciados que no son demostrables ni refutables. Para probar esta asercin se sirvi de la
matematizacin de la sintaxis lgica.
La Revolucin Digital
Esta revolucin se inicia con la invencin de la computadora digital y el acceso universal a las redes de
alta velocidad. Turing relaciona lgica y computacin antes que cualquier computadora procese datos.
Weiner funda la ciencia de la Ciberntica. En las Escuelas modernas de Computacin estn presentes
Lgicos que han permitido avances importantes como Hoare que presenta un sistema axiomtico de
los sistemas de programacin y Dijkstra con un sistema de verificacin y deduccin de programas a
partir de especificaciones.
Alan Turing
Matemtico y Lgico pionero en Teora de la Computacin que contribuye a importantes anlisis
lgicos de los procesos computacionales. Las especificaciones para la computadora abstracta que l
idea -conocida como Mquina de Turing-, resulta ser una de sus ms importantes contribuciones a la
Teora de la Computacin. Turing adems prueba que es posible construir una mquina universal con

LIC.

una programacin adecuada capaz de hacer el trabajo de cualquier mquina diseada para resolver
problemas especficos. La Mquina de Turing es un intento para determinar si la matemtica se puede
reducir a algn tipo simple de computacin. Su objetivo fu desarrollar la mquina ms simple posible
capaz de realizar computacin. La mquina propuesta por Turing es un dispositivo relativamente
simple, pero capaz de realizar cualquier operacin matemtica. Turing se ilusion con la idea de que su
mquina poda realizar cualquier proceso del cerebro humano, inclusive la capacidad de producir
conciencia de uno mismo.
Norbert Weiner
El cientfico norteamricano Norbert Weiner (1894-1964) en 1947 publica su libro ms famoso:
Ciberntica, o control y comunicacin en el animal y la mquina; en donde se utiliza por primera vez la
palabra Ciberntica. Existen muchas definiciones de Ciberntica -del griego kybernetes, piloto-, y
Norbert Weiner da vida a la palabra con una definicin simple: La Ciberntica es la ciencia que estudia
la traduccin de procesos biolgicos a procesos que reproduce una mquina. Desde los inicios la
Ciberntica se relaciona directamente con ciencias como Neurologa, Biologa, Biosociologa,
Robtica e Inteligencia Artificial.
Luitzen Egbertus Jan Brouwer
Matemtico y lgico alemn (1881-1966) conocido como LEJ Brouwer y fundador de la escuela de la
Lgica intuicionista contrarrestando definitivamente el formalismo de Hilbert. Miembro del Significs
Group son significativos sus trabajos Life, Art and Mysticism (1905) y Sobre la infiabilidad de los
principios lgicos.
Alfred Tarski
Matemtico y lgico y filsofo polaco (1902-1983). Emrito profesor de la University of California,
Berkeley, realiza importantes estudios sobre lgebra en general, teora de mediciones, lgica
matemtica, teora de conjuntos, y metamatemticas. El trabajo de Tarski
5
incluye respuestas a la
paradoja de Banach-Tarski, el teorema de la indefinibilidad de la verdad, las nociones de cardinal,
ordinal, relacin y es inductor de las lgebras cilndricas.
Benoit Mandelbrot
El gran impulsor de la matemtica contempornea y pionero de la geometra fractal
6
a quien la
computacin pura revela la moderna Geometra de la Naturaleza. Fractal y geometra fractal son el
corpus principal de sus investigaciones adems de los sistemas irreversibles. A la prctica totalidad de
disciplinas se aplican hoy sus principios dando por sentado paradigmas como la Teora del Caos que a
finales del siglo XX ya contemplaba el estudio de sistemas dinmicos, irreversibles, caticos.
La siguiente revolucin lgica
La siguiente Revolucin Lgica incorpora la fusin entre matemticas y computacin. Las
computadoras tienden a explorar datos inteligentemente transfiriendo informacin de las bases de
datos a las bases de conocimiento interconectadas a travs de la Red a escala infinitesimal.
La lgica evoluciona pues como un gen hacia la culminacin del conocimiento libre que nace del rigor
formal de la Matemtica griega; emerge renovadamente de etapas de persecucin tan oscuras como la
Edad Media y otros intentos ms recientes; hasta el intercambio constante y continuo de datos en la
moderna era de estructura de redes que Internet proporciona a modo neuronal a la Humanidad.

Notas
1 - Henri Poincare. University of St. Andrews.
Www-history.mcs.st-andrews.ac.uk
2 - Antonio Escohotado. Gnesis y Evolucin del Pensamiento Cientfico.
www.escohotado.com

LIC.

3 - Cfr. Escohotado. El Pensamiento Precientfico. Tema 1.
www.escohotado.com
4 - Cfr. Las trivialidades del rigor, Escohotado, Caos y Orden, 1999.
5 - Alfred Tarski. Wikipedia.
en.wikipedia.org/wiki/Tarski
6 - Benoit Mandelbrot. Historia de las Fractales.
www.geometriafractal.com
Bibliografa recomendada
DICCIONARIO DE LGICA Y FILOSOFIA DE LA CIENCIA
de MOSTERIN, JESUS y TORRETTI, ROBERTO
ALIANZA EDITORIAL S.A.
N Edicin:1
Ao de edicin: 2002
Plaza edicin: MADRID

ACTIVIDAD: 02
Sesin 03
CONOCER Y PENSAR
1. El Conocimiento.
Es la operacin por medio de la cual el sujeto se da cuenta de algo a travs del entendimiento y los
sentidos, obteniendo una representacin intra mental de lo que lo rodea.
1.1.2. Elementos del Conocimiento.
- Sujeto Cognoscente.- Es aquel en donde se lleva a cabo la representacin del objeto.
- Objeto.- Aquel que es accesible al conocimiento o susceptible de ser conocido.
- Relacin Inmanente.- Operacin por la cual se lleva a cabo el proceso del conocimiento.
1.2. El Pensamiento.
Es combinar las representaciones obtenidas inmanentemente. // Es la representacin mental de un
objeto para buscar y generalizar la realidad.
1.2.3. Factores del Pensamiento
Son aquellos que producen o causan en nosotros la accin de pensar. Se dividen en externos o
internos.
- Externos.- Conjunto de elementos, objetos o cosas mediante los cuales obtenemos el contenido o
materia de nuestro pensamiento.
- Internos.- Son las operaciones, formas y expresiones del pensamiento.
1.2.4. Formas del Pensamiento.
Estas formas del pensamiento son reflejo material de la realidad en el cerebro del hombre, sus propias
relaciones reflejan lo que existe entre los objetos del mundo circundante.

LIC.

- Concepto.- Representacin mental de un objeto sin afirmar ni negar nada de l.
- Juicio.- Cuando afirmamos o negamos la relacin que existe entre dos o ms ideas.
- Raciocinio.- Cuando se relacionan dos o ms juicios para obtener un conocimiento nuevo.
II. El Concepto.
Es la representacin mental de un objeto sin afirmar ni negar nada de l. // Representacin mental,
superior a la simple imagen. // No afirma ni niega, es neutra, no se refiere a la existencia del objeto; en
eso difiere del juicio. // Es una representacin, expresin o significado.
2.2 Caractersticas
1.- la representacin mental (idea)
2.- La expresin material (trmino)
3.- El significado (concepto)
2.4 Notas: Comprensin, extensin
Comprensin de un concepto, se refiere a una idea o a las notas fundamentales de esa idea, es decir,
a la esencia del concepto
Extensin es una amplitud de conceptos e ideas que se aplican o se relacionan con una sola idea o
concepto. Todos aquellos entes que entran en la comprensin de un objeto.
2.6. Operaciones Conceptuadoras
Son herramientas que permiten comprender el significado de un concepto y su relacin con otros.
2.6.2. Clasificacin.
La Definicin.- (delimitar) Es la explicacin breve y suficiente de lo que es una cosa, sin aadir ni
quitar nada de ella. // Es la operacin lgica que consiste en desarrollar la comprensin del concepto.
Reglas de la definicin:
1. Debe ser breve y completa.
2. Lo definido no debe entrar en la definicin.
3. Debe convenir a todo lo definido y solo a lo definido.
4. La definicin no debe ser negativa.
5. Debe ser ms clara que lo definido.
6. Debe indicar las cualidades del objeto.
Tipos de Definiciones:
- Escenciales.- Aquellas que desarrollan notas que hacen ser al objeto como es y no de otra manera.
- No Escenciales.- Aquellas definiciones que desarrollan las notas del objeto que le son accesorias.
- Extrnsecas.- Enuncian notas del objeto a partir de elementos externos a el.
- Etimolgicas.- Desarrollan notas correspondientes al vocablo, a su conformacin y a la evolucin
histrica.
La Divisin.
Es la distribucin del todo en sus partes. // Es la operacin lgica que consiste en mostrar las especies
que estn contenidas en un gnero.
Elementos de la divisin
1. El todo.- Elemento divisor.
2. las partes.- Elemento constitutivo.
3. El fundamento de la divisin.- Su finalidad.
Reglas de la Divisin

LIC.

1. Debe ser equivalente, el todo y las partes deben valer lo mismo.
2. Debe ser ordenada y gradual, que sus elementos tengan una relacin sustantiva y jerrquica.
3. Deben excluirse entre s, ninguna debe estar dentro de otra.
4. Debe ser breve para facilitar su claridad.
Tipos de Divisin
Divisin Fsica.- Es la desarticulacin de un objeto en sus partes materiales que lo conforman. Es la
separacin que materialmente tiene un ente singular.
Divisin lgica o mental.- Es la operacin por la cual la mente penetra en los elementos de la
comprensin del concepto para distinguirlos y separarlos.
Clasificacin.- Es la operacin por medio de la cual ordenamos los elementos de la extensin del
concepto.
La Clasificacin
Es la operacin por medio de la cual podemos distinguir los gneros en los que estn contenidas las
especies.
III. El Juicio.
Es el acto central del entendimiento humano por el cual afirmamos o negamos la relacin de los
contenidos en el ser. // Es la afirmacin o negacin del ser de las cosas. // Es la relacin enunciativa
entre conceptos.
3.2. Elementos del Juicio
1. Sujeto.- es el concepto de quien se predica o dice algo.
2. Predicado.- Es el concepto que se aplica al sujeto.
3. Nexo Verbal.- Es la expresin que nos da la relacin necesaria con el ser.
Importancia del Juicio
1. El juicio es un pensamiento completo autnomo.
2. Las ciencias se componen principalmente por juicios.
3. El juicio es la cede de la verdad.
3.3. Clases de Juicios
1. Segn su Cantidad
1.1. Universales.- Aquellos que se refieren a una totalidad.
1.2. Particulares.- Aquellos que se refieren a varios objetos sin llegar a la totalidad.
1.3. Singulares.- Se refieren a la unidad.
2. Segn su Cualidad o Calidad
2.1. Afirmativos.- Expresan la convivencia entre sujeto y predicado.
2.2. Negativos.- Expresan la no convivencia entre sujeto y predicado.
3. Segn su Relacin
3.1. Categricos.- Los que no estn sujetos a ninguna relacin.
3.2. Hipotticos.- Los que estn sujetos a una condicin extrnseca.
3.3. Disyuntivos.- Los que estn sujetos a una condicin intrnseca.
4. Segn su Modalidad
4.1. Apodcticos.- Aquellos que tienen una validez necesaria.
4.2. Asertrico.- Aquellos que tienen una validez de hecho.
4.3. Problemticos.- Aquellos que tienen una validez posible o probable.
5. Segn su oposicin

LIC.

5.1. Contrarios.- Son aquellos que difieren en calidad y ambos son universales.
5.2. Sub contrarios.- Difieren en calidad pero ambos son universales
5.3. Subalternos.- Difieren en Cantidad pero no en calidad.
5.4. Contradictorios.- Difieren tanto en calidad como en cantidad.
6. Segn su Predicabilidad
6.1. Escencia.- Aquellos en los que el predicado seala notas escenciales del sujeto.
6.2. Existencia.- Son aquellos en el que el predicado enuncia la forma de existir o de presentarse el
sujeto.
6.3. Analticos.- Aquellos en los que el predicado se obtiene del anlisis del sujeto.
6.4. Sintticos.- Son aquellos en los que el predicado no se obtiene del anlisis del sujeto.
IV. Principios Lgicos.
4.1. De Contradiccin
Fundamento ontolgico: Es imposible que el ser sea y no sea al mismo tiempo. Es imposible que un
ente sea y no sea al mismo tiempo y bajo el mismo aspecto.
Fundamento Lgico: Es imposible afirmar y negar el mismo predicado a un solo sujeto
simultneamente, por eso no puede ser verdadero y falso a la vez.
4.2. De Identidad.
Tiene un fundamento ontolgico, este dice que el ser es idntico a si mismo necesariamente. Todo ente
es idntico a s mismo y distinto a los dems por que el ser es la autenticidad necesaria.
Fundamento lgico: Un juicio analtico siempre ser verdadero, debe estar de acuerdo absolutamente
consigo mismo. En un juicio el concepto sujeto siempre ser idntico al predicado y este ser
verdadero.
4.3. Principio de Tercer Excluido.
Fundamento Ontolgico: Entre el ser y el no ser no existen medios. El ser es o no es, no existe otra
posibilidad.
Fundamento lgico: Todo juicio tiene dos posibilidades de ser, verdadero o falso, no existe una tercera
posibilidad.
4.4. De Razn Suficiente. (Laibniz)
Fundamento Ontolgico: Todas las cosas deben tener una razn por la cual son y no son otra cosa.
Nada sucede y nada existe sin una razn suficiente para que as sea.
Fundamento Lgico: Todo juicio que pretende ser verdadero debe tener una razn a partir del objeto a
que se refiere. Causa Efecto.
V. La Inferencia o Razonamiento.
Es la operacin mental por la cual podemos obtener un conocimiento desconocido a partir de uno
previo. // Es el acto por el cual la mente deduce una verdad desconocida a partir de una conocida.
Cuando emitimos nuestros pensamientos formamos una cadena de juicios, ya que uno provoca
necesariamente otro y as sucesivamente, a esta cadena o serie de pensamientos le llamamos
"razonamiento".
5.2. Tipos de Razonamiento.
- Inductivo.- Aquel por el cual la mente obtiene un juicio universal a partir de uno particular.
- Deductivo.- Aquel por el cual se obtiene un juicio particular a partir de uno universal.
- Por Analoga.- Es el acto por el que la mente analiza un grupo de elementos y objetos que tienen
caractersticas comunes, y se puede concluir que las restantes caractersticas tambin sern
comunes.

LIC.

- Por Mayora de Razn.- Es aquel por el cual la mente infiere una conclusin partiendo de un
pensamiento de menor jerarqua, aplicndolo a un grupo mayor de elementos que necesariamente
comparten las mismas caractersticas.
- Por Minora de Razn.- El acto por el cual la mente infiere una conclusin vlida partiendo de un
grupo de elementos mayor y aplicando dicha conclusin a un grupo menor que necesariamente
comparte las mismas caractersticas.

Hiram Lpez Snchez
UNIVERSIDAD AUTNOMA DE SAN LUIS POTOSI
ACTIVIDAD 03
SEMANA 04

EXAMEN
UNIDAD I (miscelnea)
Sesin 05
LA PROPOSICIN LGICA

1. Definicin

Es la expresin lingstica del juicio aseverativo y como enunciado tiene sentido y
coherencia con significado o contenido contextual, que puede ser calificada de verdadera
o solo falsa. Pero no ambas a la vez.
Wittgenstein afirma que, la proposicin es un estado de cosas (signos) que
figura o representa otroestado de cosas. Es decir que la proposicin es una figura de la
realidad y es verdadera porque muestra cmo estn las cosas, muestra el aspecto lgico
de la realidad.
Para la corriente filosfica neopositivista la proposicin lgica es una epsteme o
proposicin cientfica, mientras que la proposicin emprica o de la vida cotidiana carece
de medios cientficos como la observacin, hiptesis, la experimentacin y comprobacin
para afirmar o negar su significado. Como el juicio aseverativo se expresa usando el
lenguaje, luego se materializa a travs de la oracin aseverativa.

2. Caractersticas de la proposicin en el marco de la teora del lenguaje

Primero debemos recordar lo siguiente:
La oracin en el campo de la teora del lenguaje o la comunicacin; es de origen
gramatical. La oracin es la menor unidad del habla que transmite un mensaje
completo por s misma, por lo que se dice que tiene sentido completo e
independencia sintctica.
Ejemplo: El cactus puede vivir con poca cantidad de agua.

Las oraciones se clasifican:

LIC.

a) Oracin bimembre, generalmente, las oraciones estn formadas por dos partes o
miembros enfrentados llamados sujeto y predicado, por eso reciben el nombre de
oraciones bimembres (OB). Ejemplo: El granero est limpio y preparado.
b) Oracin unimembre, aquellas oraciones que no pueden dividirse en sujeto y
predicado, ya sea porque no tienen verbo o porque el verbo es impersonal, se
llaman oraciones unimembres (OU). Ejemplo: Silencio!.
c) Oraciones aseverativas: pueden ser afirmativas o negativas.(son proposiciones)
d) Oraciones interrogativas: sirven para preguntar.
e) Oraciones exclamativas: son admirativas y las que causan sorpresas.
f) Oraciones exhortativas: se usan para hacer ruegos o mandatos.
g) Oraciones desiderativas: expresan deseos.
h) Oraciones dubitativas: expresan duda.

Ahora detallamos las caractersticas ms importantes de las proposiciones:

Son oraciones denotativas, declarativas y aseverativas, porque afirman o niegan
una cosa de otra.
Ejemplos:
a) Los tomos tienen ncleo (afirmativa).
b) 8 > 3 + 4
c) Toledo es el presidente del Per.
d) El movimiento no es absoluto (negativa).

Sintcticamente est formado por sujeto y predicado.
Ejemplos:
a) La tierra es de forma plana.
b) Soy responsable (est en primera persona).
c) Trujillo es metrpoli.
d) Los nmeros no son concretos".

Distintas oraciones declarativas pueden tener una misma proposicin.
Ejemplos:
a) Fujimori es compadre con Vladimiro y Fujimori y Vladimiro son compadres.
b) La televisin es perniciosa y alienante y La televisin es alienante y perniciosa.

La oracin aseverativa, expresin de la proposicin debe tener sentido
(interpretada y comprendida) por una comunidad.
Ejemplos:
a) El neoliberalismo es inhumano, es comprendido por los polticos en el mundo.
b) Chan Chan es resto histrico, comprendido por los peruanos.
c) El tringulo de las Bermudas es mstico, comprendido por los centroamericanos.

Algunas oraciones llevan el sujeto implcito.
Ejemplos:
a) Llueve se entiende como Hoy llueve.
b) Esperar en la playa se comprende como Yo esperar en la playa.

La proposicin es verdadera o slo falsa, es decir denotan o designan un
significado lgico de la realidad.
Ejemplos:
a) La lgica es una ciencia, es verdadera.
b) El anarquista no es democrtico, es verdadera en la sociedad.
c) Toda ecuacin no tiene variable, es falsa en las ciencias matemticas.

LIC.

3. No son proposiciones

3.1 Los enunciados expresivos

a) Admirativas: Viva el Per!
b) Desiderativas: Te deseo suerte....
c) Todo lo que corresponde a la imaginacin:
Cuentos: La caperucita roja visit a su abuelita.
Fbulas: La zorra miraba las uvas para comerlas.
Leyendas: Manco Cpac sali del Lago Titicaca.
Refranes, proverbios, etc.

3.2 Las doxas

No son proposiciones.
a) Segn Parmnides son opiniones que plasman una apariencia, ilusin o engao
con la verdad.
b) Segn Platn, es una opinin que se contrapone a la ciencia, o saber verdadero.

Ejemplos:
a) La virgen de la puerta es milagrosa.
b) Reza mucho y Dios te perdonar tus pecados.

3.3 Los enunciados sin sentido

a) Todo padre es un rombo.
b) La multiplicacin de mis errores es amarillo.

3.4 Los enunciados abiertos

a) es traidor.
b) X
2
7 = 10
c) (x 1) (x 1) = X
2
1

3.5 Las expresiones directivas
Son rdenes, mandatos o peticiones, prescripciones o normas de conducta y
jurdicas.

Ejemplos:
a) Silencio!
b) No rayar las paredes.

3.6 Los enunciados en metalenguaje pero mal usados
Son enunciados que usan o no comillas, en una o ms palabras, en la que no se
especifican los niveles de lenguaje y como consecuencia se producen frases
ambiguas.

Ejemplos:
a) Pedro tiene cinco letras.
b) La palabra oso es un animal.
c) Deshonesto es sinnimo de corrupto.

LIC.

4. Clases de proposiciones por sus propiedades

4.1 Por su cantidad:

a) Proposiciones universales

Cada vez que el sujeto lleva el operador cuantificacional Todos..
Ejemplos:
Todo congresista es poltico.
Los nmeros son abstractos.
Cada circuito tiene entrada y salida.

b) Proposiciones particulares

Cada vez que el sujeto lleva el operador existencial Algunos.
Ejemplos:
Algunos electrones salen de su rbita.
Casi todo fujimorista es corrupto.
Casi no existen anarquistas infantiles.

c) Proposiciones singulares

Cuando el sujeto es un nombre propio.
Ejemplos:
El Per depende del fondo monetario internacional.
El cero es neutro.
Fujimori est prfugo.

4.2 Por su calidad

a) Proposiciones afirmativas

Si el verbo est afirmado.
Ejemplo:
Trujillo es metrpoli.
Pi es irracional.
Los polgonos estn en el plano.

b) Proposiciones negativas

Si el verbo est negado.
Ejemplos:
Trujillo no es metrpoli.
Pi no es irracional.
Fujimori es anticomunista.

4.3 Por su modalidad

a) Proposiciones asertricas (de realidad)

LIC.

Son proposiciones empricas, contingentes o de hecho, fcticas, que pueden ser
verdaderas o falsas, afirmativos o negativos de acuerdo a su realidad inmediata
dependen tan slo de la percepcin. Son as mismo descripciones de hechos
singulares, particulares y universales.
Ejemplos:
La casa es negra.
Tumbes est en el norte del Per.
Algunos congresistas son trnsfugas.
Los peruanos preparan una nueva democracia para una nueva repblica.

Tambin son llamadas proposiciones sintticas (pertenecen a la
experiencia).Cuando el significado del concepto predicado no est incluido en el
significado del sujeto. Se basan en la experiencia para tener conocimiento de ello.
Nos dan una informacin extra acerca de algo, pues el predicado completa al sujeto.
Ejemplos: esta tarde es fra, La maana est calurosa.

b) Apodcticas

En la "Crtica de la razn pura", Emmanuel Kant propuso que los enunciados
son de dos clases: analticos o sintticos. La diferencia entre estos dos enunciados
estriba en la forma como se les predica verdad: para los analticos, slo en funcin
del significado de sus trminos; para los sintticos, en funcin de cmo es el
mundo. Los analticos, entonces, no nos dicen nada sobre el mundo: son puras
tautologas. Los sintticos s hablan sobre el mundo.

Ejemplos de enunciados analticos:
"Todos los solteros son no casados";
"El color negro es oscuro".

Ahora bien, tambin hay una diferencia entre cmo se conocen los
enunciados: algunos son cognoscibles a priori y otros a posteriori. Los a priori son
cognoscibles por un puro ejercicio de la razn, sin necesidad de recurrir al mundo.
Los a posteriori necesitan, para ser conocidos, que el sujeto recurra al mundo. Lo
a priori es necesario (no puede no suceder) y lo a posteriori es contingente (puede no
suceder).

Proposiciones analticas (no pertenecen a la experiencia). Segn Kant, son
proposiciones en la que el contenido del predicado se encuentra incluido en la
nocin del sujeto, es decir, el predicado es el resultado del anlisis del sujeto en sus
formas esenciales. (El predicado designa una propiedad del sujeto). As mismo son
lgicamente verdades universales y necesarias: all donde se d un sujeto de esa
clase tienen que darse al mismo tiempo y necesariamente sus predicados
esenciales, siempre son verdaderas.

Casos de proposiciones analticas:

Sujeto y predicado son idnticas y no se contradicen. Kant las llam verdades
analticas. Juicios a priori, al igual que los analticos, no surgen de la experiencia.
Ejemplos:
un cuadrado tiene cuatro lados.
Ejemplos de enunciados sintticos:
"Hay un automvil all afuera";
"Est lloviendo".

LIC.

una bicicleta tiene dos ruedas.
Todo millonario tiene mucho dinero.
Los tringulos tienen tres lados y tres ngulos (Por definicin).

Son explicativos pero no extensivos (no aaden un conocimiento nuevo).
Ejemplos:
Los solteros no son casados (el sujeto es lo mismo que el predicado).
Los tringulos tienen tres lados (el sujeto es lo mismo que el predicado).

Son definicionales (tautolgicas), o de una lgica que impide que vlidamente
puedan negarse.
Ejemplos:
El todo es mayor que la partepor deduccin.
1+1=2 por deduccin.
La suma de los ngulos interiores de un tringulo es 180 por deduccin.

Las proposiciones matemticas y lgicas son, dentro del sistema establecido,
o definiciones o teoremas deducidos. Por ello son siempre proposiciones de
naturaleza analticas.
En algunas proposiciones analticas no siempre aparece la palabraes necesario.
Ejemplos:
La operacin adicin es necesariamente asociativa.
La operacin adicin es asociativa.

Son proposiciones necesarias.
Ejemplos:
"Una jirafa es una jirafa".
"Todas las tas son mujeres" (esto es, su verdad es cognoscible a priori).
Todos los metales son conductores de la electricidad.
(La propiedad de ser conductores es necesaria para todo metal).
Todo millonario tiene mucho dinero (es necesario tener dinero).
Los bajos no son altos (la existencia de bajos obliga existir los altos).

Por la cualidad, son afirmativas y negativas.
Ejemplos:
El cuadrado no puede tener cinco letras.

Son analticas pero triviales.
Ejemplos:
'Las casas negras son casas'. la verdad se descubre por el anlisis del
concepto en s mismo.
"El hidrgeno es el elemento de nmero atmico 1es analtica.
"Mi suegra es una mujeres analtica.
"El gobierno del pueblo es el gobierno del pueblo.
Dos ms dos son cuatroes analtica y a priori.

Unas afirman que la posesin de una propiedad lleva consigo la posesin de
otra.
Ejemplo:
Todo lo coloreado es extenso (lo extenso es parte de un coloreado).
Todo cuadrado posee una figura (es evidente que sea una figura).

LIC.

Todo lo verde es coloreado. (lo coloreado es siempre de un color).
El objeto verde no es simultneamente rojo (si es de un color no es de otro).

Otras sostienen que la posesin de una propiedad lleva consigo la exclusin
de otra.
Todo lo rojo es no verde.
Todo lo cuadrado es no circular.

Lo blanco no es negro (proposicin que cita Locke).
Lo azul no es amarillo (proposicin que cita Locke).
Lo blanco no es negro (proposicin a priori).
El crculo no es un cuadrado (proposicin a priori).

Queda claro que la proposicin que asegura que lo negro no es blanco ha de ser
una proposicin tautolgica, analtica. Por consiguiente, una proposicin similar a la
que afirma que si algo es blanco, entonces no es no blanco.

c) Problemticas (dudosas o de posibilidad)

Son las proposiciones hipotticas o plausibles, es decir cuando su valor de verdad se
determina con el tiempo. (pasado o futuro).
Pueden ser afirmativos o tambin negativos.
Ejemplo:
Puedo ganar esta partida de ajedrez.
Yo puedo no ganar la partida de ajedrez.

Pueden ser singulares particulares y universales.
Ejemplos:
El agua puede helarse
En la sierra libertea puede haber sequa.
La gripe puede producir mucha fiebre.
El socialismo habra podido derrotar al capitalismo en 1998.

ACTIVIAD 05
Sesin 06
LGICA PROPOSICIONAL

1. Las conectivas lgicas

Es el nombre que reciben en lgica ciertas conjunciones que gobiernan las frmulas
lgicas, estas funcionan como signos primitivos y como signos definidos, tambin se les
llama constantes lgicas.

Las constantes lgicas vienen a formar las estructuras de los enunciados
moleculares y son las que contienen a las proposiciones.
Ejemplo:
En vista de que el gas es un combustible por eso es voltil.

Estructura lgica

LIC.

2. Clases de conectivas

CONECTIVA
SINGULAR
( Mondica )

CONECTIVAS BINARIAS
(Didica)

Es llamado negador.

Su expresin es No

Se simboliza como :
, ~

Conjuntor Biimplicador material

Su smbolo es:
.

Su estructura es:
y

Su smbolo es:
,

Su estructura es:
.si y solo si...
Disyuntor Incluyente Inalternador

Se simboliza
como:
v +

Su estructura es:

.o..

Se simboliza
como:
+

Su estructura es:

Ni y ni.
Disyuntor excluyente Incompatibilizador
v , +
Se simboliza
como:

Su estructura es:

o...o...

Su smbolo es.

|

Su estructura es:

No o no
Implicador material Replicador

Se simboliza
como:
,

Su estructura es:

Si...entonces.

Su smbolo es:

c

Su estructura es:

. si.

3. Clases de proposiciones por su conectiva lgica

3.1 Proposiciones simples

Son las proposiciones que no poseen conectiva proposicional alguna en los
caracteres de su escritura.

Ejemplos:

El socialismo cubano est modernizndose.
Las protuberancias solares interrumpen las comunicaciones terrestres.
Los tringulos mixtilneos tienen al menos un lado curvo.
Toledo implement la segunda etapa del neoliberalismo en el Per.

LIC.

a) Proposicin simple predicativa

Son proposiciones cuyo predicado est calificando al sujeto enlazado por un
copulador o verbo.

Ejemplos:

Trujillo es metrpoli.
Cada polgono tiene ms de tres lados.

b) Proposicin simple relacional

Cuando la proposicin tiene un trmino relacional (entre, divide, paralelo,
consecutivo, hermano, opuesto, compadre, junto a, mayor que, menor que, igual a,
equivale a,... ) que relaciona a dos sujetos inseparablemente, estableciendo una
relacin de dependencia entre dos objetos. Los sujetos son fundamentalmente
coordinados.

Ejemplos:

Toledo y Vladimiro son contemporneos, o si no, Toledo es contemporneo con
Vladimiro.
Dos y menos dos son opuestos, o si no, Dos es opuesto a menos dos.
Cinco es mayor que cuatro.
Fujimori y Vladimiro son compadres, o si no, Fujimori es compadre con
Vladimiro.

3.2 Proposiciones moleculares

Son proposiciones que poseen una o ms conectivas proposicionales en los
caracteres de su escritura.

CONECTIVAS LGICAS Y
SUS ESTRUCTURAS LINGSTICAS EQUIVALENTES

CONECTOR: NEGADOR

Estructura lgica: No ...
Smbolos : , ~

01. No. A
02. Nunca, A
03. Jams se da que A
04. Es falso que A
05. Es inconcebible que A
06. Es imposible que A
07. No ocurre que A
08. No es verdad que A
09. No es el caso que A
10. Es mentira que A

CONECTOR: CONJUNTOR

Es llamado : Compatibilizador
Su estructura es : ... y ...
Smbolos : .

01. A y B
02. A pero B
03. A aunque B
04. A sin embargo B
05. A incluso B
06. A es compatible con B
07. A as como B
08. A tambin B

LIC.

11. Es inadmisible que A
12. No acaece que A
13. No es innegable que A
14. Carece de todo sentido que A
15. De ninguna forma se da A
16. Es incorrecto que A
17. Es incierto que A
18. Nadie que sea A
19. No se da que A
20. Es absurdo que A
21. No se concibe de que A
22. Es una farsa de que A
23. No se admite que A
24. No es autntico el que A
25. No es evidente que A
26. No es posible que A
27. Es falaz de que ocurra A
28. En modo alguno se da A ( se debe tener
cuidado con esta F.L. ya que en algunos
casos no niega a una proposicin, el contexto
lo decidir )
29. Es objetable que sea A

09. A del mismo modo B
10. A de la misma manera B
11. A de la misma forma B
12. Siempre ambos A con B
13. A no obstante B
14. A empero B
15. No slo A sino tambin B
16. A as mismo B
17. A sino B
18. A a pesar de B
19. A a la vez B
20. A igualmente B
21. A e incluso B
22. A ambos a la vez B
23. Sin que A tampoco B
24. Tanto A cuanto B
25. A tal como B
26. A al igual que B
27. Sin que A tampoco puede haber B
28. A del mismo estilo tambin ocurre B
29. Es cierto que A sino incluso B
30. No slo A inclusive B
31. Cierto es que A lo mismo que B

CONECTOR: DISYUNTOR EXCLUYENTE

Llamado tambin : Disyuntor fuerte o
Bialternador
Su estructura es : O......... O........

Smbolos: v A ><

1. O bien A o bien B
2. A o B ( en sentido excluyente)
3. A excluye a B
4. A se contrapone a B

4. A no equivale a B
5. A no se define como B
6. A no es igual a B
7. Ya bien A ya bien B
8. A o solamente B
9. A o necesariamente B
10. A salvo que solamente B
11. A ya bien solo B
12. A y bien o tambin solamente B
13. A excepto que solo B
14. A excepto que necesariamente B
15. A ya bien necesariamente B

CONECTOR: IMPLICADOR

Condicional: Si....entonces.
Smbolos : ( , )

01. Si A entonces B
02. Ya que A bien se ve que B
03. Cuando A as pues B
04. Siempre que A por consiguiente B
05. Toda vez que A por eso B
06. Dado que A por eso B
07. En la medida que A de all B
08. En cuanto A por tanto B
09. Con tal que A es obvio que B
10. Como quiera que A por lo cual B
11. En el caso de que A en tal sentido B

CONECTOR: REPLICADOR

Su estructura es: ..... Si....
Smbolos : ( , c )

Para algunos lgicos no existe esta conectiva,
pero es muy frecuente su uso por muchos lgicos
espaoles con el nombre de FUNTOR :
REPLICADOR. No obstante es aceptado en los
niveles preuniversitarios y en exmenes de
admisin. Finalmente esta conectiva no viene a
ser sino el conector implicador (p q)
apuntando hacia la izquierda: (p q) , o
implicacin recproca (q p) , que viene a ser lo
mismo.

LIC.

12. De A inmediatamente B
13. En virtud de A es evidente que B
14. De A deviene B
15. En el caso que A en este caso B
16. De A deducimos B
17. De A inferimos en B
18. De A concluimos en B
19. De A llegamos a B
20. A es la condicin suficiente para B
21. Si A, B
22. Si A solo si B
23. La cuestin es que A de all B
24. De ocurrir A necesariamente ocurre B
25. En el supuesto caso de que A en tal
sentido B
26. Desde el momento que A inmediatamente B.
27. Puesto que A naturalmente B
28. Teniendo en cuenta que A bien se ve que B
29. Con que A segn lo cual B
30. Todo est en que A, por lo cual se da B
31. Segn sea A, por lo expuesto B
32. Si se verifica A bien se ve que B
33. Teniendo en consideracin de que A en tal
sentido B
34. A da lugar a B
35. Para A es necesario B
36. A es suficiente para que B sea necesario
37. Lo necesario para A es B
38. Siempre que A luego B
39. Al suceder A, B
40. Siempre que A evidentemente B
41. A por eso se tiene a B
42. Implicado en A es B
43. Implica A en B
44. A implica a B
45. Lo necesario para A es B
46. A es innecesario para B
47. Porque A , B
48. Al darse A , como consecuencia se da B
49. A causa de A se da B
50. El antecedente A trae como consecuencia B

01. A si B
02. A porque B
03. Slo si A , B
04. A siempre que B
05. A es condicin necesaria para B
06. Es condicin necesaria A para B
07. A cada vez que B
08. A dado que B
09. A puesto que B
10. A supone que B
11. A a condicin de que B
12. A pues B
13. A en vista de que B
14. A ya que B
15. A es insuficiente para B
16. En el nico caso en que A , B
17. Solamente si A , B
18. Una condicin suficiente para A es B
19. Para que ocurra A es suficiente B
20. En el nico y necesario caso de A , B
21. A es condicin necesaria para que B sea
suficiente.
22. A est implicado por B
23. Implica a A , B
24. Es necesario A para B
25. A es consecuencia por B
26. A cuando B
27. A es causado por B
28. Lo que implica por A es B
29. Slo si A,B

JERARQUA DE CONECTIVAS LGICAS

Se usa la jerarqua cuando en una estructura o
frmula lgica no aparecen signos de agrupacin,
as tenemos que, en forma ascendente : el
primero es de mayor jerarqua y la ltima es la
menor de todas :
v . ~

CONECTOR: INALTERNADOR

Llamado tambin: Primera Negacin Sheffer
o Daga de Sheffer
Su estructura es : Ni y ni.
Smbolo : +

01. Ni A y ni B
02. Ni A , ni B
03. 03. Es falso que, A o B (forma inalternante)

CONECTOR: INCOMPATIBILIZADOR

Llamado tambin: Barra de Nicod o
Segunda negacin
Sheffer.
Su estructura es : No..... o no...
Smbolo : /

01. No A o no B
02. No A o ni B
03. Es falso que, A y B ( forma incompatible)

LIC.

CONECTOR:
DISYUNTOR INCLUYENTE

Llamado tambin: Dbil o Alternador
Su estructura es : ........ o...........
Smbolos : v , +

1. A o B
2. A a menos que B
3. A salvo que B
4. A o tambin B
5. A excepto que B
6. A o a la vez B
7. A o en todo caso B
8. A o de lo contrario B
9. A o en su defecto B
10. A ya bien B
11. A a no ser que B
12. A o aunque tambin B
13. A ya sea que B
14. A y bien o tambin B
15. A o incluso B
16. A o puede que B
17. A o es B
A menos q 18. Excepto que A , B
19. Salvo que A ,B

CONECTOR: BIIMPLICADOR

Llamado tambin: Bicondicional
Su estructura es : .. Si y solo si ...
Smbolos : ,

01. A si y slo si B
02. A es equivalente a B
03. A siempre que y solo cuando B
04. A equivale a B
05. A por lo cual y segn lo cual B
06. A se define como B
07. A es lo mismo que B
08. A si es de la misma forma que B
09. A es idntico a B
10. A igualmente entonces B
11. A cada vez que y slo si B
12. Solo si A entonces B
13. nicamente si y solo si A ,B
14. Si y solo si A, entonces B
15. A es suficiente y necesario para B
16. Cada vez que solo si A entonces B
17. A es de la misma forma que B
18. A es de la misma manera que B
19. Una condicin suficiente y necesaria para A es B

Clases

a) Proposicin molecular negativa

Son proposiciones que poseen la estructura lgica: No... o sus equivalentes
lingsticos.

Ejemplos:
Scrates no bebi la cicuta.
Es falso que Scrates bebi la cicuta.

b) Proposicin molecular conjuntiva

Es llamada tambin compatible. Son proposiciones que usan la estructura lgica:
.... y..., o sus equivalentes lingsticos.

Ejemplos:
Los estoicos y los megricos fueron discpulos de Aristteles.
Ancius Boecio, Toms de Aquino y Pedro Hispano fueron lgicos medioevales.
Leibinz es el precursor de la lgica matemtica no obstante George Boole la
creo.
George Boole utiliz el lgebra para resolver problemas del silogismo
aristotlico as mismo puso en evidencia los errores de Aristteles.

c) Proposicin molecular disyuntiva incluyente

Es llamada tambin alternador. Son proposiciones que usan la estructura
lgica: ... o... , o sus equivalentes lingsticos.

LIC.

Ejemplos:
Aristteles axiomatiz su teora del silogismo o silogstica.
Diodoro Cronos desarrollo la lgica de las modalidades temporales excepto
que sostuvo que la implicacin es verdadera cuando no es posible que sea
V- F.
Los megricos formulan el principio de la transitividad salvo que las matrices
de verdad.

d) Proposicin molecular disyuntiva excluyente

Es llamada tambin bialternador o bidusyuntor. Son proposiciones que usan la
estructura lgica: O... O... , O sus equivalentes lingsticos.

Ejemplos:
Aristteles o naci en Estagira o en Atenas.
El principio del tercero excluido o pertenece a Aristteles o a los
Estoicos.
El cero es positivo o neutro.

e) Proposicin molecular implicativa

Es llamado tambin condicional. Son proposiciones que usan la estructura
lgica: Si... entonces... , o sus equivalentes lingsticos.

Ejemplos:
Si el ortocentro de un tringulo es el centro de una circunferencia entonces
est inscrito.
Dado que el poder judicial es corrupto, por ello el pueblo toma la justicia en
sus manos.
Cuando las clulas no tienen ncleo son neutras en consecuencia se pueden
clonar.

f) Proposicin molecular implicativa

Es llamado tambin equivalencia o bicondicional. Son proposiciones que usan la
estructura lgica: ... si y solo si... . o sus equivalentes lingsticos.
Ejemplos:
Dos ngulos son complementarios si y solo si son adyacentes.
Dos ngulos son proporcionales siempre y cuando sus longitudes son iguales
Cualquier congresista es neoliberal es necesario y suficiente que apruebe
leyes en contra de los derechos de los trabajadores.

g) Proposicin molecular inalternante

Es llamado tambin primera negacin sheffer .
Son proposiciones que usan la estructura: Ni ... y ni ... , o sus equivalentes
lingsticos.

Ejemplos:
El cero ni es positivo ni negativo.
El Per ni es continente ni regin.

LIC.

h) Proposicin molecular incompatible

Es llamado tambin segunda negacin sheffer. Son proposiciones que poseen la
estructura: No... o no... , o sus equivalentes lingsticos.

Ejemplos:
El electrn no es positivo o no es neutro.

ACTIVIDAD 06

Sesin 07
FORMALIZACIN

1. Definicin

La formalizacin del lenguaje natural es un proceso que consiste en simbolizar
proposiciones atmicas y conectivas lingsticas haciendo uso de los smbolos primitivos
del clculo de enunciados, como son variables proposicionales, smbolos de conectivas
y signos de agrupacin.

2. Smbolos primitivos

2.1 Variables

a) Variables proposicionales

Son las letras minsculas a partir de: p, q, r, s, t, u, v, w,...
Se usan para representar proposiciones simples solamente

b) Variables del metalenguaje

Son letras maysculas a partir de: A, B, C, D, E, F, ...
Se usan para representar: frmulas, leyes, reglas, principios de la lgica

2.2 Signos de agrupacin

Se usarn: ( ), | |, { } y en ocasiones: : .: :: ::: para agrupar proposiciones.

3. Criterios

3.1 El Punto siempre se interpretar como conjuntor,

Ejemplo:

La induccin no puede ser vlido o no vlido, porque no es una deduccin. La
induccin es llamada probablemente buena o mala. La induccin es una probabilidad
Se simboliza como: | ( - p - - p ) - q | . ( r - r ) . s

LIC.

3.2 Cuando al Punto le siga una conectiva cualquiera, deja de ser conjuntor y asume
la conectiva relevante.

Ejemplos:

Fujimori est prfugo y los japoneses lo protegen. Luego no ser reportado al Per.
Se simboliza como: ( p . q ) - r

Todo revolucionario es terico y prctico ya que el cambio es cualitativo y
cuantitativo. O slo es terico y no prctico.

Se simboliza como: | ( p . q ) ( r . s ) | ( p . - q )

3.3 Cuando al Punto le sigan los trminos:

Luego, Entonces, Por lo tanto, En consecuencia o sus equivalentes, todo lo
anterior debe agruparse con parntesis, llaves o corchetes, y la conectiva principal es
un implicador.

Ejemplos:

El congreso representa a los partidos polticos, la burguesa y los grupos de poder
porque gozan de privilegios otorgados. Luego nunca estarn a favor del pueblo.
Se simboliza como: | (p . q . r) s | - t

Siempre que el gobierno aplique el programa neoliberal, se continuar con las
privatizaciones y la anulacin de los derechos de los trabajadores, no obstante si el
programa tiene rostro humano y social, el pueblo siempre reclamar. Por lo tanto hay
provincias que estn demandando cambio de programa.
Se simboliza como: | ( p (q . r ) | . ( s . t ) u | u

3.4 La Coma , es una partcula que significa:

Un conjuntor por lo general, en ocasiones una disyuncin incluyente, en otras
ocasiones acompaa a otras conectivas y puede no significar nada.

Ejemplos:

Los pueblos de la sierra, constantemente reclaman en contra las medidas del
gobierno
Se simboliza como: p, y obsrvese que la coma no se toma en cuenta.

Cada vez que el gobierno cambie las normas, entonces el pueblo queda
desprotegido
Se simboliza como: p q , observe que la coma acompaa al implicador
sintcticamente.

LIC.

3.5 Cuando hay falta de algunos signos de agrupacin se tomar en cuenta el sentido
de la proposicin para poder realizar la agrupacin de la estructura (esto pocas veces
Ocurre)
Ejemplo:
Los carbohidratos se saturan en el cuerpo humano por lo que se necesita quemar
grasa diariamente si ocurre que no se quema grasa diariamente el ser humano
engordar ilimitadamente o tambin estar propenso a un paro cardiaco

Se formaliza como: (p q) . | q (q v r) |

ACTIVIDAD 07

Sesin 08
VERDAD FORMAL

1. Definicin

La verdad objetiva, es la relacin directa entre el significado del enunciado y la
realidad. Es la verdad del intelecto humano. Por lo tanto, la verdad a que conduce la
lgica formal, es una verdad formal de las frmulas. La verdad formal no se da por
relacin a los objetos reales, sino por relacin a las leyes lgicas. Como quiera que al
lgico slo le interesa la verdad formal y deja de lado la verdad material, o alcance real
de las proposiciones en los razonamientos porque que ambos estn en conformidad con
las leyes lgicas, aunque materialmente no se asuma.

2. Tablas de verdad

Es un mtodo decisorio que consiste en determinar si la funcin veritativa de una
frmula proposicional es consistente, tautolgica o contradictoria. En esta tabla de
valores como mtodo muestra cmo se combinan los valores de verdad ( V o F ) de las
proposiciones compuestas a partir de los operadores y los valores de verdad de las
variables proposicionales. Es decir son todos los posibles valores verdadero y falso que
puede tener una frmula lgica.

3. Caractersticas de la tabla de verdad

Es una tabla dividida en cuatro regiones en las que se ubican:

Variables proposicionales Frmulas lgicas

Combinaciones o arreglos Matrices

LIC.

Es necesario que, por cuestiones de tiempo en el desarrollo de dichas tablas veritativas,
se deben de aprender los valores de verdad de las conectivas lgicas a partir de ciertos
criterios relevantes de cada una de ellas. As tenemos el siguiente cuadro con los
aspectos relevantes y su funcin correspondiente, de cada conectiva:

OPERADOR

ASPECTOS RELEVANTES

FUNCIN
COMO OPERACIN BINARIA

.

Funciona como una multiplicacin de valores

v

Funciona como una suma de valores.

+

Cuando la primera es V y La segunda es F , se obtiene F

1 0 0

Cuando sus valores de verdad son iguales, se obtiene V
1 1 1
0 0 1

Cuando los valores de verdad son iguales, se obtiene F
1 1 0
0 0 0

+

Cuando los valores de sus componentes son F F se obtiene V

0 0 1
,

Cuando los valores de sus componentes son V V se obtiene F

1 1 0

ACTIVIDAD 08

EXAMEN

II UNIDAD (miscelnea)
I.E.P: MUNDO FELIZ FILOSOFIA Y LOGICA 4y 5

LIC: JAVIER VILLARREAL REYES PGINA 62

La Lógica I Trimestre

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

La Lógica I Trimestre

Hochgeladen von

Copyright:

Verfügbare Formate

COLEGIO DE CIENCIAS: MUNDO FELIZ LGICA Y RAZONAMIENTO LGICO 4 y 5

Das könnte Ihnen auch gefallen