SWRL Parallel Reasoning Implementation with Spark SQL

AbstractOne of the epistemological results emerging from this initial study is that the different forms of co-relational inference, known in the Islamic jurisprudence as qiyās, represent an innovative and sophisticated form of reasoning that not only provides new epistemological insights into legal reasoning in general but also furnishes a fine-grained pattern for parallel reasoning which can be deployed in a wide range of problem-solving contexts and does not seem to reduce to the standard forms of analogical argumentation studied in contemporary philosophy of science. However, in the present paper we will only discuss the case of so-called co-relational inferences of the occasioning factor and only in the context of Islamic jurisprudence.

Download Full-text

Hyper Natural Deduction for Gödel Logic—A natural deduction system for parallel reasoning

Journal of Logic and Computation ◽

10.1093/logcom/exy019 ◽

2018 ◽

Vol 28 (6) ◽

pp. 1125-1187 ◽

Cited By ~ 1

Author(s):

Arnold Beckmann ◽

Norbert Preining

Keyword(s):

Natural Deduction ◽

Deduction System ◽

Gödel Logic ◽

Natural Deduction System ◽

Parallel Reasoning

Download Full-text

Parallel Reasoning by Ratio Legis in Contemporary Jurisprudence. Elements for a Dialogical Approach

Logic, Argumentation & Reasoning - Dialog Systems ◽

10.1007/978-3-030-61438-6_9 ◽

2021 ◽

pp. 163-187

Author(s):

M. Dolors Martínez-Cazalla ◽

Tania Menéndez-Martín ◽

Shahid Rahman

Keyword(s):

Dialogical Approach ◽

Parallel Reasoning

Download Full-text

A new distributed parallel reasoning using MapReduce

Electronics, Communications and Networks IV ◽

10.1201/b18592-304 ◽

2015 ◽

pp. 1677-1682

Author(s):

J Wang ◽

C Zheng

Keyword(s):

Parallel Reasoning

Download Full-text

The Chief Supreme Court Justice: A Metaphysical Puzzle?

Crítica Revista Hispanoamericana de Filosofía ◽

10.22201/iifs.18704905e.2007.507 ◽

2007 ◽

Vol 39 (115) ◽

pp. 61-68

Author(s):

Dan López de Sa

Keyword(s):

Supreme Court ◽

Supreme Court Justice ◽

Singular Terms ◽

The Supreme Court ◽

Parallel Reasoning

What are things like the Supreme Court? Gabriel Uzquiano has defended that they are groups, entities which are somehow composed of members (at certain times) but which, unlike sets (or pluralities), allow for fluctuation in membership. The main alternative holds that ‘the Supreme Court’ refers (at any time) to the set (or plurality) of their members (at the time). Uzquiano motivates his view by posing a metaphysical puzzle for this reductive alternative. I argue that a parallel reasoning would also find a corresponding “puzzle” in the case of singular terms like ‘The Chief Supreme Court Justice’.

Download Full-text