Computer Sciences
Formal Theories of Properties
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
City:
Country:
Language:
English
Credits:
0 EC
Fee:
490 EUR
About
This course is an introduction to formal theories of properties, where these include propositions as well as relations. We motivate the foundational importance of properties across disciplines and the need for formal models. We then review different ways of developing formal theories of properties, corresponding to different logical and metaphysical choices. Finally, we assess the costs and benefits of various theories. Our discussion includes a survey of classic contributions as well as recent developments in the area.
Course leader
Salvatore Florio and Carlo Nicolai
Target group
Students
Fee info
Fee
490 EUR, Early student registration
Fee
690 EUR, Early non-academic registration
Interested?
When:
31 July - 11 August 2023
School:
ESS in Logic, Language and Information
Institution:
University of Ljubljana
Language:
English
Credits:
0 EC