Philosophical problems of Informatics - NAIL102

• Title: Filosofické problémy Informatiky
• Guaranteed by: Department of Theoretical Computer Science and Mathematical Logic (32-KTIML)
• Faculty: Faculty of Mathematics and Physics
• Actual: from 2017
• Semester: both
• E-Credits: 1
• Hours per week, examination: 0/1, C [HT]
• Capacity: unlimited
• Min. number of students: unlimited
• 4EU+: no
• Virtual mobility / capacity: no
• State of the course: taught
• Language: Czech
• Teaching methods: full-time
• Additional information: http://ktiml.mff.cuni.cz/fpi/
• Note: you can enroll for the course repeatedly; enabled for web enrollment; you can enroll for the course in winter and in summer semester
• Guarantor: Mgr. Roman Neruda, CSc.; Mgr. Jiří Šejnoha
• Teacher(s): Mgr. Roman Neruda, CSc.; Mgr. Jiří Šejnoha
• Class: Informatika Mgr. - volitelný
• Classification: Informatics > Informatics, Software Applications, Computer Graphics and Geometry, Database Systems, Didactics of Informatics, Discrete Mathematics, External Subjects, General Subjects, Computer and Formal Linguistics, Optimalization, Programming, Software Engineering, Theoretical Computer Science

Annotation

English

The seminar consists of presentations of specialists in informatics, mathematics and in relevant philosophical problems with the goal to show students new perspectives and motivate discussions.

Last update: T_KTI (10.05.2011)

Czech

Náplní semináře jsou vystoupení odborníků v informatice, matematice i v relevantní filosofické problematice, v níž mohou posluchači získat nové náhledy, s následující diskusí.

Last update: T_KTI (10.05.2011)

Aim of the course

English

Acquaintance with topics connected and transending computer science and mathematics.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Czech

Seznámit posluchač s tématy přesahujícími, ale souvisejícími s počítačovými vědami a matematikou.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Course completion requirements

English

Writing a short essay on a topic discussed during one of the seminars, from the discussed point of view, or a record of one of them.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Czech

Napsat esej na jedno z diskutovaných témat z pohledu, kterým bylo nahlíženo, nebo záznam jednoho ze seminářů.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Literature

English

1. A. Anzenbacher: Úvod do filosofie, Portál, 2004

2. J. Peregrin: Kapitoly z analytické filosofie, Filosofia, 2005

3. K. Popper: Logika vědeckého zkoumání, OIKOYMENH, 1997

4. P. Feyerabend: Rozprava proti metodě, Aurora, 2001

5. T. Kuhn: Struktura vědeckých revolucí, OIKOYMENH, 1997

Last update: T_KTI (15.05.2014)

Czech

1. J. Peregrin: Kapitoly z analytické filosofie, Filosofia, 2005

2. A. Anzenbacher: Úvod do filosofie, Portál, 2004

3. K. Popper: Logika vědeckého zkoumání, OIKOYMENH, 1997

4. P. Feyerabend: Rozprava proti metodě, Aurora, 2001

5. T. Kuhn: Struktura vědeckých revolucí, OIKOYMENH, 1997

Last update: T_KTI (15.05.2014)

Teaching methods

English

Seminar. Invited guests.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Czech

Seminář. Zvaní hosté.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Requirements to the exam

English

Credit is for presence and writing an essay or a record, see terms of passing.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Czech

Zápočet za účast a napsání eseje nebo záznamu ve smyslu požadavků ke zkoušce.

Last update: Krýsl Svatopluk, doc. RNDr., Ph.D. (13.10.2017)

Syllabus

English

Possible themes:

Problems of current Informatics and their philosophical aspects

Computation models

Linguistics

Philosophy of programming languages

Knowledge bases and databases

Web, semantic web and web explorers

Neuron networks and evolutionary algorithms

Artificial intelligence

History of mathematics and informatics

Ethics in informatics

Examples of previous themes:

What was beyond mirror?

Language of mathematics

Singularity

Why is social web resistant to elegant mathematics

Philosophy of mind (from view of analytic philosophy)

Kurt Goedel...!

How to describe the natural language formally?

Language just a code?

Infinity in Informatics and Philosophy

Hypothetical propositions

Last update: T_KTI (15.05.2014)

Czech

Navrhovaná témata:

1. Problémy současné informatiky a jejich filosofické aspekty

2. Je současná věda bez metafyzických předpokladů? (Od pozitivismu, pragmatismu, sociobilogie, silná umělá intelgence, filozofie K. Poppera až po Feyerabenda, pragmatismus a instrumentalismus.)

3. Historie matematiky a informatiky

4. Etika v informatice

5. Výpočetní modely

6. Lingvistika, logika, filozofie logiky

7. Logické struktury v jiných oblastech než informatice

8. Filosofie programovacích jazyků

9. Znalostní báze a databáze

10. Web, sémantický web a vyhledávače

11. Neuronové sítě a evoluční algoritmy

12. Umělá inteligence

Příklady témat minulých semestrech:

Co bylo za zrcadlem?

Jazyk matematiky

Filosofie mysli (z pohledu analytické filosofie)

O poznávání

Singularita

Proč je sociální web odolný vůči elegantní matematice

Jak formálně popsat přirozený jazyk

Programovací jazyky, jejich vývoj a "co si z něj můžeme odnést"

Jak se matematici dorozumívají? O frazeologii a terminologii odborného jazyka

Kvantové počítání

Tichého transparentní intenzionální logika

Kurt Goedel...!

Co a k čemu je logika

Hypotetické soudy

Předem odsouzený svět

Nekonečno v matematice a filosofii

Jak formálně popsat přirozený jazyk?

Změny paradigmat umělé inteligence

Počítačové hry ve výuce - ano či ne?

Jak také můžeme myslet

Data mining pro nákladnou optimalizaci

Prožívaný čas podle Petra Vopěnky

Webová stránka semináře: ktiml.mff.cuni.cz/fpi/

Témata jednotlivých seminářů jsou nezávislá, nabízejí řadu pohledů a v průběhu semestru budou aktualizována. Podmínkou pro zápočet bude vypracování eseje k některému z v aktuálním semestru probranému tématu nebo zápisu některé z přednášek dle vlastního výběru a účast.

Last update: T_KTI (04.05.2017)