A dual ontology of nature, life, and person
Informacje ogólne
Kod przedmiotu:  WFFIBASTIONTOER  Kod Erasmus / ISCED:  08.1 / (brak danych) 
Nazwa przedmiotu:  A dual ontology of nature, life, and person  
Jednostka:  Instytut Filozofii  
Grupy: 
Grupa przedmiotów  oferta Erasmus 

Punkty ECTS i inne:  6.00  
Język prowadzenia:  angielski  
Poziom przedmiotu:  zaawansowany 

Symbol/Symbole efektów kształcenia:  FI2_W09 FI2_W10 FI2_U03 FI2_U06 FI2_U13 FI2_U19 FI2_K01 

Skrócony opis: 
The course – given partly in distance learning modality (7 units), and partly in onsite modality (8 units) – is conceived as a formal counterpart of the other one “From Modern Transcendental of Knowing to the PostModern Transcendental of Language”. It aims at offering to graduate students both of philosophical and scientific – mainly of physics, mathematics, and computer science – departments, a philosophical interpretation of the “paradigm shift” we are living both in fundamental physics, and in theoretical computer science. This shift leaded the scientific community to awarding the Nobel Prizes in Physics to the Authors of momentous discoveries in these two related realms, respectively in 2015 and in 2016. These changes, however, concern  and in many senses, primarily  the mathematical and the logical basis of the topological (operator algebra) modeling of quantum physics, and of quantum computing, as far as interpreted in the framework of Category Theory (CT). 

Pełny opis: 
The course – given partly in distance learning modality (7 units), and partly in onsite modality (8 units) – is conceived as a formal counterpart of the other one “From Modern Transcendental of Knowing to the PostModern Transcendental of Language”. It aims at offering to graduate students both of philosophical and scientific – mainly of physics, mathematics, and computer science – departments, a philosophical interpretation of the “paradigm shift” we are living both in fundamental physics, and in theoretical computer science. This shift leaded the scientific community to awarding the Nobel Prizes in Physics to the Authors of momentous discoveries in these two related realms, respectively in 2015 and in 2016. These changes, however, concern  and in many senses, primarily  the mathematical and the logical basis of the topological (operator algebra) modeling of quantum physics, and of quantum computing, as far as interpreted in the framework of Category Theory (CT). Therefore, we illustrate the foundations of the topological (operator algebra) approach to quantum physics and computation, by introducing some elementary notions of Category Theory, as a universal language for logic and mathematics in many senses wider than settheory. We show, over all, the relevance of categorical semantic duality in logic and computer science because of the famous Stone theorem that has also an immediate philosophical relevance for the foundation of a coalgebraic firstorder modal semantics of propositional (Boolean) logic. On the other hand, because the topologies of Stone spaces are the same of the C*algebras in quantum physics, the functorial categorical duality coalgebraalgebra can be usefully applied to the noncommutative coalgebraic modeling of the thermal quantum field theory (QFT) of dissipative systems, developed independently by theoretical physicists. Particularly, in CT framework, it is possible to formalize the core principle of thermal QFT, consisting in the “doubling of the states (phases) of the Hilbert space” (or “doubling of the degrees of freedom (DDF)”), in order to satisfy the Hamiltonian character (closeness) of the system. In this way, the minimum freeenergy function, differently from QM, can be used as a selection function among states, so to justify a dynamic, “observerindependent”, choice of the orthonormal basis of the Hilbert space, and then, in quantum computing, the semantic character of the associated qubit. Effectively, we demonstrate that the notion of “QVfoliation”, where each “sheet” corresponds to one of the infinitely many “spontaneous symmetry breakdowns (SSBs)” of the QV according to the Goldstone Theorem, can be modeled in CT logic using the construction of the “infinite state blackbox machine” for dealing with computations on infinite data streams. All this justifies the experimental evidence that thermal QFT applies for modeling in cognitive neuroscience the “deep learning” of our dissipative brains entangled with their environments (notion of “intentional extended mind”), using the QVfoliation as a powerful tool of memory. This inspired our group also for developing a new architecture in nanotechnology of optical quantum computer, for modeling infinite data stream computations. Finally, because of the coalgebraic nature of modal logics in CT, all this justifies the construction of the formal ontology for a “semiotic” postmodern naturalism and epistemological realism, which concern the same metaphysics of the human person as freeagent, perfectly consistent with the notion of person as an autonomous communication agent of neuroethics, where the conscious component of our selfcontrolling ability is a small part (effectively, an iceberg top) of it. 

Literatura: 
• Course Textbook: Basti G. (2017). An ontology for our information age. A paradigm shift in science and philosophy, Aracne Edition, Rome. (available in ebook format since Fall 2017). Abramsky, S., & Tzevelekos, N. (2011). Introduction to categories and categorical logic. In B. Coecke (Ed.), New structures for physics. Lecture Notes in Physics, vol. 813 (pp. 394). BerlinNew York: Springer • Other texts (many of them will be downloadable in the online course viewer): Abramsky, S. (2005). A Cook’s Tour of the Finitary NonWellFounded Sets (original lecture: 1988). In S. Artemov, H. Barringer, A. d'Avila, L. C. Lamb, & J. Woods (A cura di), Essays in honor of Dov Gabbay. Vol. I (p. 118). London: Imperial College Pubblications. Aczel, P. (1988). Nonwellfounded sets. CLSI Lecture Notes, vol.14. Awodey, S. (2010). Category Theory. Second Edition (Oxford Logic Guides 52). Oxford, UK: Oxford UP. Basti, G. (2012). Philosophy of Nature and of Science. Vol. I: The Foundations. Translated by Ph. Larrey. Retrieved May 31, 2016, from http://www.irafs.org/courses/materials/basti_fil_nat.pdf Basti, G. (2013). A change of paradigm in cognitive neurosciences Comment on: "Dissipation of 'dark energy' by cortex in knowledge retrieval" by Capolupo, Freeman and Vitiello, Physics of life reviews, 5 (2013b), 9798. Basti, G. (2017). The quantum field theory (QFT) dual paradigm in fundamental physics and the semantic information content and measure in cognitive sciences, in Representation of Reality: Humans, Animals and Machine, G. DodigCrnkovic & R. Giovagnoli (Eds.), Springer Verlag: BerlinNew York (In Press). Basti G., Capolupo A, Vitiello G, (2017). Quantum field theory and coalgebraic logic in theoretical computer science», Progress in Biophysics and Molecular Biology, Preprint in: <https://doi.org/10.1016/j.pbiomolbio.2017.04.006>. Blasone, M., Jizba, P., & Vitiello, G. (2011). Quantum field theory and its macroscopic manifestations. Boson condensation, ordered patternsand topological defects. London: Imperial College Press. Capolupo, A., Freeman, W. J., & Vitiello, G. (2013). Dissipation of dark energy by cortex in knowledge retrieval. Physics of life reviews 5(10), 9097. Del Giudice, E., Pulselli, R., & Tiezzi, E. (2009). Thermodynamics of irreversible processes and quantum field theory: an interplay for understanding of ecosystem dynamics. Ecological Modelling, 220, 18741879 Deutsch, D. (1985). Quantum theory, the ChurchTuring principle and the universal quantum computer. Proc. R. Soc. Lond. A, 400, 97–117. Goranko, V., & Otto, M. (2007). Model theory of modal logic. In P. Blackburn, F. J. van Benthem, & F. Wolter (A cura di), Handbook of Modal Logic (p. 252331). Amsterdam: Elsevier Hawking, S., & Mlodinow, L. (2010). The grand design. New answers to the ultimate questions of life. London: Bantam Press. Krauss, L. M. (2012). A universe from nothing. Why there is something rather than nothing. Afterward by Richard Dawkins. New York: Free Press Rovelli, C. (1996). Relational quantum mechanics. Int. J. Theor. Phys., 35, 1637–1678. Rutten, J. J. (2000). Universal coalgebra: a theory of systems. Theoretical computer science, 249(1), 380. Sangiorgi , D. (2012). Origins of bisimulation and coinduction. In D. Sangiorgi, & J. Rutten (A cura di), Advanced topics in bisimulation and coinduction (p. 137). Cambridge, UK: Cambridge UP. Umezawa, H. (1993). Advanced field theory: micro, macro and thermal concepts. New York: American Institute of Physics. Umezawa, H. (1995). H. Umezawa, Development in concepts in quantum field theory in half century. Math. Japonica, 41, 109–124. Van Benthem, J. (1984). Correspondence theory. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic. Vol. II (pp. 167247). Dordrecht, NL: Reidel. Van Benthem, J. (2010). Modal Logic for Open Minds. Stanford, CA: CLSI Publications. Vattimo, G. (1985). La fine della modernità. Milano: Garzanti. Venema, Y. (2007). Algebras and coalgebras. In P. Blackburn, F. J. van Benthem, & F. Wolter (A cura di), Handbook of modal logic (p. 331426). Amsterdam, North Holland: Elsevier. Vitiello, G. (2004). The dissipative brain. In G. G. Globus, K. H. Pribram, & G. Vitiello (A cura di), Brain and Being  At the boundary between science,philosophy,language and arts (p. 317330). Amstedam: John Benjamins Pub. Co. Vitiello, G. (2007). Links. Relating different physical systems through the common QFT algebraic structure. Lecture Notes in Physics, 718, 165205. Von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton, NJ: Princeton UP.Basti G. (2017). 

Metody i kryteria oceniania: 
Preparation of a written work of at least 20 pages on some sources of the course bibliography, and previously agreed with the professor. 
Zajęcia w cyklu "Semestr zimowy 2017/18" (w trakcie)
Okres:  20171001  20180131 
zobacz plan zajęć 
Typ zajęć: 
Wykład monograficzny, 30 godzin, 20 miejsc więcej informacji


Koordynatorzy:  Gianfranco Basti, Agnieszka Szymańska, Adam Świeżyński, Andrzej Waleszczyński  
Prowadzący grup:  Gianfranco Basti, Agnieszka Szymańska, Adam Świeżyński, Andrzej Waleszczyński  
Lista studentów:  (nie masz dostępu)  
Zaliczenie:  Egzaminacyjny  
ELearning:  ELearning (pełny kurs) z podziałem na grupy 

Typ przedmiotu:  fakultatywny dowolnego wyboru 

Skrócony opis: 
The course – given partly in distance learning modality (7 units), and partly in onsite modality (8 units) – is conceived as a formal counterpart of the other one “From Modern Transcendental of Knowing to the PostModern Transcendental of Language”. It aims at offering to graduate students both of philosophical and scientific – mainly of physics, mathematics, and computer science – departments, a philosophical interpretation of the “paradigm shift” we are living both in fundamental physics, and in theoretical computer science. This shift leaded the scientific community to awarding the Nobel Prizes in Physics to the Authors of momentous discoveries in these two related realms, respectively in 2015 and in 2016. These changes, however, concern  and in many senses, primarily  the mathematical and the logical basis of the topological (operator algebra) modeling of quantum physics, and of quantum computing, as far as interpreted in the framework of Category Theory (CT).  
Pełny opis: 
The course – given partly in distance learning modality (7 units), and partly in onsite modality (8 units) – is conceived as a formal counterpart of the other one “From Modern Transcendental of Knowing to the PostModern Transcendental of Language”. It aims at offering to graduate students both of philosophical and scientific – mainly of physics, mathematics, and computer science – departments, a philosophical interpretation of the “paradigm shift” we are living both in fundamental physics, and in theoretical computer science. This shift leaded the scientific community to awarding the Nobel Prizes in Physics to the Authors of momentous discoveries in these two related realms, respectively in 2015 and in 2016. These changes, however, concern  and in many senses, primarily  the mathematical and the logical basis of the topological (operator algebra) modeling of quantum physics, and of quantum computing, as far as interpreted in the framework of Category Theory (CT). Therefore, we illustrate the foundations of the topological (operator algebra) approach to quantum physics and computation, by introducing some elementary notions of Category Theory, as a universal language for logic and mathematics in many senses wider than settheory. We show, over all, the relevance of categorical semantic duality in logic and computer science because of the famous Stone theorem that has also an immediate philosophical relevance for the foundation of a coalgebraic firstorder modal semantics of propositional (Boolean) logic. On the other hand, because the topologies of Stone spaces are the same of the C*algebras in quantum physics, the functorial categorical duality coalgebraalgebra can be usefully applied to the noncommutative coalgebraic modeling of the thermal quantum field theory (QFT) of dissipative systems, developed independently by theoretical physicists. Particularly, in CT framework, it is possible to formalize the core principle of thermal QFT, consisting in the “doubling of the states (phases) of the Hilbert space” (or “doubling of the degrees of freedom (DDF)”), in order to satisfy the Hamiltonian character (closeness) of the system. In this way, the minimum freeenergy function, differently from QM, can be used as a selection function among states, so to justify a dynamic, “observerindependent”, choice of the orthonormal basis of the Hilbert space, and then, in quantum computing, the semantic character of the associated qubit. Effectively, we demonstrate that the notion of “QVfoliation”, where each “sheet” corresponds to one of the infinitely many “spontaneous symmetry breakdowns (SSBs)” of the QV according to the Goldstone Theorem, can be modeled in CT logic using the construction of the “infinite state blackbox machine” for dealing with computations on infinite data streams. All this justifies the experimental evidence that thermal QFT applies for modeling in cognitive neuroscience the “deep learning” of our dissipative brains entangled with their environments (notion of “intentional extended mind”), using the QVfoliation as a powerful tool of memory. This inspired our group also for developing a new architecture in nanotechnology of optical quantum computer, for modeling infinite data stream computations. Finally, because of the coalgebraic nature of modal logics in CT, all this justifies the construction of the formal ontology for a “semiotic” postmodern naturalism and epistemological realism, which concern the same metaphysics of the human person as freeagent, perfectly consistent with the notion of person as an autonomous communication agent of neuroethics, where the conscious component of our selfcontrolling ability is a small part (effectively, an iceberg top) of it.  
Literatura: 
• Course Textbook: Basti G. (2017). An ontology for our information age. A paradigm shift in science and philosophy, Aracne Edition, Rome. (available in ebook format since Fall 2017). Abramsky, S., & Tzevelekos, N. (2011). Introduction to categories and categorical logic. In B. Coecke (Ed.), New structures for physics. Lecture Notes in Physics, vol. 813 (pp. 394). BerlinNew York: Springer • Other texts (many of them will be downloadable in the online course viewer): Abramsky, S. (2005). A Cook’s Tour of the Finitary NonWellFounded Sets (original lecture: 1988). In S. Artemov, H. Barringer, A. d'Avila, L. C. Lamb, & J. Woods (A cura di), Essays in honor of Dov Gabbay. Vol. I (p. 118). London: Imperial College Pubblications. Aczel, P. (1988). Nonwellfounded sets. CLSI Lecture Notes, vol.14. Awodey, S. (2010). Category Theory. Second Edition (Oxford Logic Guides 52). Oxford, UK: Oxford UP. Basti, G. (2012). Philosophy of Nature and of Science. Vol. I: The Foundations. Translated by Ph. Larrey. Retrieved May 31, 2016, from http://www.irafs.org/courses/materials/basti_fil_nat.pdf Basti, G. (2013). A change of paradigm in cognitive neurosciences Comment on: "Dissipation of 'dark energy' by cortex in knowledge retrieval" by Capolupo, Freeman and Vitiello, Physics of life reviews, 5 (2013b), 9798. Basti, G. (2017). The quantum field theory (QFT) dual paradigm in fundamental physics and the semantic information content and measure in cognitive sciences, in Representation of Reality: Humans, Animals and Machine, G. DodigCrnkovic & R. Giovagnoli (Eds.), Springer Verlag: BerlinNew York (In Press). Basti G., Capolupo A, Vitiello G, (2017). Quantum field theory and coalgebraic logic in theoretical computer science», Progress in Biophysics and Molecular Biology, Preprint in: <https://doi.org/10.1016/j.pbiomolbio.2017.04.006>. Blasone, M., Jizba, P., & Vitiello, G. (2011). Quantum field theory and its macroscopic manifestations. Boson condensation, ordered patternsand topological defects. London: Imperial College Press. Capolupo, A., Freeman, W. J., & Vitiello, G. (2013). Dissipation of dark energy by cortex in knowledge retrieval. Physics of life reviews 5(10), 9097. Del Giudice, E., Pulselli, R., & Tiezzi, E. (2009). Thermodynamics of irreversible processes and quantum field theory: an interplay for understanding of ecosystem dynamics. Ecological Modelling, 220, 18741879 Deutsch, D. (1985). Quantum theory, the ChurchTuring principle and the universal quantum computer. Proc. R. Soc. Lond. A, 400, 97–117. Goranko, V., & Otto, M. (2007). Model theory of modal logic. In P. Blackburn, F. J. van Benthem, & F. Wolter (A cura di), Handbook of Modal Logic (p. 252331). Amsterdam: Elsevier Hawking, S., & Mlodinow, L. (2010). The grand design. New answers to the ultimate questions of life. London: Bantam Press. Krauss, L. M. (2012). A universe from nothing. Why there is something rather than nothing. Afterward by Richard Dawkins. New York: Free Press Rovelli, C. (1996). Relational quantum mechanics. Int. J. Theor. Phys., 35, 1637–1678. Rutten, J. J. (2000). Universal coalgebra: a theory of systems. Theoretical computer science, 249(1), 380. Sangiorgi , D. (2012). Origins of bisimulation and coinduction. In D. Sangiorgi, & J. Rutten (A cura di), Advanced topics in bisimulation and coinduction (p. 137). Cambridge, UK: Cambridge UP. Umezawa, H. (1993). Advanced field theory: micro, macro and thermal concepts. New York: American Institute of Physics. Umezawa, H. (1995). H. Umezawa, Development in concepts in quantum field theory in half century. Math. Japonica, 41, 109–124. Van Benthem, J. (1984). Correspondence theory. In D. Gabbay, & F. Guenthner (Eds.), Handbook of philosophical logic. Vol. II (pp. 167247). Dordrecht, NL: Reidel. Van Benthem, J. (2010). Modal Logic for Open Minds. Stanford, CA: CLSI Publications. Vattimo, G. (1985). La fine della modernità. Milano: Garzanti. Venema, Y. (2007). Algebras and coalgebras. In P. Blackburn, F. J. van Benthem, & F. Wolter (A cura di), Handbook of modal logic (p. 331426). Amsterdam, North Holland: Elsevier. Vitiello, G. (2004). The dissipative brain. In G. G. Globus, K. H. Pribram, & G. Vitiello (A cura di), Brain and Being  At the boundary between science,philosophy,language and arts (p. 317330). Amstedam: John Benjamins Pub. Co. Vitiello, G. (2007). Links. Relating different physical systems through the common QFT algebraic structure. Lecture Notes in Physics, 718, 165205. Von Neumann, J. (1955). Mathematical foundations of quantum mechanics. Princeton, NJ: Princeton UP.Basti G. (2017). 
Właścicielem praw autorskich jest Uniwersytet Kardynała Stefana Wyszyńskiego w Warszawie.