Open Access. Powered by Scholars. Published by Universities.®

Logic and Foundations of Mathematics Commons

Open Access. Powered by Scholars. Published by Universities.®

2023

Discipline
Institution
Keyword
Publication
Publication Type

Articles 1 - 8 of 8

Full-Text Articles in Logic and Foundations of Mathematics

Japanese-English Translation: Miki Kiyoshi —Thinking With Master Nishida (First Published In Fujin Kōron, August 1941) Complete Draft; Translated, Edited, And Revised By Christopher Southward, October 2022-September 2023 「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月), Christopher Southward Sep 2023

Japanese-English Translation: Miki Kiyoshi —Thinking With Master Nishida (First Published In Fujin Kōron, August 1941) Complete Draft; Translated, Edited, And Revised By Christopher Southward, October 2022-September 2023 「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月), Christopher Southward

Comparative Literature Faculty Scholarship

Japanese-English Translation: Miki Kiyoshi —Thinking with Master Nishida (First Published in Fujin Kōron, August 1941) Complete Draft; Translated, Edited, and Revised by Christopher Southward, October 2022-September 2023「西田先生のことども」、三木清著(初発 婦人公論、昭和十六年八月)

Source text transcribed and published by Aozora Bunko–a compendium of public-domain Japanese literature, philosophy, and criticism

General website: https://www.aozora.gr.jp

Current text: https://www.aozora.gr.jp/cards/000218/files/50538_37481.html


Deontic Meta-Rules, Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar Sep 2023

Deontic Meta-Rules, Francesco Olivieri, Guido Governatori, Matteo Cristani, Antonino Rotolo, Abdul Sattar

Centre for Computational Law

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 …


Tarski And Bachmann In Regina: A Magical Connection, James T. Smith Aug 2023

Tarski And Bachmann In Regina: A Magical Connection, James T. Smith

Journal of Humanistic Mathematics

This is a personal account of an intersection of the schools of research in foundations of geometry founded by Alfred Tarski and Friedrich Bachmann. Their academic lineages and the origins of the schools are also described, as well as the mathematics that resulted from this intersection.


Moretheless, Abdelghani Alnahawi Jun 2023

Moretheless, Abdelghani Alnahawi

Masters Theses

material investigations becoming questions with interjections


What Is A Number?, Nicholas Radley May 2023

What Is A Number?, Nicholas Radley

HON499 projects

This essay is, in essence, an attempt to make a case for mathematical platonism. That is to say, that we argue for the existence of mathematical objects independent of our perception of them. The essay includes a somewhat informal construction of number systems ranging from the natural numbers to the complex numbers.


Three Essays On Substructural Approaches To Semantic Paradoxes, Brian C. Porter Feb 2023

Three Essays On Substructural Approaches To Semantic Paradoxes, Brian C. Porter

Dissertations, Theses, and Capstone Projects

This thesis consists of three papers on substructural approaches to semantic paradoxes. The first paper introduces a formal system, based on a nontransitive substructural logic, which has exactly the valid and antivalid inferences of classical logic at every level of (meta)inference, but which I argue is still not classical logic. In the second essay, I introduce infinite-premise versions of several semantic paradoxes, and show that noncontractive substructural approaches do not solve these paradoxes. In the third essay, I introduce an infinite metainferential hierarchy of validity curry paradoxes, and argue that providing a uniform solution to the paradoxes in this hierarchy …


Zero, Śūnya And Pūrṇa: A Comparative Analysis, Animisha Tewari Jan 2023

Zero, Śūnya And Pūrṇa: A Comparative Analysis, Animisha Tewari

Comparative Philosophy

Due to apparent duality in this world, one has to face a lot of difficulties while searching for the Truth. Our ego is the root cause for perception of duality and this in turn leads to suffering. This suffering can only be extinguished by attainment of the Truth, i.e, non-duality. However, in order to enable the finite intellect to comprehend the incomprehensible non-duality, this undifferentiated whole is sometimes denoted by nothingness (śūnya) or fullness (pūrṇa). Non-duality is usually understood by the numeral ‘1’ which stands for unity or oneness. The main aim of this paper is …


Ineffability, Emptiness And The Aesthetics Of Logic, Andreas Kapsner Jan 2023

Ineffability, Emptiness And The Aesthetics Of Logic, Andreas Kapsner

Comparative Philosophy

In this essay, I explore the nature of the logical analysis of Buddhist thought that Graham Priest has offered in his book The Fifth Corner of Four (5of4). The paper traces the development of a logical value in- troduced in 5of4, which Priest has called e. The paper points out that certain criticisms I have made earlier still stand, but focuses on a recon- ceptualization of 5of4 in which these arguments carry less weight. This new perspective on the book, inspired by a response to my arguments by Priest himself, sees the logical analysis of Buddhism …