Open Access. Powered by Scholars. Published by Universities.®
Logic and Foundations of Mathematics Commons™
Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 7 of 7
Full-Text Articles in Logic and Foundations of Mathematics
Auseinandersetzung: Heidegger's Black Notebooks And Intercultural Engagement, Steven Burik
Auseinandersetzung: Heidegger's Black Notebooks And Intercultural Engagement, Steven Burik
Research Collection School of Social Sciences
Heidegger’s relation to Asian philosophy should be guided by the notion of Auseinandersetzung. Often translated as con-frontation, this term plays a pivotal role in understanding Heidegger’s engagements with Asian philosophy. Auseinandersetzung (and related terms) can help us realise the changed perspectives on our own thinking that we derive from engagements with culturally and/or historically other types of thinking. Heidegger warns us against facile endeavours of comparing and contrasting, which, as a form of comparative philosophy, he sees as a kind of dialectics unworthy of true thinking. Thinking through the term Auseinandersetzung allows us to reflect more meaningfully on comparative philosophy.
Avoiding Pragmatic Oddity: A Bottom-Up Defeasible Deontic Logic, Guido Governatori, Silvano Colombo Tosatto, Antonio Rotolo
Avoiding Pragmatic Oddity: A Bottom-Up Defeasible Deontic Logic, Guido Governatori, Silvano Colombo Tosatto, Antonio Rotolo
Centre for Computational Law (2022-2025)
This paper presents an extension of Defeasible Deontic Logic to deal with the Pragmatic Oddity problem. The logic applies three general principles: (i) the Pragmatic Oddity problem must be solved within a general logical treatment of contrary-to-duty (CTD) reasoning; (ii) non-monotonic methods must be adopted to handle CTD reasoning; (iii) logical models of CTD reasoning must be computationally feasible and, if possible, efficient. The proposed extension of Defeasible Deontic Logic elaborates a preliminary version of the model proposed by Governatori and Rotolo [15]. The previous solution was based on particular characteristics of the (constructive, top-down) proof theory of the logic. …
Deontic Meta-Rules, Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
Deontic Meta-Rules, Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar
Centre for Computational Law (2022-2025)
The use of meta-rules in logic, i.e., rules whose content includes other rules, has recently gained attention in the setting of non-monotonic reasoning: a first logical formalisation and efficient algorithms to compute the (meta)-extensions of such theories were proposed in Olivieri et al. (2021, Computing defeasible meta-logic. In JELIA 2021, LNCS, vol. 12678, pp. 69-84. Springer.). This work extends such a logical framework by considering the deontic aspect. The resulting logic will not just be able to model policies but also tackle well-known aspects that occur in numerous legal systems. The use of Defeasible Logic to model meta-rules in the …
Deontics And Time In Contracts: An Executable Semantics For The L4 Dsl, Seng Joe Watt, Oliver Goodenough, Meng Weng (Huang Mingrong) Wong
Deontics And Time In Contracts: An Executable Semantics For The L4 Dsl, Seng Joe Watt, Oliver Goodenough, Meng Weng (Huang Mingrong) Wong
Research Collection Yong Pung How School Of Law
Existing approaches to modelling contracts often rely on deontic logic to reason about norms, and only treat time qualitatively. Using L4, a textual domain specific language (DSL) for the law, we offer a more operational interpretation of norms, based on states and transitions, that also accounts for the granular timing of events. In this paper, we present a higher-level rendering of the loan agreement from Flood & Goodenough in L4, and an accompanying operational semantics amenable to execution and static analysis. We also implement this semantics in Maude and show how this lets us visualize the execution of the loan …
Toys As Tools For Good Science, Joshua Luczak
Toys As Tools For Good Science, Joshua Luczak
Research Collection College of Integrative Studies
The primary aim of this paper is to elevate the status of toy models, toy model based reasoning, and to encourage more focused discussions of them. This paper attempts to satisfy this aim by achieving two, secondary goals. First, it attempts elevate the status of toy models by making clear and elaborating on the distinction between them and representational models, and by discussing the connection between user intentionality and scientific representation (i.e. when a model represents something). And second, this paper attempts to elevate the status of toy models by highlighting, through some important historical examples, how they have been …
Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
Russian Logics And The Culture Of Impossible: Part Ii: Reinterpreting Algorithmic Rationality, Ksenia Tatarchenko, Anya Yermakova, Liesbeth De Mol
Research Collection School of Social Sciences
This article reinterprets algorithmic rationality by looking at the interaction between mathematical logic, mechanized reasoning, and, later, computing in the Russian Imperial and Soviet contexts to offer a history of the algorithm as a mathematical object bridging the inner and outer worlds, a humanistic vision that we, following logician Vladimir Uspensky, call the “culture of the impossible.” We unfold the deep roots of this vision as embodied in scientific intelligentsia. In Part I, we examine continuities between the turn-of-the-twentieth-century discussions of poznaniye—an epistemic orientation towards the process of knowledge acquisition—and the postwar rise of the Soviet school of mathematical logic. …
Zagzebski On Rationality, Shane Ryan, Shane Ryan
Zagzebski On Rationality, Shane Ryan, Shane Ryan
Research Collection School of Social Sciences
This paper examines Linda Zagzebski’s (2012) account of rationality, as set out in her rich, wide-ranging, and important book, Epistemic Authority: A Theory of Trust, Authority, and Autonomy in Belief. We briefly describe the account that she offers and then consider its plausibility. In particular, in the first section we argue that a number of Zagzebski’s claims with regard to rationality require more support than she offers for them. Moreover, in the second section, we contend that far from offering Zagzebski a quick way of dealing with radical scepticism, her account of rationality actually seems to be particularly vulnerable to …