This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory. The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion. One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach (...) within a game-theoretical conception of meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning. According to this perspective the emergence of concepts are not only games of giving and asking for reasons, they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How. (shrink)

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 Marion & Rückert (2016) on the dictum de omni. This approach sets Aristotle’s work within the context of dialectic and uses Lorenzen’s dialogical logic, hereby reframed with use of Martin-Löf's constructive type theory as ‘immanent reasoning’. We then provide rules of syllogistic for the latter, and provide proofs of (...) e-conversion, Darapti and Bocardo and e-subalternation, while showing how close to Aristotle’s text these proofs remain. (shrink)

This book promotes the research of present-day women working in ancient and medieval philosophy, with more than 60 women having contributed in some way to the volume in a fruitful collaboration. It contains 22 papers organized into ten distinct parts spanning the sixth century BCE to the fifteenth century CE. Each part has the same structure: it features, first, a paper which sets up the discussion, and then, one or two responses that open new perspectives and engage in further reflections. (...) Our authors’ contributions address pivotal moments and players in the history of philosophy: women philosophers in antiquity, Cleobulina of Rhodes, Plato, Lucretius, Bardaisan of Edessa, Alexander of Aphrodisias, Plotinus, Porphyry, Peter Abelard, Robert Kilwardby, William Ockham, John Buridan, and Isotta Nogarola. The result is a thought-provoking collection of papers that will be of interest to historians of philosophy from all horizons. Far from being an isolated effort, this book is a contribution to the ever-growing number of initiatives which endeavour to showcase the work of women in philosophy. (shrink)

L’ouvrage est composé de dix chapitres répartis en deux parties proposant un nouveau paradigme de lecture de la méthode scientifique d’Aristote. Au lieu d’une lecture des Seconds analytiques (Apo.) et des traités de science naturelle centrée autour de la démonstration, lecture amenant au problème de l’apparent décalage entre ce qu’Aristote propose comme théorie et ce qu’il met en pratique, Lennox (L.) recentre les occupations théoriques et pratiques d’Aristote autour de l’enquête scientifique...

Church has contributed a lot to the safeguard of G. Frege's theory of meaning after the discovery of antinomies in it. To achieve this he has adapted it by keeping parts, discarding others and adding new ones, most of which are clearly exposed in an informal way in the introduction to his Introduction to Mathematical Logic. As for any modification of a theory by another person, it is interesting to understand how the thoughts of the former survive in the new (...) theory even though radical changes have occurred, or on the contrary how it retains only the appearance of the initial theory. We shall therefore go through the basic concepts of logic he introduces in this introduction and assess their relation to Frege's original theory. (shrink)

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, one of the question that arises from meditations of E.II/7 concerns the possibility of knowing something that our body does not feel. Expounding on this problem and on a possible resolution will allow us to delve deeper in the machinery of Ethics II and bring out the core pedagogical structure at (...) play. (shrink)

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, one of the question that arises from meditations of E.II/7 concerns the possibility of knowing something that our body does not feel. Expounding on this problem and on a possible resolution will allow us to delve deeper in the machinery of Ethics II and bring out the core pedagogical structure at (...) play. (shrink)

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 reconstruction of Arisotl'es general notion of logic.