Víspera de Feria.

Hoy en la clase de Filosofía, el profesor nos ha informado sobre una posible nueva idea de examén.

Esté trimestre tendríamos la posible opción de cambiar el nombrado comentario de texto. Para realizar este trimestre, al igual que en la 1ª evaluación, un trabajo expositivo.
Este trabajo se basaría en el homenaje a Miguel Servet, del cuál se cumplen 500 años desde su nacimiento.
Los trabajos de carácter expositivo, podrían ser realizados en cartulinas, folios, con fotos etc.
En él, podriamos tendríamos que tratar temas sobre el contexto en el que se sitúa la vida de Miguel Servet, en torno al S.XVI, reconocido como siglo del Humanismo.
Podemos tratar temas culturales, económicos de aquella época. También podríamos centrarnos en la moda de aquellos tiempos, sus famosos descubrimientos, sus costumbres. Y también muy importante en su música y personajes famosos. Pero él trabajo debe estar basado en sólo uno de estos aspectos.
Aún no se ha decidido oficialmente, si realizaremos esté trabajo o continuaremos con el acordado comentario de texto, se decidira justo después de las vacaciones.
Estos trabajos serían expuestos el día conmemorativo en el centro (para Miguel Servet), por los pasillos de esté, o en la biblioteca como exposición para que los demás cursos puedan observarlos.

Justo antes de concluir la clase, hemos recordado por dónde ibamos en el libro.(pág 208-09)
Hemos comenzado a hablar sobre la ciudadanía moderna en la cuál se consolidan los Estados modernos, que estarían basados en una soberanía. Hablando del S.XVI decimos que en él, este concepto lo posee el rey. Y actualmente el sujeto de la soberanía ha cambiado, ahora este nuevo sujeto es el pueblo. Se llama entonces soberanía popular.
Concluimos la clase hablando sobre qué requisitos debe tener una persona para poseer la nacionalidad de un Estado. Y sugiriendo la pregunta: ¿Que requisitos debe tener una persona para tener nacionalidad española?, para el próximo día. También recordamos leer la página 210-211 para después de las vacaciones.

¡¡Que disfrutéis!!

Margarita Pérez Cea

Hemos tratado el tema 11 en su primer apartado, el origen del concepto de ciudadanía, tema que viene recogido en la página 208-209 del libro.

Definimos al ciudadano como todo aquel que vive en la ciudad y que goza de ciertos derechos, no como en la antigua Grecia o Roma en la cual el derecho a ser ciudadanos lo gozaban unos pocos.

Grecia pasó por dos periodos políticos la aristocracia en la cual los nobles eran los que tenían el poder, y la democracia en la cual el gobierno era del pueblo (de los polites, de hay el origen de la palabra política).Todo ciudadano podía participar activamente en el gobierno de la polis acudiendo al ágora (lugar de reunión para el debate) para exponer su opinión. La asamblea estaba regida por tres principios:

• Isonomía: por el cual todos los ciudadanos gozaban de derechos idénticos.

• Isegoria todo ciudadano tenia derecho a hacer uso de la palabra para expresar su opinión.

• Koinonia: principio que recogía que los ciudadanos debían mirar por el bien común para alcanzar un acuerdo y no por ellos mismos.

Pero es en Roma donde el concepto de ciudadano cambia mientras que al ciudadano griego se le exigían responsabilidades, el romano tenia este titulo para reclamar ciertos derechos, es por eso que aquí el termino ciudadano pasa a ser algo mas jurídico que político.

En lo referente al trabajo mencionado el martes cada grupo ha entregado un papel con el nombre de sus integrantes

Carlos Jiménez López-Rey

El origen del concepto de ciudadania

Ayer día, 27/4/2011, al empezar la clase nuestro profesor nos colocó en fila de a uno a causa de nuestro mal comportamiento , a continuación nos señaló los temas que vamos a tratar este trimestre que son : 11 y 13 además del trabajo que comentó el día anterior mi compañera, después comenzamos a dar el siguiente tema la construcción filosófica de la ciudadanía tema 11 dijimos que:

Ciudadano ->Ciudad

Hablamos de que el concepto de ciudadanía , como la mayoría de nuestros conceptos, provienen de la antigua Grecia y Roma, además del término ciudadano que viene de civis latino. En Grecia, ciudadano era aquel que tanto rico como pobre tenía responsabilidad de acudir a la asamblea y tomar parte de debates públicos acerca de los problemas de la ciudad. Los cargos público se asignaban por sorteo y para estimular la participación de los ciudadanos pobre se establecieron incentivos. Tres principios regían la participación en la asamblea:

• Isonomía: que los ciudadanos tenían igualdad ante la ley



• Isegoría: cualquiera tenia derecho a hacer uso de la palabra



• Koinonía: que consistía en alcanzar el bien común y no el particular

En esta imagen podemos ver al ciudadano griego en una charla sobre política

A diferencia de los griegos los romanos creían que el ciudadano era aquel que tenía protección jurídica y con ella podía reclamar unos derechos.

Al finalizar el profesor ha mandado que leamos el punto 2 de la página 210

Mª Rosa Pablo Rodríguez

Hoy en clase, el profesor nos informó de un trabajo que tenemos que realizar sobre las próximas elecciones municipales ,debemos de centrarnos en las elecciones locales en Sevilla. En la plataforma educativa Helvia hay un cuestionario que hay que seguir para hacer el trabajo. Consta de tres partes: la parte general, que se centra en que busquemos que es un ayuntamiento y sus respectivas funciones , la parte específica que es donde esta mayoría de la información que tenemos que encontrar como los resultados y candidaturas de las últimas elecciones locales, quienes son los partidos que se presentan este año, que medidas proponen o programa de presentación que tiene cada partido, hacer una entrevista a personas cercanas a nosotras con distintas preferencias y analizarlas, etc y por último una conclusión donde debemos destacar los aspectos más interesantes de la realización del trabajo.

Laura Orellana Cruz

Hoy hemos corregido ejercicios de calculo. Hicimos el siguiente:


1. (p -> ¬ m) -> (s ^ q) |- ¬ r v ¬ t
2. ( t ^ r) -> ¬ p
3. ¬ s v ¬ q

4. ¬ s
|5. r ^t
||6. ¬ p v ¬ m RE -> L.2,5
||7. ¬ p v -> m RI v L.6
||8. p -> ¬ m RDDisy. L.7
||9. s ^q RE -> L.1,8
||10. ¬ (s ^ q) RM1 L.3
||11. ( s ^ q) ^ ¬ (s ^ q) RI ^ L.9,10
|12. ¬ ( r ^ t) RI ¬ L.5,11
|13. ¬ r v ¬ t RM 1 L.12
14. ¬ q
|15. r ^ t
|16. ¬ p RE -> L.2,15
|17. ¬ p v q ¬ m RI Disy. L.6
|18. p -> ¬ m RDDisy. L.7
|19. s ^ q RE -> 1,18
|20. ¬ ( s ^ q) RM1
|21. (s ^ q) ^ ¬ (s ^ q) RI ^ L.1,10
|22. ¬ ( r ^ t) RI ¬ L.10,21
|23. ¬ r v ¬ t RM1
24. ¬ r v ¬ t RE V 3,4,13,14,23

Luego hemos seguido practicando para el examen del viernes.
Clara Noguer García 1º B

Martes, 5 Abril, 2011

Hoy hemos comenzado la clase corrigiendo un argumento que teníamos que formalizar.

El alocado Rufus T. Firefly, primer ministro reincidente de Freedonia se dirigió a la tribuna de oradores, tropezó en los escalones de subida y a punto estuvo de darse de bruces sobre la moqueta color escarlata. Cuando se recompuso empezó a hablar atropelladamente en respuesta a la intervención del líder de la oposición: “El honorable jefe de la minoría me ha pedido insistentemente que dimita dada la calamitosa situación económica del país. Ahora bien, ¿solucionaría eso los problemas de esta nuestra querida nación? Está claro que o dimito o no dimito. Supongamos que dimito. En ese caso el país se vería abocado a una situación de inestabilidad política e incertidumbre que tendría como consecuencia un empeoramiento de nuestra situación. Supongamos que no dimito. Ante la certeza de que continuaré otros dos años dirigiendo los destinos patrios, los inversores se asustarán, los mercados se hundirán y esto tendrá como consecuencia un empeoramiento de nuestra situación. Por tanto, está claro que haga lo que haga, la situación irá a peor. En estas circunstancias, estarán ustedes de acuerdo conmigo en que, por mi propio bien, lo más razonable es que permanezca en mi puesto”.

Proposiciones:

p = dimito
q = el país se verá abocado de incertidumbre e inestabilidad
r = la situación empeorará
s = continuaré mandando
t = inversores asustarán
u = mercados se hundirán





Continuamos con un ejercicio de formalización y derivación:

Si la biblia está inspirada por Dios, todo lo que ahí se afirma debe ser verdadero, por tanto no es posible que la biblia no sea inspirada por Dios ni que todo lo que se afirme no sea verdadero.


Proposiciones:

p = la Biblia inspirada por Dios
q = todo verdadero





Ahora lo hacemos al revés:



Siguiente ejercicio de derivación:



Recuerdo que nos pondrá un positivo si el próximo día entregamos las siguientes derivaciones:

1 ¬(X ^ Y) |- ¬Xv¬Y
1 ¬Xv¬Y |- ¬(X ^ Y)


María Gutiérrez Valverde

Sevilla, 1 de Abril del 2011.
Hoy en clase hemos hecho ejercicios de cálculo de deducción natural. Aquí los dejo resuelto.

En este último caso un compañero encontró otra manera de hacerlo que resultó interesante y por ello la pongo a continuación.

Para terminar resolvimos el caso del asesino.

• Siemens es el asesino = p
• Siemens estaba en Green Manor a la hora del crimen = q
• Siemenes estuvo en el club hasta las 17:30h. = r
• Siemenes no pudo coger el tren de las 17:25h. = s
• Siemenes tuvo que coger el tren de las 18:40h. = t
• Siemens no pudo llegar a Green Manor hasta las 20h. = u

Por último quiero avisar de que las fechas de los exámenes se han cambiado. El jueves día 7 de Abril es el examen y la recuperación queda fechada para el martes 12 de Abril.

Yael Guerra Sancho.

Avances en la Lógica

Al inicio de la clase Isabel dijo que al subir los ejercicios al blog se produció un error y salieron distorsionados. El profesor aconsejó que ya que no subiéramos los ejercicios ya que podrían producirse confusiones, él los subiría a la plataforma Elvia.

A continuación hablamos sobre el caso policiaco que había que formalizar pero nadie consiguió.

Rafael dió dos pistas pistas para ello:

1ª Proposición: Siemen es el asesino.

2ª Proposición: Siemen estaba en la casa del crimen a la hora del crimen.

A partir de las proposiciones se comenzaría con las relaciones.

A continuación repasamos las reglas vista el día anterior, que son:

Regla de Modus Tollens:

X -> Y

¬Y

...............

¬X

-Si se da "X", se da Y. No se da "Y", por lo tanto no se da "X".

Regla de Transitividad del condicionador:

X -> Y

Y -> Z

..............

X -> Z

-Si se da "X", se da "Y". Si se da "Y", se da "Z". Por lo tanto si se "X", se da "Z".

Una vez repasadas las reglas vistas anteriormente comenzamos con nuevas reglas:

Regla de Silogismo disyuntivo:

"X" e "Y". No "X", por lo tanto "Y".

Podemos utilizar esta regla para no tener que recurrir a la de eliminación del condicionador.

Regla de Contraposición del condicionador:

X -> Y

...............

¬Y -> ¬X

-Si se da "X", se da "Y". No se da "Y", por lo tanto no se da "X"

A partir de aquí entramos en un nuevo punto con las reglas de Interdefinición. Estas sirven para expresar una determinada relación en términos de otra relación.

Ley de Morgan:

¬(X^Y)

.................

¬X v ¬Y

El profesor explicó que debemos utilizar cada regla estudiada según nos convenga, cuantas más sepamos menos problemas tendremos al formalizar.

A continuación María Dolores hizo un ejemplo en la pizarra sobre las reglas de interdefinición.

Darko Morandini Clapes

Reglas derivadas.

Sevilla 31 de Marzo del 2011
Hoy al empezar la clase el profesor escribió en la pizarra las siguientes reglas derivadas:

Y nos dijo como podíamos emplear cada una de ellas.

Por último pasamos a hacer ejercicios de cálculo de deducción natural.

David Guerra Sancho.

REGLAS BASICAS

Hoy en clase hemos dado las 3 últimas reglas basicas que son 3:

Ri ->

| x
| y
------
x->y


Ri ¬

|x
|y^¬y
-------
¬y


x^^ y

|x
|z

|y
|z
------
z


*^^ = contrario de ^

Tambien hicimos algunos ejercicios:

|- ¬t

1.P-> ¬q
2.q^r
3.q->p

|4.t
|5.q(Re^2)
|6.p(Re->3,5)
|7.¬q(Re->1,6)
|8.q^¬q(Ri^5,7)
9.¬t(Ri¬4,8)



|- ¬p

1.p->¬q
2.q^r
3.q->p
|4.p
|5.¬s(Re^3)
|6.q(Re^3)
|7.p^q(Ri4,6)
|8.r(Re->1,7)
|9.s(Re ->2,8)
|10.Si ¬s(Ri^5,9)
11.¬p(Ri¬4,10)

Y le hemos cantado el cumpleaños feliz a Sharon.



Jorge García Domínguez

Viernes, 25 de Marzo 2011

Hoy hemos corregido una actividad de cálculo deductivo, que es la siguiente:

-p ^ q

1. r->p

2.r->q

3.r^t

4. r RE ^3

5.p RE->1,4

6.q RE->2,4

7.p^q RI 5,6

El antecedente no se elimina, las que se eliminan son las conectivas.

Hemos explicado las reglas de introducción del condicionador y de introducción del negador.

• Regla de introducción del condicionador:

X

Y

------

X->Y

Un ejemplo es el siguiente:

-p->t

1.q^r premisa

2.r->t premisa

3.p

4.r RE^1

5.t RE->2,4

6.p->t RI->3-5

Siempre que queramos derivar un enunciado condicionador debemos abrir una hipótesis con el antecedente e intentar llegar al consecuente.

Las hipótesis hay que abrirlas cuando sean necesarias y cuando sepamos como vamos a cerrarlas.

• Regla de introducción del negador:

X

Y^¬X

--------

¬X

Un ejemplo es el siguiente:

¬p

1.p->¬r

2.t^s

3.t->r

4.p

5.t RE^2

6.r RE->3,5

7.¬r RE->1,4

8.¬^¬r RE^6,7

9.¬p RE ¬ 4-8

Siempre que tengamos algo afirmado y negado, cerramos la hipótesis.

• Regla de eliminación del disyuntor:

X

Z

Y

Z

-----

Z

Cristina Medina Carranco.

Hoy hemos retomado la clase con lo que estuvimos viendo el día anterior, la derivación.
La derivación es el proceso que sirve para averiguar si una inferencia es formalmente válida o no. Una inferencia es una “operación lógica” que consiste en, a partir de unas premisas dadas, obtener una conclusión.

Para aclarar un poco lo que viene a ser derivación, hemos resuelto un ejemplo de dos maneras distintas:

p ^ q
r ^ t
t -> s ├ p v q *├: Derivación
_________
s v q

Para hacer una derivación hay que seguir los siguientes pasos: Primero hemos de establecer las premisas que tenemos y una vez hecho, procedemos a la resolución gracias a la ayuda de las reglas de derivación.

1ª solución:

1. p ^ q premisa
2. r ^ t premisa
3. t -> s premisa
4. q R E ^ 1
5. s v q R I v 4

2ª solución:

1. p ^ q premisa
2. r ^ t premisa
3. t -> s premisa
4. t R E ^ 2
5. s R E -> 3, 4
6. s v q R I v 5

Una derivación puede resolverse de muchas formas, cuanto más simple, mejor.

Por último, el profesor ha explicado la regla de introducción del doble condicionador:

R I <->

X -> Y
y -> X
________
X <-> Y

Sólo en el condicionador, el orden de los factores SÍ altera el producto, mientras que en el resto de las conectivas, no.





Mónica Zhang Sun.

CÁLCULO DE DEDUCCIÓN NATURAL

Hoy el profesor ha comenzado la clase repartiendo los exámenes de los temas 5, 6 y 8. Durante la primera mitad de la clase nos dedicamos a revisar los exámenes y a responder las dudas de los compañeros con respecto a este. Una vez contestadas todas las preguntas el profesor empezó a explicar el Cálculo de Deducción Natural (C.D.N).

El cálculo es el proceso o mecanismo de decisión mediante el cual podemos saber cuándo una inferencia es válida. La operación fundamental del cálculo es la derivación que consiste en que, dadas unas premisas y una conclusión, podamos llegar mediante un procedimiento algorítmico (serie finita de pasos ordenados) a dicha conclusión.

El C.D.N utiliza el mismo lenguaje formal que las tablas de verdad pero además, se añade un conjunto de reglas de transformación de fórmulas que nos permiten transformar una combinación bien construida de símbolos en otra combinación que resultará igualmente bien construida.

Un ejemplo de regla básica es la regla de introducción del disyuntor (R.I. v): si sabemos que un término es verdadero, entonces podemos decir que o bien se da ese término u otro.

X àPremisa

____ àBarra de inferencia

X v Y à Conclusión

EJEMPLO DE INFERENCIA

p^q

r^s

_____

r v t

¿Cómo se hace la derivación?

1. p^q

2. r^s

3. r : R.E. ^ (Regla de eliminación del conjuntor). Línea 2.

4. r v t : R.I. v (Regla de introducción del disyuntor). Línea 3.

Celia Vilches Ocaña 1º Bach. D

Martes, 22 de Marzo

Hoy hemos invertido todo el tiempo de la clase trabajando los ejercicios de formalización de enunciados ( pinchar aquí ).

Trataban de determinar el tipo de enunciado ( tautológico, indeterminado o contradictorio ) mediante la elaboración de la tabla de verdad.

Rubén Suárez Mtz.

MARTES 22 MARZO

El profesor ha empezado la clase con un ejercicio de tabla de verdad, que ha explicado que la proposición que va antes del conector ser llama antecedente y la proposición que va después es la consecuencia. El ejercicio era el siguiente:
[[(p ^ q) --> r]^ [(r --> s) ^ (q ^¬ s)]] --> r
El enunciado era tautológico, ya que, el resultado salía verdadero.
El profesor ha empezado a explicar qué es el cálculo de deducción natural (CDN). El CDN consiste en pasar de las premisas a la conclusión, opera con una derivación, que mediante una serie de pasos correctamente formalizados nos lleva a la conclusión.
ESQUEMA DE INFERENCIA
p^q --> premisa
r^s --> premisa
__ --> barra de inferencia
p^s -->conclusión
El profesorha explicado la regla de eliminación y de introducción del conjuntor con el ejemplo p^q; r^s;T("tumbado" hacia el lado izquierdo, es el simbolo de la derivación)p^s
Los pasos para realizar correctamente las reglas son:
1. Se coloca la primera premisa p^q pr(por premisa).
2. Se coloca la segunda premisa r^s pr.
3. p regla de eliminación(RE)^ en la línea 1.
4. s Regla de eliminación(RE)^ en la línea 2.
5. p^s Regla de introducción^ en las líneas 3;4.
Por último querría dejar un problema de lógica que no he sabido hacer y es el siguiente:

" Había un tren cuyo personal estaba formado por tres personas: el guardafrenos el fogonero y el maquinista. Sus nombres por orden alfabético, eran Jones, Robinson y Smith. En el tren viajaban también tres pasajeros que tenían los mismos nombres: el señor Jones, el señor Robinson y el señor Smith. Se conocen los siguientes datos:
a. El señor Robinson vive en Detroit.
b. El guardafrenos vive a mitad de camino entre Detroit y Chicago.
c. El señor Jones gana exactamente 20.000 dólares al año.
d. Smith en cierta oportunidad derrotó al fogonero jugando al billar.
e. Un vecino del guardafrenos, que vive en una casa junto a la de éste y es uno de los tres pasajeros mencionados gana exactamente tres veces lo que gana el guardafrenos.
f. El pasajero que vive en Chicago tiene el mismo nombre que el guardafrenos.
¿Cuál es el nombre del maquinista?"

ELENA MONTES PÉREZ.

Viernes, 18 de Marzo.

Hoy nos hemos dedicado la hora entera a corregir los ejercicios mandados sobre el lenguaje formal y la lógica, los cuales los encontramos en la siguiente página:

http://www.box.net/shared/q4x2xr4bvn

Teniamos que señalar que tipo de enunciado que era , si era tautológico, contradictorio o indeterminado según la tabla de la verdad.

Solo tuvimos tiempo para hacer algunos (4,6,9) además de solucionar las dudas expuestas.




Maria Liñán Dueñas 1ºB

DETERMINACIÓN DE ENUNCIADOS

Hoy hemos estado realizando mediante las tablas de verdad la determinación de una serie de enunciados según sean totalmente ciertos o no, en cuyo caso los clasificaremos en:

-Tautología o enunciado tautológico; el cual nos indica que el enunciado es formalmente válido (cuando todos los valores del conector principal son unos, es decir, verdaderos).

-Indeterminación o enunciado indeterminado; según el cual no podemos decir si es formalmente válido o no.

-Contradicción o enunciado contradictorio; cuando no es formalmente válido, todos los valores del conector principal son ceros (son falsos).

Como ya he dicho, para clasificarlos habrá que realizar con anterioridad los cálculos mediante la tabla de verdad ateniéndose a ciertos aspectos como son:

-El número de valores de verdad será igual a dos elevado al número de proposiciones que halla en dicho enunciado (2ⁿ).

-Determinar el rango de las conectivas o nivel de importancia de estas en el enunciado para así comenzar a indicar los valores empezando por los de rango más alto, por los menos importantes.

- La primera proposición a indicar sus valores tendrá la primera mitad verdaderos y la otra mitad falsos, la segunda tendrá la mitad de la mitad verdaderos y la otra mitad de la mitad falsos, y así sucesivamente.

-el negador hará que los valores de la proposición a la que afecta varíen, y que sean justos los contrarios.

Para entender esto mejor analizaremos un enunciado:

[ ( p --> q )_^ (q --> r ] _^ ¬ (p --> r)

^ es de rango 1, el conjuntor que se encuentra entre corchetes y el condicionador que relaciona a p con r son de segundo rango y los dos condicionadores que quedan son de tercer rango, y en este orden los relacionaremos y realizaremos la tabla de valores.

1	1	1	1	1	1	1	0	0	1	1	1
1	1	1	0	1	0	0	0	1	1	0	0
1	0	0	0	0	1	1	0	0	1	1	1
1	0	0	0	0	1	0	0	1	1	0	0
0	1	1	1	1	1	1	0	0	0	1	1
0	1	1	0	1	0	0	0	0	0	1	0
0	1	0	1	0	1	1	0	0	0	1	1
0	1	0	1	0	1	0	0	0	0	1	0
p	-->	q	^	q	-->	r	^	¬	p	-->	r

Se trata de un enunciado contradictorio ya que todos los valores finales son 0.

Tomás Sánchez Sánchez

Hoy la clase ha comenzado haciendo un repaso sobre el concepto de Tablas de verdad que vimos el otro día. Hemos hecho en la pizarra los diferentes esquemas pertenecientes a cada conector:

Aquí a continuación dejo dos ejercicios resueltos que hicimos en clase después de la explicación anterior:

Ana León Pedrosa.