Location






The seminar is held online. Join Zoom Meeting:

https://us02web.zoom.us/j/889933315?pwd=Q3U3V3VQdXpXckhJYWRrcWRiMUhhQT09



9 April (Friday) 4:15 PM  ONLINE
Luis Fernando Murillo
Logic and Philosophy of Science PhD Program, Eötvös University, Budapest
 
Agnosia and Nominalism
It is an oft cited claim of naturalistic epistemology that brain science will contribute to our  understanding of mental function. Object recognition is  a mental function dramatically impaired by agnosia,  a clinical syndrome caused by ischemic insult (stroke)  to circumscribed regions of the cortex. Curiously specific deficits in the recognition of certain categories ensue from agnosia, although in some cases, patients may lose object recognition altogether retaining flawless face recognition. What, if anything, do these phenomena reveal about the minds “implementation" of language? What philosophies of abstraction and ideogenesis can best account for the empirical data observed in the clinical literature? Does agnosia hold the potential to teach us something philosophical  about naming, self-knowledge, and  self-recognition of representational states?



16 April (Friday) 4:15 PM  ONLINE
Zalán Gyenis
Department of Logic, Jagiellonian University, Krakow
 
Rational belief functions, nonclassical logics, and Dutch Books
The talk concerns with belief functions in the context of various nonclassical logics. After surveying previous results, I report a solution to an open problem regarding the axiomatization of rational belief functions of symmetric logic. Then, the notions of bets and Dutch Books typically employed in formal epistemology are investigated and it is claimed that they are of little use outside the realm of classical logic. We propose novel ways of understanding Dutch Books in nonclassical settings.



23 April (Friday) 4:15 PM  ONLINE
Zalán Molnár
Logic and Philosophy of Science PhD Program, Eötvös University, Budapest
 
Ultrafilter extensions and elementary equivalence?
This talk concerns with the type of ultrafilter extension of structures equipped with a single binary relation that are well studied in modal logics and universal algebra. They become fundamental constructions understanding model theory of modal logics. In my talk I will focus on the first-order theory of such extensions emerging from modal logic and try to characterise possible relationship with their original structure. In the most general setting there is little to say about such connections, and it is no surprise that the preservance of first-oder formulas might fail, as opposed to ultraproduct construction.

The literature mainly poses the question of "What type of first-order formulas are preserved under taking ultrafilter extension?", which turns out to be \Pi_1^1-hard, hence disclaiming the existence of any characterisation theorem. In the presentation I take the reverse approach and ask what types or classes of structures are elementary equivalent to their ultrafilter extension? Without knowing the exact answer, I present a good candidate, namely, the class of image (and pre-image) finite structures.



30 April (Friday) 4:15 PM  ONLINE
Xing Zhan
Logic and Philosophy of Science MA Program, Eötvös University, Budapest
 
Computational Systems: A Physico-formalist Account
I articulate and defend a modified mapping account of physical implementation of computation. I incorporate the account in the physico-formalist ontology. According to my physico-formalist account, a physical system implements a computational formalism just in case there is a true theory of computational implementation (C,M,P). I contrast my theory with the original mapping account, the semantic account, and the mechanistic account. I survey the triviality argument and deploy physico-formalism to illuminate the metaphysical problems behind the question of computational implementation.