Výsledky vyhledávání - "Uckelman, S.L."

Computing with concepts, computing with numbers: Llull, Leibniz, and Boole

Autor: Uckelman, S.L., Ferreira, F., Löwe, B., Mayordomo, E., Mendes Gomes, L.

Publikováno v: Programs, Proofs, Processes: 6th Conference on Computability in Europe, CiE 2010: Ponta Delgada, Azores, Portugal, June 30-July 4, 2010 : proceedings, 427-437
STARTPAGE=427;ENDPAGE=437;TITLE=Programs, Proofs, Processes
Programs, Proofs, Processes ISBN: 9783642139611
CiE

We consider two ways to understand "reasoning as computation", one which focuses on the computation of concept symbols and the other on the computation of number symbols. We illustrate these two ways with Llull's Ars Combinatoria and Leibniz's attemp

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e9df02dd2a7fa9da555a29429c85367
https://hdl.handle.net/11245/1.330976

Zobrazit plný text záznamu

Review of the book Albert of Saxony, Quaestiones circa logicam: Twenty-Five Disputed Questions on Logic, transl. M.J. Fitzgerald, 2010

Autor: Uckelman, S.L.

Publikováno v: Speculum, 83, 719-720. CSLI Publications (Distributed by the Univ of Chicago Press)

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::11c15a0fc6b46b34efc2f16501884fc9
https://research.tilburguniversity.edu/en/publications/7f760966-cf47-4979-b881-4a88ad72e3b2

Zobrazit plný text záznamu

Interactive logic in the Middle Ages

Autor: Uckelman, S.L.

Publikováno v: Logic and Logical Philosophy, 21(3), 439-471. Nicolaus Copernicus University

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::877efd22961d58da5fc9005431320c04
https://research.tilburguniversity.edu/en/publications/8d0668c4-6753-45ea-888f-5d1b46b1690d

Zobrazit plný text záznamu

The Ontological Argument

Autor: Uckelman, S.L., Bruce, M., Barbone, S.

Publikováno v: Just the Arguments: 100 of the Most Important Arguments in Western Philosophy
Just the argument: 100 of the most important arguments in western philosophy
Just the argument
Just the arguments: 100 of the most important arguments in western philosophy, 25-27
STARTPAGE=25;ENDPAGE=27;TITLE=Just the arguments: 100 of the most important arguments in western philosophy

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::07789c9ef7aa65292e34b892b9c258fa
https://doi.org/10.1002/9781444344431.ch4

Zobrazit plný text záznamu

[Review of: M.J. Fitzgerald (2010) Albert of Saxony. Quaestiones circa logicam (twenty-five disputed questions on logic): introducation, translation, and notes]

Autor: Uckelman, S.L.

Publikováno v: Speculum, 86(3), 719-720. Medieval Academy of America

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::9f9beed54c048dd6e4d541df27ac5f7c
https://dare.uva.nl/personal/pure/en/publications/review-of-mj-fitzgerald-2010-albert-of-saxony-quaestiones-circa-logicam-twentyfive-disputed-questions-on-logic-introducation-translation-and-notes(bc1184a0-6622-4c5f-8019-24f592e1e6d4).html

Zobrazit plný text záznamu

Deceit and indefeasible knowledge: the case of dubitatio

Autor: Uckelman, S.L.

Publikováno v: Journal of Applied Non-Classical Logics, 21(3/4), 503-519. Taylor and Francis

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::cab5659aec0085a9b3a1075189a8c89a
https://research.tilburguniversity.edu/en/publications/3f5020fb-5302-4901-b14e-5b3a6161e692

Zobrazit plný text záznamu

Dialogues games for classical logic (short paper)

Autor: Alama, J., Knoks, A., Uckelman, S.L., Giese, M., Kuznets, R.

Publikováno v: Tableaux 2011: Workshops, tutorials and short papers, 82-86
STARTPAGE=82;ENDPAGE=86;TITLE=Tableaux 2011

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::5e5f677bd3781e180710c53059d01d69
https://research.tilburguniversity.edu/en/publications/216875a0-fb82-409b-81c7-2a7d82e05379

Zobrazit plný text záznamu

Obligationes as formal dialogue systems

Autor: Uckelman, S.L.

Publikováno v: STAIRS 2010: Proceedings of the fifth starting AI researchers' symposium, 341-353
STARTPAGE=341;ENDPAGE=353;TITLE=STAIRS 2010

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::b2eba4044cf1cd7d21041efff607bc0e
https://research.tilburguniversity.edu/en/publications/952c5f49-8c51-4789-8bc1-f543a57a471e

Zobrazit plný text záznamu

Dialogue games for classical logic

Autor: Alama, J., Knoks, A., Uckelman, S.L., Giese, M., Kuznets, R.

Publikováno v: TABLEAUX 2011: Workshops, Tutorials, and Short Papers, 82-86
STARTPAGE=82;ENDPAGE=86;TITLE=TABLEAUX 2011: Workshops, Tutorials, and Short Papers

We define a class of dialogue games and prove that existence of winning strategies for the Proponent in this class of games corresponds to validity in classical propositional logic. Many authors have stated similar results without actually proving th

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=narcis______::cd62dde573531e1e22b1e8694596d458
https://dare.uva.nl/personal/pure/en/publications/dialogue-games-for-classical-logic(c5f65127-97d1-4941-a183-b5ca36ad96e3).html

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání