|
Center for Logic and Epistemology
Research lines
1.
|
|
Self-Organization and Information Theory. Self-Organization Projects in methods (Approved by the Department/Scientific Council in 1986).
|
2.
|
|
Systems Theory. Systems Theory (Approved by the Department/Scientific Council in 1986).
|
3.
|
|
Information Theory. Development of Information Theory. (Approved by the Department/Scientific Council in 1986).
|
4.
|
|
Complexity Theory. Study complexity theorems with applications in computer science. (Approved by the Department/Scientific Council in 1986).
|
5.
|
|
Non-classical logics. Develop activities related to non-classical logic. (Approved by the Department/Scientific Council in 1993).
|
6.
|
|
Translations between logics. We investigate the problem of translations between logics from a philosophical, methodological and application point of view. (Approved by the Department/Scientific Council in 1993).
|
7.
|
|
Fundamentals and application of logic. Theoretical and Applied Logic (non-classical logics) (Approved by the Department/Scientific Council in 1993).
|
8.
|
|
History of Science and Philosophy from the Middle Ages to the 17th century. Investigate the history of science (astronomy, mathematics, logic, etc.) and philosophy from the Middle Ages to the 1993th century. (Approved by the Department/Scientific Council in XNUMX).
|
9.
|
|
Multipurpose logics. We investigate the possibility of obtaining new proof theory methods for polyvalent logics and for other non-classical systems. (Approved by the Department/Scientific Council in 1994).
|
10
|
|
History of ancient mathematics. Analysis of ancient mathematics with the aim of understanding the basic mathematical framework within which the scientific revolution of the 1993th and XNUMXth centuries developed. (Approved by the Department/Scientific Council in XNUMX).
|
11
|
|
History of Ancient Physics. Analyze Aristotle's physics and Philoponos' critique of Aristotle's Theory of Motion. (Approved by the Department/Scientific Council in 1993).
|
12
|
|
History of Cosmology and Astronomy in Antiquity. Analyze the cosmological thought of Plato, Aristotle and their disciples in order to understand the origin, scope and significance of the astronomical-cosmological revolution of the 1993th and XNUMXth centuries. (Approved by the Department/Scientific Council in XNUMX).
|
13
|
|
History of Science in the Middle Ages. Analyze medieval criticism of Aristotelian physics made by Avicenna, Avempace, Buridan and Oresme; and the evolution of the theory of incorporeal motive force. (Approved by the Department/Scientific Council in 1993).
|
14
|
|
History of medieval ethics. Reflect on the ethical theories developed during the Middle Ages by Alhazen, Witelo, Grosseteste, Pocklon, Roger Bacon, in order to understand the conceptual background in which Galileo was inserted when building his telescope. The emergence of experimental methodology in the 1993th century will also be an object of analysis. (Approved by the Department/Scientific Council in XNUMX).
|
15
|
|
Scientific Revolution of the 16th and 17th Century. Analyze the cosmological revolution and methodology that unfolded within the scientific revolution of the 1993th century effectively initiated by Galileo and Descartes. (Approved by the Department/Scientific Council in XNUMX).
|
16
|
|
History of mechanics by Galileo Galilei. Historically analyze Galileo's science and Galilean criticism of Arithteles' theory of motion. (Approved by the Department/Scientific Council in 1993).
|
17
|
|
History of Medieval Logic. Analysis of the logic developed by Pedro Abelardo. (Approved by the Department/Scientific Council in 1993).
|
18
|
|
History of Science and Modern Philosophy. Investigate the history of ideas and philosophy with the aim of carrying out a preliminary survey of Renaissance Neoplatonism and an assessment of its role in the constitution of a lay mentality prepared for the scientific revolution from the 1993th and XNUMXth centuries. (Approved by the Department/Scientific Council in XNUMX).
|
19
|
|
Epistemology and Heuristics. Study aspects of heuristics and epistemology of formal sciences and natural sciences. (Approved by the Department/Scientific Council in 2001).
|
20
|
|
Anthropology and Social Sciences. Historiographical and sociological study about the structural and conjunctural conditions in which Quebec's French-speaking social sciences developed during the period 1960-1980. (Approved by the Department/Scientific Council in 1998).
|
21
|
|
Formal Semantics. Investigation of the general problem of assigning semantics to different logical systems with a view to applications and conceptual analysis. (Approved by the Department/Scientific Council in 1998).
|
|
|
|