| Centre |
| Facultat de Filosofia i Ciències de l'Educació |
| Departament |
| Lògica i Filosofia de la Ciència |
| Professor responsable |
| Sin datos cargados |
| Met. Docent |
| Lliçó magistral. |
| Met. Avaluació |
| Examen i treball. |
| Bibliografia |
| 1. I.M. Bochenski: Historia de la lógica formal, Editorial Gredos, 1966. 2. W. y M. Kneale: El desrrollo de la lógica, Editorial Tecnos, 1972. 3. B. Mates: Lógica de los estoicos, Editorial Tecnos, 1985. 4. H. Nidditch: El desarrollo de la lógica matemática, Editorial Cátedra, 1978. |
| Continguts |
| Lliçó 1. El naixement de la lògica. D'Aristòtil a Leibniz. Lliçó 2. L'algebrització de la lògica. De Boole a Schröder. Lliçó 3. De l'aritmetització de l'anàlisi a la reducció de les matemàtiques a la lògica. De Cantor i Dedekind a Frege i Russell. Lliçó 4. Les paradoxes i el mètode axiomàtic. Hilbert i Zermelo versus Brouwer. Lliçó 5. Els límits del mètode axiomàtic. De Gödel i Tarski a Cohen. |
| Objetius |
| El nostre objectiu és el d'oferir una introducció a l'evolució de la lògica, presentant la primera sistematització del raonar per part d'Aristòtil, l'elaboració d'una matemàtica del pensament per Leibniz i els seus hereus, Boole, Peirce i Schröder, la reflexió sobre l'infinit actual per part de Cantor i Dedekind, els intents de Frege, Russell i Whitehead per reduir la matemàtica a la lògica, la crisi en els fonaments de les matemàtiques provocats per les paradoxes, i la revisió de l'axiomàtica per part de Hilbert, fins a arribar a les aportacions de Gödel Tarski i Cohen. |
| URL de Fitxa |