This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). 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 (games involving Why-questions), 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.

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.

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). 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 (games involving Why-questions), 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.

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.