Last edited by Zulule
Monday, July 20, 2020 | History

9 edition of Formalizing Medieval Logical Theories found in the catalog.

Formalizing Medieval Logical Theories

Suppositio, Consequentiae and Obligationes (Logic, Epistemology, and the Unity of Science)

by Catarina Dutilh Novaes

  • 300 Want to read
  • 39 Currently reading

Published by Springer .
Written in English

    Subjects:
  • History of ideas, intellectual history,
  • Logic,
  • Medieval & Scholastic philosophy,
  • c 1000 CE to c 1500,
  • Philosophy,
  • History & Surveys - Medieval,
  • Formalization,
  • Medieval Philosophy,
  • Philosophy / Logic,
  • Philosophy : History & Surveys - Medieval

  • The Physical Object
    FormatHardcover
    Number of Pages316
    ID Numbers
    Open LibraryOL8372279M
    ISBN 101402058527
    ISBN 109781402058523

    Discover Book Depository's huge selection of Catarina Dutilh Novaes books online. Free delivery worldwide on over 20 million titles. Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes. Catarina Dutilh Novaes. 10 Jan Undefined. unavailable. Request PDF | Lessons in Philosophy of Logic from Medieval Obligationes | There are only a handful of periods in the history of logic matching the level of activity and sophistication of the last.

      Read "Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes, Vivarium" on DeepDyve, the largest online rental service for scholarly research with thousands of academic publications available at your fingertips. The Cambridge Companion to Medieval Logic Catarina Dutilh Novaes, Stephen Read This volume, the first dedicated and comprehensive Companion to Medieval Logic, covers both the Latin and the Arabic traditions and shows that they were in fact sister traditions, which both arose against the background of a Hellenistic heritage and which influenced.

    He compares the medieval project of partially regimenting natural language to Montague's project today of partially formalizing it. (; ) The essay on modal logic by Riccardo Strobino and Paul Thom again treats both Arabic and Latin theories. It has some . A Contribution to the History of Early Terminist Logic I: On Twelfth Century Theories of Fallacy, II.1–2: The Origin and Early Development of the Theory of Supposition, Wijsgerige teksten en studies 6, 16, Assen: van Gorcum, , Gersonides, The Book .


Share this book
You might also like
Production capacity: a military reserve

Production capacity: a military reserve

The pastoral sermons of Ronald A. Knox

The pastoral sermons of Ronald A. Knox

Oversight on Medical Privacy

Oversight on Medical Privacy

Design resource file

Design resource file

Methods of applied mathematics.

Methods of applied mathematics.

seasonal efficiency of an oil fired boiler.

seasonal efficiency of an oil fired boiler.

master book of soups

master book of soups

Our Michigan

Our Michigan

person and work of the Holy Spirit

person and work of the Holy Spirit

The Pep Boys Company history book

The Pep Boys Company history book

Marketing and demography - hypermarkets in Europe.

Marketing and demography - hypermarkets in Europe.

The building of America

The building of America

Projections of the rural and urban populations of Colombia, 1965 to 2000

Projections of the rural and urban populations of Colombia, 1965 to 2000

Fast and Fun Sudoku.

Fast and Fun Sudoku.

Confronting Without Guilt or Conflict

Confronting Without Guilt or Conflict

Historian and scientist

Historian and scientist

Formalizing Medieval Logical Theories by Catarina Dutilh Novaes Download PDF EPUB FB2

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little attention.

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little by: This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations.

In an additional fourth part, an in-depth analysis of the concept of formalization is presented – a crucial concept in the current logical panorama, which as such receives surprisingly little : Springer Netherlands.

This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations. In an additional fourth part, an in-depth analysis of the concept of formalization Formalizing Medieval Logical Theories book presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.2/5(1).

Formalizing medieval logical theories: suppositio, consequentiae, and obligationes. [Catarina Dutilh Novaes] This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations.

Rating: (not yet rated) 0 with reviews - Be the first. Get this from a library. Formalizing medieval logical theories: suppositio, consequentiae and obligationes. [Catarina Dutilh Novaes] -- This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations.

In an additional fourth part, an in-depth analysis of the. Formalizing Medieval Logical Theories: Perhaps one of the most striking characteristics of later medieval philosophy and science is the remarkable unity with which the different fields of investigation were articulated to each other, in particular with respect to the methodology used.

While it is fair to say that current science is characterized by a plurality of methodologies and by a high. The overarching aim of this excellent book is to demonstrate the common ground between medieval logic and logical theories of the twentieth century by analyzing some important medieval approaches to three important topics in medieval logic and then showing that in each case, once we determine what is really going on in the medieval theory, it can be formalized in such a way as to show how it.

"Formalizing Medieval Logical Theories: Suppositio, Consequentiae and Obligationes" published on 01 Jan by Brill. Formalizing Medieval Logical Theories Suppositio, Consequentiae and Obligationes By Catarina Dutilh Novaes Leiden, The Netherlands ISBN (e-book) Published by Springer, P.O.

AADordrecht, The Netherlands. Printed on acid-free paper Cover image:Adaptation of a Persian astrolabe (brass, – This book fills a crucial gap in the literature by addressing these questions from a cognitive, historical, and logical point of view.

I recommend it to formal philosophers, critics of formal philosophy, and everyone with an interest in the techniques of conceptual engineering per se.' Formalizing Medieval Logical Theories: Suppositio. The theory of consequence is a branch of logic that studies dependence relations between propositions as a separate subject.

Thus it is, in a way, more general than syllogistics. It rests on old foundations but, as a distinct field, it was born around The paper focuses on some aspects of the early modern aftermath of supposition theory within the framework of the protestant logical tradition.

Due to the growing influence of Humanism, supposition theory from the third decade of the sixteenth century was the object of general neglect and contempt.

While in the late sixteenth-century a number. The most complete bibliography of primary and secondary material on obligationes up to may be found in: Ashworth, E. J., “Obligationes Treatises: A Catalogue of Manuscripts, Editions and Studies,” Bulletin de Philosophie Médiévale, – (The items listed below include only those explicitly cited above and in the notes, together with a few other items published.

Search the world's most comprehensive index of full-text books. My library. Formalizing Medieval Logical Theories: Suppositio, Consequentiae This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations.

These are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model. Although formalizations of medieval logical theories have been proposed earlier in the literature, the formalizations presented here are all based on innovative vantage points: supposition.

Formal languages are widely regarded as being above all mathematical objects and as producing a greater level of precision and technical complexity in logical investigations because of this.

Yet defining formal languages exclusively in this way offers only a partial and limited explanation of the impact which their use (and the uses of formalisms more generally elsewhere) actually has. In this.

ABSTRACT. As a discipline, logic is arguably constituted of two main sub-projects: formal theories of argument validity on the basis of a small number of patterns, and theories of how to reduce the multiplicity of arguments in non-logical, informal contexts to the small number of patterns whose validity is systematically studied (i.e.

theories of formalization). This book presents formalizations of three important medieval logical theories: supposition, consequence and obligations. These are based on innovative vantage points: supposition theories as algorithmic hermeneutics, theories of consequence analyzed with tools borrowed from model-theory and two-dimensional semantics, and obligations as logical games.

She is the author of Formalizing Medieval Logical Theories () and Formal Languages in Logic (Cambridge, ), as well as many articles on the history and philosophy of logic. Stephen Read is Professor Emeritus of History and Philosophy of Logic at the University of St Andrews, Scotland.

He is the author of Relevant Logic () and Reviews: 3."This book presents novel formalizations of three of the most important medieval logical theories: supposition, consequence and obligations.

In an additional fourth part, an in-depth analysis of the concept of formalization is presented - a crucial concept in the current logical panorama, which as such receives surprisingly little attention.and scholars of medieval philosophy, the history of logic, and the history of ideas.

is professor and Rosalind Franklin Fellow in the Faculty of Philosophy of the University of Groningen (the Netherlands). She is the author of Formalizing Medieval Logical Theories (Springer, ) .