Events archive

Refine your search

2006
24 February 2006	Lecture	Logica's van inductieve definities en causale probabilistische events (en hun verbanden met logic programming) Wat hebben logische programma's (Prolog), inductieve definities, causaliteit en probaliteit met elkaar te maken? Ik zal twee gerelateerde logica's bespreken: ID-logica, en CPE-logica. De eerste is een integratie van klassieke logica met een taalconstructie om... Read more
22 February 2006	Doctoral defense	Van precepten tot vergelijkingen. De conceptuele ontwikkeling van symbolische algebra in de zestiende eeuw Doctoral Defense Albrecht Heeffer, Promotor: Diderik Batens

2005
16 December 2005	Lecture	Creativity and the Dynamics of Incongruity-Resolution Among contemporary humor theorists, the prevalent view of how a cognitive agent gets a joke is the so-called forced reinterpretation-account (henceforth FR) of incongruity-resolution (henceforth IR). Firstly, the cognitive agent interprets the set-up of the joke (or the... Read more
30 November 2005	Doctoral defense	Adaptieve Inductielogica's. Theorie en Praktijk van het Inductief Redeneren Doctoral Defense Lieven Haesaert, Promotor: Diderik Batens
18 November 2005	Lecture	From Solvability to Unsolvability: Posts frustrating problem of Tag. In 1931 Kurt Gödel published his incompleteness results, and some years later Church and Turing showed that the decision problem for certain systems of symbolic logic has a negative solution. However, already in 1921 the young logician Emil Post worked on similar problems... Read more
28 October 2005	Lecture	Een Erotetisch Model De bestaande erotetische logica’s (Harrah, Belnap, Hintikka, Wiœniewski) vertonen enkele belangrijke nadelen en beperkingen: het probleem van logische alwetendheid en het ontbreken van een bewijstheorie, evokatie en implicatie van irrelevante vragen, de beperking van which-... Read more
22 September 2005	Doctoral defense	De Disjunctie. Adaptief-logische formalisering van een aantal Griceaanse implicaturen Doctoral Defense Liza Verhoeven, Promotor: Diderik Batens
9 September 2005	Lecture	A New Semantics for Quantification for Substructural and Modal Logics This is a non-technical talk that presents a new approach to the semantics of the quantifiers. On the standard approach, (forall x)Fx is true if and only if Fx is true for all assignments of the variable x to individuals in the domain. The standard approach, however, has... Read more
1 July 2005	Lecture	Paraconsistentization of Logics? Given a logic, how to obtain its paraconsistent counterpart? Given a paraconsistent logic, how to obtain the non-paraconsistent counterpart of this logic? Many systems of paraconsistent logics were already proposed using different methods and techniques. Although this fact... Read more
24 June 2005	Lecture	Adaptive Proofs We investigate the notion of final derivability. Specifically, we describe the maximal recursion-theoretic complexity of the set of final consequences of decidable sets of premises formulated in the language of propositional logic. Our results show that taking the final... Read more

Pages