Author pages are created from data sourced from our academic publisher partnerships and public sources.

Publications Influence

Share This Author

A Brief Introduction to Constructive Type Theory

Martin-Lof’s Constructive Type Theory (CTT) is a formal language developed in order to reason constructively about mathematics. It is thus a formal language conceived primarily as a tool to reason… Expand

Advanced Dialogues: Play Level

- S. Rahman, Zoé McConaughey, A. Klev, Nicolas Clerbout
- Computer Science
- 2018

TLDR

Aristotle's ategorical Syllogisms as Dialectical Games. Work in Progress

- S. Rahman, Michel Crubellier, Zoé McConaughey
- Philosophy
- 14 November 2015

It is the introduction of book in Preparation on the links between Aristotle's Logic and his dialectics
The main claim is that nowadays dialogical frame for logic provides the most accurate… Expand

Zoe McConaughey, « Existence, Meaning and the Law of Excluded Middle.A dialogical approach to Hermann Weyl’s philosophical considerations »

- Zoé McConaughey
- 2020

Intuitionistic logic is often presented as a proof-based approach to logic, where truth is defined as having a proof. I shall stress another dimension which is also important: that of the… Expand

Dialectic, the Dictum de Omni and Ecthesis

- Michel Crubellier, Mathieu Marion, Zoé McConaughey, S. Rahman
- Philosophy
- 18 June 2019

In this paper, we provide a detailed critical review of current approaches to ecthesis in Aristotle’s Prior Analytics, with a view to motivate a new approach, which builds upon previous work by… Expand

Immanent Reasoning or Equality in Action: A Plaidoyer for the Play Level

- Nicolas Clerbout, A. Klev, Zoé McConaughey, S. Rahman
- Philosophy
- 2018

abstraction absurdum application arbitrary object arbitrary reference assertion assumption Bool Boolean axiom of choice canonical Cartesian case-dependent category categorical choice computation… Expand

Advanced Dialogues: Strategy Level

- S. Rahman, Zoé McConaughey, A. Klev, Nicolas Clerbout
- Computer Science
- 2018

TLDR

The Privilege of the Attribute Thought in Spinoza's Ethics

- Zoé McConaughey
- Philosophy
- 2015

The perplexities Spinoza's Ethics tends to produce in the reader–far from diminishing through repetition–tend to deepen as the text is read again and its understanding beomes keener. In this regard,… Expand

The Remarkable Case of the Axiom of Choice

- S. Rahman, Zoé McConaughey, A. Klev, Nicolas Clerbout
- Philosophy
- 2018

It is rightly said that the principle of set theory known as the Axiom of Choice is “probably the most interesting and in spite of its late appearance, the most discussed axiom of mathematics, second… Expand

Concluding Remarks: A Plaidoyer for the Play Level

- S. Rahman, Zoé McConaughey, A. Klev, Nicolas Clerbout
- Sociology
- 2018

To some extent, the criticisms the dialogical approach to logic has been subject to have provided an opportunity for clarifying its basic tenets. Moreover, our responses to the objections have… Expand

...

1

2

...