%0 Journal Article %J Studia Semiotyczne %D 2017 %T The Scale Structure of Moral Adjectives %A Faroldi, Federico L. G. %A Soria Ruiz, Andrés %B Studia Semiotyczne %V 31 %G eng %N 2 %& 161 %0 Conference Proceedings %B COMMA 2014 %D 2014 %T Dynamic Derivations for Sequent-Based Deductive Argumentation %A Straßer, Christian %A Arieli, Ofer %E Parsons, Simon %E Oren, Nir %E Reed, Chris %E Cerutti, Federico %X
We introduce a general approach for representing and reasoning with argumentation-based systems. In our framework arguments are represented by Gentzen-style sequents, attacks (conflicts) between arguments are represented by sequent elimination rules, and deductions are made by dynamic proof systems. This framework accommodates different languages and logics in which arguments may be represented, supports a variety of attack relations, and tolerates dynamic changes in the argumentation setting by revising derivations of assertions in light of new information.
%B COMMA 2014 %V Computational Models of Argument %P 89–100 %G eng %0 Journal Article %J Metascience %D 2013 %T The ICE-theory of technical functions %A Weber, Erik %A Reydon, Thomas %A Boon, Mieke %A Houkes, Wybo %A Vermaas, Pieter %B Metascience %V 22 %P 23–44 %G eng %R 10.1007/s11016-012-9642-9 %0 Generic %D 2012 %T The rule of quantity by Chuquet and de la Roche and its influence on German Cossic algebra %A Heeffer, Albrecht %E Rommevaux, Sabine %E Spiesser, Maryvonne %E Massa Esteve, Maria Rosa %XThe importance of Larismethique of de La Roche, published in 1520, has been seriously underestimated. One reason for the neglect is related to the inscrutable way he is referred to. Buteo and Wallis called him Stephanus à Rupe de Lyon. Other obscure references, such as Gosselin calling him Villafrancus Gallus have been overlooked by many commentators. His influence can be determined in several works that do not credit him but use problems or definitions from the Larismethique. However, most damaging for its historical assessment was Aristide Marre?s misrepresentation of the Larismethique as a grave case of plagiarism. Marre discovered that the printed work of 1520 by Estienne de la Roche contained large fragments that were literally copied from Chuquet?s manuscript of the Triparty. Especially on the Appendice, which contains the solution to a large number of problems, Marre writes repeatedly that it is a literal copy of Chuquet. However, he fails to mention that the structure of the text of de la Roche, his solution methods and symbolism differs significantly from Chuquet. De la Roche introduces several improvements, especially with regards to the use of the second unknown. We provide an in-depth comparison of some problems solved by the so-called regle de la quantite by Chuquet with those of de la Roche. We further report on the surprising finding that Christoff Rudolff's solution to linear problems by means of the second unknown in his Behend vnnd Hubsch Rechnung of 1525 depends on Chuquet and de la Roche. As it is generally considered that algebra was introduced in Germany through Italy this provides a new light on the transmission of algebraic knowledge from France to the rest of Europe.
%B Pluralité de l'algèbre à la Renaissance %I Honoré Champion %P 127–147 %@ 9782745323989 %G eng %0 Generic %D 2012 %T Type-Theoretical Dynamics. Exploring Belief Revision in a Constructive Framework %A Primiero, Giuseppe %E Rahman, Shahid %E Primiero, Giuseppe %E Marion, Mathieu %XIn the present paper a dynamics for type theory is introduced. The formalization provides epistemic explanations for the basic notions of belief state and belief set by referring to assertion conditions for type-theoretical judgements; it interprets expectations in terms of default assumptions for such a structure and it adapts the usual revision operations and the analogous of the Ramsey test. The model, restricted to operations of revision, merging and information preference, provides a constructive type-theoretical approach to epistemic dynamics.
%B The realism-antirealism debate in the age of alternative logics %I Springer %P 191–212 %G eng %R 10.1007/978-94-007-1923-1_11 %0 Generic %D 2011 %T The IARC and mechanistic evidence %A Leuridan, Bert %A Weber, Erik %E McKay Illari, Phyllis %E Russo, Federica %E Williamson, Jon %XThe International Agency for Research on Cancer (IARC) is an organization which seeks to identify the causes of human cancer. For each agent, such as betel quid or Human Papillomaviruses, they review the available evidence deriving from epidemiological studies, animal experiments and information about mechanisms (and other data). The evidence of the different groups is combined such that an overall assessment of the carcinogenicity of the agent in question is obtained. In this paper, we critically review IARC's carcinogenicity evaluations. First we show that serious objections can be raised against their criteria and procedures - more specifically regarding the role of mechanistic knowledge in establishing causal claims. Our arguments are based on the problems of confounders, of the assessment of the temporal stability of carcinogenic relations, viz. How we should treat the carcinogenicity evaluations that were based on the current procedures. After showing that this question is important we argue that an overall dismissal of the current evaluations would be too radical. Instead, we argue in favour of a stepwise re-evaluation of the current findings.
%B Causality in the Sciences %I Oxford University Press %P 91–109 %@ 9780199574131 %G eng %0 Conference Paper %B Proceedings of the Computability in Europe 2010 Conference %D 2010 %T Constructive contextual modal judgments for reasoning from open assumptions %A Primiero, Giuseppe %E Ferreira, F %E Guerra, H %E Mayordomo, E %E Rasga, J %XDependent type theories using a structural notion of context are largely explored in their applications to programming languages, but less investigated for knowledge representation purposes. In particular, types with modalities are already used for distributed and staged computation. This paper introduces a type system extended with judgmental modalities internalizing epistemically different modes of correctness to explore a calculus of provability from refutable assumptions.
%B Proceedings of the Computability in Europe 2010 Conference %I Centre for Applied Mathematics and Information Technology, Department of Mathematics, University of Azores %G eng %0 Generic %D 2009 %T Epistemic Modalities %A Primiero, Giuseppe %E Primiero, Giuseppe %E Rahman, Shahid %XI present an analysis of the notion of epistemic modalities, based on an appropriate interpretation of two basic constructivist issues: verification and epistemic agency. Starting from an historical analysis of conditions for judgments, I analyze first the reading of necessity with respect to apodictic judgements, and then that of possibility with respect to hypothetical judgement. The analysis results in a formal treatment of rules for judgemental modal operators, whose aim is to preserve epistemic states corresponding to verified and unverified assumptions in contexts. In the conclusion, further tracks of research are indicated for designing a semantic framework and defining multi-agents systems.
%B Acts of Knowledge: History, Philosophy and Logic %S Tributes %I College Publications %V 9 %P 207–232 %@ 978-1-904987-92-5 %G eng %0 Journal Article %J European journal of science and theology %D 2009 %T Isaac Newton's 'Of The Church' Manuscript Description and Analysis of Bodmer Ms. in Geneva %A Ducheyne, Steffen %E Rusu, Iulian %XIn this essay, a manuscript description and analysis of Isaac Newton's manuscript 'Of the Church' (Bodmer Ms., Fondation Martin Bodmer, Geneva, Switzerland) is provided.
%B European journal of science and theology %V 5 %P 25–35 %G eng %U http://www.ejst.tuiasi.ro/issue.html %0 Generic %D 2009 %T Modal Logic and Philosophy. A case study. %A Urbaniak, Rafal %A Rostalska, Agnieszka %E Weber, Erik %E Libert, Thierry %E Marage, Pierre %E Vanpaemel, Geert %B Logic, Philosophy and History of Science in Belgium. Proceedings of the Young Researchers Days 2008 %I Koninklijke Vlaamse Academie van België %C Brussel %P 79-83 %G eng %0 Generic %D 2009 %T Towards a Dialogic Interpretation of Dynamic Proofs %A Batens, Diderik %E Dégremont, Cédric %E Keiff, Laurent %E Rückert, Helge %XThe main result presented in this paper concerns a dialogic or game-theoretical interpretation of dynamic proofs. Dynamic proofs in themselves do not form a demonstration of the derivability of their last formula from a given premise set. Apart from the proof, such a demonstration requires a specific metalevel argument. In a natural and appealing form, the metalevel argument is phrased in terms of the existence of a winning strategy for the proponent.\par The aforementioned point is presented in terms of an approach that is in a sense Hilbertian and anti-Tarskian: the characterization of logical inference in terms of types of proofs, rather than in terms of properties of the consequence relation.
%B Dialogues, Logics and Other Strange Things. Essays in Honour of Shahid Rahman %I College Publications %C London %P 27–51 %G eng %0 Generic %D 2008 %T A conceptual analysis of early arabic algebra %A Heeffer, Albrecht %E Rahman, Shahid %E Street, Tony %E Tahiri, Hassan %XArabic algebra derives its epistemic value not from proofs but from correctly performing calculations using coequal polynomials. This idea of mathematics as calculation had an important influence on the epistemological status of European mathematics until the seventeenth century. We analyze the basic concepts of early Arabic algebra such as the unknown and the equation and their subsequent changes within the Italian abacus tradition. We demonstrate that the use of these concepts has been problematic in several aspects. Early Arabic algebra reveals anomalies which can be attributed to the diversity of influences in which the al-jabr practice flourished. We argue that the concept of a symbolic equation as it emerges in algebra textbooks around 1550 is fundamentally different from the equation as known in Arabic algebra.
%B The unity of science in the arabic tradition : science, logic, epistemology and their interactions %I Kluwer Academic Publishers %C Dordrecht %P 89–128 %@ 978-1-4020-8404-1 %G eng %U http://dx.doi.org/1854/11276 %0 Generic %D 2007 %T Conceptual tools for causal analysis in the social sciences. %A Weber, Erik %E Russo, Federica %E Williamson, Jon %B Causality and probability in the sciences %I College Publications %C London %P 197–213 %@ 1904987354 %G eng %0 Generic %D 2007 %T Galton's blinding glasses: modern statistics hiding causal structure in early theories of inheritance. %A Leuridan, Bert %E Russo, Federica %E Williamson, Jon %B Causality and probability in the sciences %I College Publications %P 243–262 %@ 1-904987-35-4 %G eng %0 Generic %D 2004 %T The Need for Adaptive Logics in Epistemology %A Batens, Diderik %E Rahman, Shahid %E Symons, John %E Gabbay, Dov M. %E Van Bendegem, Jean Paul %XAfter it is argued that philosophers of science have lost their interest in logic because they applied the wrong type of logics, examples are given of the forms of dynamic reasoning that are central for philosophy of science and epistemology. Adaptive logics are presented as a means to understand and explicate those forms of reasoning. All members of a specific (large) set of adaptive logics are proved to have a number of properties that warrant their formal decency and their suitability with respect to understanding and explicating dynamic forms of reasoning. Most of the properties extend to other adaptive logics.
%B Logic, Epistemology, and the Unity of Science %I Kluwer %C Dordrecht %P 459–485 %G eng %0 Conference Paper %B Philosophical Dimensions of Logic and Science %D 2003 %T Explaining laws by reduction %A Weber, Erik %E Rojsczak, A %E Cachro, J %E Kurczewski, G %XScientific explanations have been intensively studied by philosophers of science during the last five decades. Explanations of laws did not receive as much attention as explanations of particular facts. In this article, I present a model for one type of explanations of laws: reductions of laws to phenomena at a micro-level. Examples of such reductions can be found in the natural sciences (the ideal gas law is probably the most famous example here) and in the social sciences (e.g., reduction of macroeconomic laws to the behaviour of individual economic agents).
%B Philosophical Dimensions of Logic and Science %I Springer %C Dordrecht %@ 140201645X %G eng %R 10.1007/978-94-017-2612-2_9 %0 Generic %D 1993 %T Het construeren van wetenschappelijke verklaringen %A Weber, Erik %E Raymaekers, Bart %B Gehelen en fragmenten. De vele gezichten van de filosofie %I Universitaire Pers %P 261-265 %G eng %0 Generic %D 1993 %T Onze huidige kijk op ontdekking en creativiteit vereist een `contextuele' kennistheoretische aanpak %A Batens, Diderik %E Raymaekers, Bart %B Gehelen en fragmenten. De vele gezichten van de filosofie %I Universitaire Pers %P 265–267 %G eng %0 Generic %D 1993 %T Recente ontwikkelingen in onze opvatting over creativiteit %A Meheus, Joke %E Raymaekers, Bart %B Gehelen en fragmenten. De vele gezichten van de filosofie %I Universitaire Pers %P 259–261 %G eng %0 Generic %D 1992 %T Aspecten van ontdekking en creativiteit %A Batens, Diderik %A Meheus, Joke %A Weber, Erik %E Raymaekers, Bart %B Gehelen en Fragmenten. De vele gezichten van de filosofie %I Universitaire Pers %P 59 %8 Leuven, September %G eng %0 Generic %D 1989 %T Dynamic Dialectical Logics %A Batens, Diderik %E Priest, Graham %E Routley, Richard %E Norman, Jean %B Paraconsistent Logic. Essays on the Inconsistent %I Philosophica Verlag %P 187–217 %G eng %0 Generic %D 1986 %T Creativiteit in wetenschap en muziek %A Batens, Diderik %E De Hen, Ferdinand J. %E Riessauw, Anne-Marie %E Sabbe, Herman %B Liber Amicorum J.L. Broeckx %I Grafisch Bureau M & Team %P 29–55 %G eng