Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...
Datum Název
27.3.19 16:00Igor Sedlár (ICS CAS): Two approaches to non-classical modal logic
Popis:Two prominent approaches to non-classical modal logic are the lattice-valued one, using Kripke frames and valuation functions mapping formula-state pairs to a lattice of truth- values, and the relational one, extending frame semantics for non-classical logics|usually given by means of so-called Routley{Meyer frames|by additional accessibility relations corresponding to modal operators. In this talk, I outline some preliminary results on the relationship between these two approaches. Using elementary dualities between residuated lattices and Routley{Meyer frames, I show that the logic of all modal associative Routley{ Meyer frames is the logic of all Kripke frames with valuations in complete distributive FL-algebras.
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
20.3.19 16:00Joan Bertran-San Millán (FLU CAS): Frege
Popis:Gottlob Frege developed in Begriffsschrift (1879) the concept-script, the fi rst formal system in the history of modern logic. The similarities between Frege's system and some contemporary formal systems have been taken for granted as evidence for a contemporary interpretation of the concept-script. In fact, the most common and traditional interpretation of Begriffsschrift's concept-script claims that it consists of a formal language of second-order logic and a deductive system for that language. In this talk, I offer a detailed analysis of Begriffsschrift's deductive system and justify that it must not be interpreted as a formal system of second-order logic. Specifically, I defend that a reformulation of the calculus of the concept-script in terms of a second-order calculus distorts its nature and, moreover, that some proofs of Begriffsschrift are not reproducible by means of this reformulation.
www:https://web.cs.cas.cz/mku/appl/aktualni/aktualni.pdf
Nová verze webových stránek Ústavu informatiky AV ČR v.v.i. je přístupná zde ...