Professors: Joost J. Joosten i Vicent Navarro Arroyo, Coordinació: José Martínez Fernández
El curs és de 6 crédits el qual correspon amb 50 hores de contacte.
Les clases es fan en català (o alguna cosa semblant) a l'aula 404 a Montalegre 6.
Dimarts: 10:00 -- 11:00;
Dimecres: 10:00 -- 11:00;
Dijous: 10:00 -- 11:00;
En aquesta pàgina anirem anotant el progres i potser posarem alguns apunts.
Els professors de les sessions de problemes també són el Joost J. Joosten i Vicent Navarro Arroyo i seran en l'horari de 11:00 a 12:00 i sempre l'aula 404.
Fem servir el llibre Elementos de lógica formal en la segona edició dels autors Calixto Badesa, Ignasi Jané, i en Ramon Jansana. L'editora és Ariel. Filosifia.
Dates primer parcial: per determinar;
Data segon parcial: Dimarts 22 de desembre 15:00-16:00;
Data examen avaluació única: dimecres 17 de gener del 2024 de 9:00-11:00 a l'aula 404 (l'aula de sempre)
Data examen reevaluació: divendres 2 de febrer del 2024 de 9:00-11:00 a l'aula 404 (l'aula de sempre)
Aqui teniu un link des d'on es pot navegar als horaris oficials.
La primera setmana. (Setembre 11 -- 15)
(Setembre 18 -- 22)
(Setembre 25 -- 29)
Hem definit com funcionen les taueles de veritat i hem definit que vol dir que una formula és una tautologia, una contingència o una contradicció. També hem fet alguns exemples com ara (A /\ B ) és una tautlogia si només si (tant A és una tautlogia com que B és una tautlogia).(Octubre 2 -- 6)
(Octubre 9 -- 13)
(Octubre 16 -- 20)
(Octubre 23 -- 27)
(Octubre 30 -- Novembre 3)
Primer parcial: dijous 2 de novembre.(Novembre 6 -- 10)
(Novembre 13 -- 17)
(Novembre 20 -- 24)
(novembre 27 -- desembre 1)
(desembre 4 -- desembre 8)
(desembre 11 -- desembre 15)
(desembre 18 -- desembre 22)
Segon parcial, possiblement/probablement el dijous 21 de desembre."Gödel, Escher, Bach", from Douglas Hofstadter. Dissemination text for the general interested audience. Relatively little logic though. It is somehow related to "The emperor's new mind" from Penrose.
The book by Torkel Franzen "Gödel's Theorem: An Incomplete Guide to Its Use and Abuse" is much more on logic. Although accessible, it requires much more dedication from the reader but it is very well written and a good read in general.
There is "Logic, Logic and Logic" by Boolos but I guess that is too hard for the moment.
Odifreddi has some dissemination writings that I have not read but may be worth while looking at.
For the real daring and dedicated student, there is even Pudlak's "Logical Foundations of Mathematics and Computational Complexity" which you can also have a look at.
My colleague Joan Bagaria suggested: A good source for introductory material is SEP:
https://plato.stanford.edu/index.html