Přejít k obsahu

Nancy Abigail Nuñez Hernández, Ph.D. (FEC a FLÚ AV ČR): Justification logic and the epistemic contribution of deduction

Anotace

Accounting for the epistemic contribution of deduction has been a pervasive problem for logicians interested in deduction, such as, among others, Jakko Hintikka and Johan van Benthem. The problem arises because the conclusion validly deduced from a set of premises is contained in that set; because of this containment relation, the conclusion is known from the moment the premises are known. Under this assumption, explaining how we can gain knowledge by deducing a logical consequence implied in a set of known premises is problematic. To address this problem, I propose an alternative account of the epistemic contribution of deduction in terms of the work required to deduce a conclusion or a theorem, understanding such work in terms of the number of steps in the derivation and the reason for or justification for every step. To this end, I developed a justification logic system that exhibits the epistemic contribution of a deductive derivation as the resulting justified formula.

Datum zahájení 30.09.2022
Datum ukončení 30.09.2022
Místo konání RJ 209, 11:00
Kontaktní osoby Naďa Hlaváčková (777 010 501)
Počet účastníků z ČR 10
Počet zahraničních učastníků 2
Zpět na seznam akcí

Patička