GRANDES PREGUNTAS QUE HA TRATADO EL HOMBRE DE RESOLVER

SOBRE NUESTRA VIDA SOBRE LA CIENCIA Y LA TECNOLOGIA SOBRE EL SENTIDO DE LA EXISTENCIA SOBRE EL MUNDO SOBRE EL FUTURO SOBRE EL ORIGEN DEL MAL SOBRE LA MUERTE

PROBLEMAS FILOSOFICOS
APRENDER FILOSOFIA O APRENDER A FILOSOFAR?

La Filosofa se refiere a:

El corpus de tesis, argumentos, teoras y definiciones que se han creado para demarcar, plantear y responder a los problemas filosficos, as como para refutar o completar respuestas dadas por otros

Filosofar es :

Una actividad del pensamiento caracterizada por una actitud general ante la realidad: dejarse sorprender por los misterios del mundo, encontrar las dificultades en lo que parece fcil u obvio, criticar lo establecido y dar origen a un dilogo argumentativo sobre las ideas y las opiniones forjadas.

Origen de la Palabra FILOSOFIA

La palabra procede del Griego, y esta compuesta por dos palabras:
PHILOS: que en griego significa <<amor>>.
SOPHIA: que pensamiento, conocimiento, saber. significa sabidura,

<<amor por la sabidura>>

Las preguntas de la filosofa o los problemas filosficos

PROBLEMAS FILOSOFICOS Cul es la relacin entre la mente y el cerebro? Cules son los criterios para juzgar una accin como buena o como mala? Qu papel desempea el lenguaje en la consecucin de la verdad? Cmo justificamos nuestras creencias? Qu reacciones produce el arte en las personas? Cundo comienza un feto humano a ser merecedor de derechos humanos? Aspectos en comn de los problemas filosficos:
No pueden resolverse mediante la experiencia

Son problemas conceptuales, buscan encontrar el significado preciso de los conceptos.

PREGUNTAS FILOSOFICAS
EL ORIGEN DEL UNIVERSO Astronoma. Fsica Matemticas

Se apoya en: COSMOLOGIA Estudia :

Origen y evolucin del Universo Origen. Composicin. Funcionamiento. Sentido

Pretende explicar:

COSMOLOGIA
Cosmologa Creacionista Cosmologa Cientificista

El universo comenz a existir a partir de un tipo de existencia eterna Dios

Intenta explicar el origen del universo a partir de la nada

Representantes

George Gamow: Teora Big bang o gran explosin. Alan Guth: Teora del universo inflacionario

EL SENTIDO DE LA EXISTENCIA
1. SENTIDO SINONIMO DE SIGNIFICADO Finalidad

2. SENTIDO Filosofa Contempornea

Se pregunta

Si la existencia debe ser o no significativa

Solo la ciencia dice cosas con sentido. La verdad y la falsedad configuran el reino de la significatividad lingstica. La significatividad de la existencia no depende de la nocin de verdad. Solo mediante el arte, la contemplacin de lo bello y la experiencia esttica podemos darle sentido a nuestra existencia.

Ludwig Wittgenstein Representantes Arthur Schopenhauer

LA MUERTE
LA MUERTE
ASOCIADA A LA VIDA AUSENCIA DE VIDA

Jacques Mono

Los seres vivos son objetos dotados de proyectos, de una finalidad, la muerte sera la imposibilidad de satisfacer tal funcin o propsito.

Epicuro
IDEAS Kant

La existencia y en especial la humana, se reduce a su condicin material. No podemos vivir nuestra propia muerte. No podemos pensar nuestra propia muerte porque caeramos en la contradiccin de afirmar cosas como yo estoy muerto Defiende que el ser humano esta constituido por dos tipos de realidad: una material, que es el cuerpo; y otra espiritual, que es el alma. Representantes dualistas: Aristteles, Platn, descartes y las religiones.

Dualismo

EL ORIGEN DEL MAL

COMPRENSIN Ambito Normativo Ambito Descriptivo Cosas correctas o incorrectas Se ocupa de los hechos en si mismo Sinnimo de incorreccin de las

LA NOCION DE MAL

Ligado al bien

LA NOCION BIEN Y MAL Friedrich Schelling Concepciones Orientales

Sirve para construir la normatividad acciones universales: La tica.

La existencia del bien y del mal son condiciones necesarias. La existencia esta marcada por la lucha entre dos fuerzas contrarias. Maniquesmo lucha entre el bien y el mal o al contrario. El bien y el mal no son fuerza sino caractersticas de las cosas.

Santo Toms

LA CIENCIA
Una de las condiciones naturales del hombre es La ciencia se inclina por

Es la bsqueda del conocimiento

Conocimiento objetivo, su inters es la explicacin de los fenmenos encontrados y la probacin universal por medio de experimentos. La ciencia no puede probar la verdad de un enunciado, sino su falsedad, segn el falsacionismo, ningn enunciado cientfico puede ser probado realmente como verdadero. Cada individuo ve, piensa y juzga las cosas desde su perspectiva, no se puede hablar de individuos universales ni de puntos de vista comunes

Karl Popper

Demostro

Nietzsche

Planteo

LA CIENCIA
Profundizaron en los aspectos histricos y sociolgicos de la ciencia y que estos condicionan la actividad que la ciencia desarrolla en el laboratorio, lo que cuestiona la idea de objetividad. Las comunidades cientficas pueden utilizar unos paradigmas y otras no.

Thomas Kuhn y Lakatos

Plantearon

LA UTOPIA
UTOPIA Algo deseable pero inalcanzable.

TOMAS MORO

Introdujo el termino, en el que se refiere a un lugar bueno pero inexistente Proyectos de modificacin radical de un determinado orden social y por lo tanto son revolucionarias.

Las Utopias

Se entienden como:

LA LOGICA
LAS CIENCIAS NATURALES
OBTIENEN EL CONOCIMIENTO POR

Apoya sus tesis afirmaciones en la: Experimentacin Observacin

o

LA FILOSOFIA

Apoya sus tesis afirmaciones en la: Argumentacin

Es producto

Enteramente

del Discurso lingstico

La Argumentacin

Se Apoya

Apoya sus tesis o afirmaciones tenidas como verdaderas para obtener nuevos conocimientos

LA LOGICA
Es una ciencia formal y una rama de la filosofa que estudia los principios de la demostracin e inferencia vlida.
La palabra deriva del griego antiguo (logike), que significa dotado de razn, intelectual, dialctico, argumentativo, que a su vez viene de (logos), palabra, pensamiento, idea, argumento, razn o principio. La lgica se encarga de estudiar la validez de los argumentos y de la inferencia.

LA LOGICA TIENE DOS ESTUDIOS

LOGICA FORMAL

LOGICA INFORMAL

Es el estudio de los argumentos mediante esquemas de inferencias formales

Es el estudio de los argumentos que se dan en contextos lingsticos reales, en los que se usa el lenguaje cotidiano

LA LOGICA FORMAL ES El anlisis de ARGUMENTOS

Una tarea de la lgica

Un Argumento

Consiste en un conjunto de 1 o ms enunciados que se utilizan como apoyo de otro enunciado

Los enunciados que sirven de apoyo se llaman PREMISAS; el enunciado apoyado es la CONCLUSIN.

LA LOGICA FORMAL

Ejemplos de argumentos

Todos los hombres son mortales. Santiago es un hombre Por tanto, Santiago es mortal
PREMISAS

Joan no es espaol puesto que es alto, rubio, de tez clara y habla con acento extranjero

LA LOGICA FORMAL

Ejemplos de argumentos

Todos los hombres son mortales. Santiago es un hombre Por tanto, Santiago es mortal
CONCLUSION PREMISAS

Joan no es espaol puesto que es alto, rubio, de tez clara y habla con acento extranjero

LA LOGICA FORMAL

OPERADORES LOGICOS Un sistema lgico est compuesto por: 1. Un conjunto de smbolos primitivos (el alfabeto, o vocabulario). 2. Un conjunto de reglas de formacin (la gramtica) que nos dice cmo construir frmulas bien formadas a partir de los smbolos primitivos. 3. Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una frmula bien formada. 4. Un conjunto de reglas de inferencia. 5. Una interpretacin formal. En los lenguajes naturales, una misma palabra puede significar diversas cosas dependiendo de la interpretacin que se le d.

LA LOGICA FORMAL

LGICAS CLSICAS Los sistemas lgicos clsicos son los ms estudiados y utilizados de todos, y se caracterizan por incorporar ciertos principios tradicionales que otras lgicas rechazan. Algunos de estos principios son: el principio del tercero excluido, el principio de no contradiccin, el principio de explosin y la monoticidad de la implicacin. Entre los sistemas lgicos clsicos se encuentran: Lgica proposicional Lgica de primer orden Lgica de segundo orden

LA LOGICA
LGICAS NO CLSICAS Son aquellos que rechazan uno o varios de los principios de la lgica clsica. Algunos de estos sistemas son: Lgica difusa: Propone un nmero infinito de valores de verdad. Lgica relevante: Exige que para que un argumento sea vlido, las premisas y la conclusin deben compartir al menos una variable proposicional. Lgica cuntica: Desarrollada para lidiar con razonamientos en el campo de la mecnica cuntica; su caracterstica ms notable es el rechazo de la propiedad distributiva. Lgica no monotnica: Al agregar una frmula a una teora cualquiera, es posible que el conjunto de consecuencias de esa teora se reduzca.

LA LOGICA FORMAL Lgicas modales Las lgicas modales estn diseadas para tratar con expresiones que califican la verdad de los juicios. As por ejemplo, la expresin "siempre" califica a un juicio verdadero como verdadero en cualquier momento, es decir, siempre. No es lo mismo decir "est lloviendo" que decir "siempre est lloviendo". Lgica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad y contingencia. Lgica dentica: Se ocupa de las nociones morales de obligacin y permisibilidad. Lgica temporal: Abarca operadores temporales como "siempre", "nunca", "antes", "despus", etc. Lgica epistmica: Es la lgica que formaliza los razonamientos relacionados con el conocimiento. Lgica doxstica: Es la lgica que trata con los razonamientos acerca de las creencias.

LA LOGICA FORMAL

CALCULO PROPOSICIONAL

Es el estudio de las relaciones lgicas entre objetos llamados proposiciones, que frecuentemente pueden interpretarse como afirmaciones que tienen algn significado en contextos de la vida real. Es un enunciado al cual se le puede asociar el concepto de verdadero o falso, pero no ambos. Ejemplos: La luna es cuadrada 7 es un nmero primo Las araas son mamferos

PROPOSICIN

LA LOGICA FORMAL Proposiciones Chile est en Asia 2 por 2 es igual a 4 El color de ese auto es rojo Est lloviendo Francia est en Europa

No son Proposiciones

Inserte el CD Qu da es hoy? Dnde estoy? Socorro!!! Ir directamente a la crcel

LA LOGICA FORMAL
En el clculo proposicional se utilizan letras minsculas p,q,r,s para simbolizar proposiciones, las que se combinan para obtener proposiciones compuestas utilizando smbolos conectores lgicos. p: Chile est en Asia q: 2 por 2 es igual a 4 LAS PROPOSICIONES ATMICAS: Son aquellas que expresan un nico pensamiento. Ej: Cervantes escribi el Quijote, Julio Csar fu un emperador romano. Pueden ser verdaderas o falsas por eso son proposiciones, tienen un valor de verdad PROPOSICIONES MOLECULARES: Son compuestas de proposiciones atmicas. Ej: Cervantes escribi el Quijote Y Julio Csar fu un emperador romano.

LA LOGICA FORMAL
Los conectivos lgicos son smbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Crean una proposicin compleja, a partir de una proposicin atmica

CONECTORES LOGICOS

UNITARIOS

BINARIOS

Crean una proposicin compleja, a partir de dos proposiciones atmicas

LA LOGICA FORMAL
Los conectivos lgicos son smbolos que permiten obtener nuevas proposiciones a partir de proposiciones dadas. Crean una proposicin compleja, a partir de una proposicin atmica

CONECTORES UNITARIOS

UNITARIOS

BINARIOS

Crean una proposicin compleja, a partir de dos proposiciones atmicas

LA LOGICA FORMAL
Dada una proposicin p, se denomina la negacin de p a otra proposicin denotada por ~ p (se lee "no p") que le asigna el valor de verdad opuesto al de p.

CONECTORES UNITARIOS

LA NEGACIN

Por ejemplo: p: Diego estudia matemtica ~ p: Diego no estudia matemtica

p V F

~p F V

LA LOGICA FORMAL

CONECTORES BINARIOS

CONJUNCION

DISYUNCION
IMPLICACION

BICONDICIONAL

LA LOGICA FORMAL
Si p y q son proposiciones, se llama conjuncin de p y q a la proposicin compuesta p y q y se denota por: p q.
La proposicin p q es verdadera slo si p y q son verdaderas. Es falsa si al menos una de ellas es falsa.

CONJUNCION

Ejemplos:

Tabla de verdad
p V V q V F p q V F

p: Hoy es martes
q: La luna es cuadrada r: maana es mircoles p q :Hoy es martes y la luna es cuadrada p r :Hoy es martes y maana es mircoles

F
F

V
F

F
F

LA LOGICA FORMAL Si p y q son proposiciones, se llama disyuncin de p y q a la proposicin compuesta p o q y se denota por: p q
Tabla de verdad

DISYUNCION

Ejemplos:
Ser cantante o futbolista

p V V F F

q V F V F

pq V V V F

p: Ser cantante q: Ser futbolista

Simbolizacin: p q

LA LOGICA FORMAL
Si p y q son proposiciones, se llama condicional de p y q a la proposicin compuesta si p, entonces q y se denota por:

IMPLICACION

pq

Ejemplos:

Tabla de verdad

Si no llueve (entonces) iremos a la playa Si me gano la lotera (entonces) me voy de viaje Si no estudio (entonces) no aprobar Lgica

p V V F F

q V F V F

pq V F V V

Conviene pensar en una promesa ..... Si no llueve (entonces) iremos a la playa

LA LOGICA FORMAL
Se denomina bicondicional a la proposicin formada por dos proposiciones simples conectadas por la expresin s y slo s. Simblicamente si p y q son proposiciones simples, la doble implicacin p q constituye un bicondicional, donde p recibe el nombre de primer miembro y q segundo miembro.

BICONDICIONAL

Ejemplos:
Dadas las proposiciones: p: Un tringulo es rectngulo. q: Un tringulo tiene un ngulo recto. El bicondicional p q se puede traducir de las siguientes formas: Un tringulo es rectngulo s y slo s tiene un ngulo recto.

Tabla de verdad

p V V F F

q V F V F

pq V F F V

LA LOGICA FORMAL
El clculo proposicional no puede, ni pretende, probar el valor de verdad de las proposiciones sino que busca determinar la validez de la relacin de verdad entre las premisas y la conclusin en un argumento. Para ello, la lgica formal utiliza una herramienta denominada tabla de verdad, en la que se le asigna una letra a cada proposicin y se examina la relacin entre distintas proposiciones mediante conectores

TABLAS DE VERDAD

Ejemplo: Construyamos la tabla de verdad para la siguiente proposicin :(pq)(p~q) p V q V ~q F pq V p~q F (pq)(p~q) F

V
F F

F
V F

V
F V

F
F F

V
V V

F
F F

LA LOGICA INFORMAL
La lgica informal estudia los casos reales en los que se hace uso de la argumentacin, como el dilogo argumentativo. Para ello, determina las reglas necesarias que se han de seguir para que se pueda desarrollar el dilogo, por lo que las violaciones de ellas se consideran falacias. Por tanto, la lgica informal construye una verdad mediante una discusin de ideas, dando validez a los que mantienen una coherencia desde un punto de vista lgico, y que por tanto son vlidos como argumentos en una discusin, son correctos. As, habr otro tipo de razonamientos que no siguen este razonamiento, y por tanto carecern de validez para ser utilizados en argumentaciones. Conocer y manejar la lgica informal nos ayudar a dotar de coherencia, adecuacin, lgica y sentido a nuestros argumentos en dilogo.

REGLAS DE LA ARGUMENTACIN
Principio cooperativo. Contribuye a la conversacin tal y como lo exige el objetivo o propsito que le corresponda, conforme a la fase (inicial, intermedia o final) en que se encuentre. Regla de la cantidad. Proporciona tanta informacin como sea necesaria para mantener tu punto de vista, pero no ms. Regla de la cualidad. No digas lo que creas que es falso y no trates de mantener a toda costa una opinin de la que no tengas pruebas suficientes.

Regla de relevancia o de relacin. Debes ser relevante, esto es, centra tus intervenciones en el asunto sobre el que se dialoga y no cambies de tema sin permiso.
Regla de modo. Explcate con claridad, sin ambigedades, con brevedad y ordenadamente.

FIN