Results 161 to 170 of about 392 (201)
Some of the next articles are maybe not open access.
The Formal Argumentation Libraries of Tweety
2018We provide an overview on the argumentation libraries of the Tweety library collection to artificial intelligence and knowledge representation. These libraries comprise of implementations to abstract argumentation frameworks, as well as the most popular approaches to structured argumentation, and various further aspects.
openaire +1 more source
Arguably Argumentative: A Formal Approach to the Argumentative Theory of Reason
2016We propose a formal approach to the argumentative theory of reason, combining argumentation theory and modal logic in a novel way. We show that the resulting framework can be used to model important mechanisms identified by the theory, including how confirmation bias and other problematic modes of reasoning may in fact serve an important argumentative ...
Sjur K. Dyrkolbotn, Truls Pedersen
openaire +1 more source
Formal Argumentation and Epistemic Entrenchment
2018The argumentation turn in logic paves the way for importing problems and ideas from general philosophy of science into logical formalisms. The main problems are: when faced with an inconsistency, how do we choose the hypotheses/beliefs that are the most plausible candidates for revision? Do we really need to react to each single inconsistency or should
openaire +1 more source
A formalization of elenctic argumentation
Erkenntnis, 1995L'A. propose de formaliser l'argumentation elenctique (elenchus) de la tradition aristotelicienne en vue d'etablir le principe de non-contradiction. Il apparait que l'argument elenctique n'est concluant que sous certaines conditions, qu'il presuppose le principe de la negation et la premiere loi de ...
openaire +1 more source
On the Formal Arguments of the Akutobhayā
Journal of Indian Philosophy, 1998Etude d'un commentaire ancien du bouddhisme de l'ecole Madhyamaka anterieur a Buddhapalitā et traitant du debat sur la logique et la methode: l'«Akutobhayā» de Nāgārjuna, analysant la structure syllogistique de la pensee de son auteur. L'A. se propose de montrer que l'«Akutobhayā» est plus proche de la conception du monde de Nāgārjuna que les ...
openaire +1 more source
Dynamics in formal argumentation.
2004In this thesis we are concerned with the role of formal argumentation in artificial intelligence, in particular in the field of knowledge engineering. The intuition behind argumentation is that one can reason with imperfect information by constructing and weighing up arguements intended to give support in favour or against alternative conclusions.
openaire +1 more source
Reconstructing Arguments – Formalization and Reflective Equilibrium
History of Philosophy and Logical Analysis, 2014Traditional logical reconstruction of arguments aims at assessing the validity of ordinary language arguments. It involves several tasks: extracting argumentations from texts, breaking up complex argumentations into individual arguments, framing arguments in standard form, as well as formalizing arguments and showing their validity with the help of a ...
openaire +2 more sources
2002
The last Chapter ended with an informal presentation of Godel’s argument. This one is devoted to a formalized version. I’ll also consider some objections and modifications. There are two kinds of objections. One amounts to saying that Godel committed the same fallacy Descartes did: assuming something equivalent to God’s existence. Nonetheless, again as
openaire +1 more source
The last Chapter ended with an informal presentation of Godel’s argument. This one is devoted to a formalized version. I’ll also consider some objections and modifications. There are two kinds of objections. One amounts to saying that Godel committed the same fallacy Descartes did: assuming something equivalent to God’s existence. Nonetheless, again as
openaire +1 more source
2012
This paper is a detailed study of formalized arguments. The paper argues in defense of the thesis that formalized arguments are of great importance to the overall development of the Nigerian nation. This importance, the paper opines, informed the decision of Nigerian Universities commission to popularize logic through making "Philosophy and Logic" a ...
openaire +1 more source
This paper is a detailed study of formalized arguments. The paper argues in defense of the thesis that formalized arguments are of great importance to the overall development of the Nigerian nation. This importance, the paper opines, informed the decision of Nigerian Universities commission to popularize logic through making "Philosophy and Logic" a ...
openaire +1 more source
Formal Models of Argumentation
1995As this is an artificial intelligence book, our goal is a computational model of some legal process. The discourse norms from Alexy’s theory of legal argumentation are quite abstractly stated, and it is still less than clear how or whether they can be modeled in a computer program.
openaire +1 more source