Treatise on Intuitionistic Type Theory

Treatise on Intuitionistic Type Theory

Author: Johan Georg Granström

Publisher: Springer Science & Business Media

Published: 2011-06-02

Total Pages: 198

ISBN-13: 9400717369

DOWNLOAD EBOOK

Intuitionistic type theory can be described, somewhat boldly, as a partial fulfillment of the dream of a universal language for science. This book expounds several aspects of intuitionistic type theory, such as the notion of set, reference vs. computation, assumption, and substitution. Moreover, the book includes philosophically relevant sections on the principle of compositionality, lingua characteristica, epistemology, propositional logic, intuitionism, and the law of excluded middle. Ample historical references are given throughout the book.


A History of Reasonableness

A History of Reasonableness

Author: Rick Kennedy

Publisher: Harvard University Press

Published: 2004

Total Pages: 296

ISBN-13: 9781580461528

DOWNLOAD EBOOK

A defense of the social operation of thinking, with an emphasis on testimony and authority.This book describes a lost tradition that can be called reasonableness. The tradition began with Aristotle, was recommended to Western education by Augustine, flourished in the schools of the Renaissance through the nineteenth century, then got lost in the academic and philosophic shuffles of the twentieth century. Representative of the tradition is John Locke''s story of a King of Siam who rejected reports of the existence of ice. The King would have hadto risk too much trust in another man whom he did not know too well -- a Dutch ambassador -- in order to believe that elephants could walk on cold water. John Locke presented the story to encourage his readers to think about theresponsibilities and risks entailed in what he called ''the gentle and fair ways of information.'' The art of thinking is largely social. Popular textbook writers such as Quintilian, Boethius, Philipp Melanchthon, John of St.Thomas, Antoine Arnauld, Thomas Reid, Isaac Watts, Richard Whately, William Hamilton, L. Susan Stebbings, and Max Black taught strategies of belief, trust, assent, and even submission as part of reasonableness. For over two thousand years testimony and authority were at the center of lively discussions about teaching the art of thinking. In the twentieth century the tradition faltered largely due to Immanuel Kant''s insistence that there should be no distinction between handling testimony and personal experience. This book recounts the history of a lively educational tradition and hopes to encourage its revival. Rick Kennedy, whose previous books and articles have beenabout Colonial American logic, mathematics, and science, is Professor of History at Point Loma Nazarene University. Hamilton, L. Susan Stebbings, and Max Black taught strategies of belief, trust, assent, and even submission as part of reasonableness. For over two thousand years testimony and authority were at the center of lively discussions about teaching the art of thinking. In the twentieth century the tradition faltered largely due to Immanuel Kant''s insistence that there should be no distinction between handling testimony and personal experience. This book recounts the history of a lively educational tradition and hopes to encourage its revival. Rick Kennedy, whose previous books and articles have beenabout Colonial American logic, mathematics, and science, is Professor of History at Point Loma Nazarene University.uld, Thomas Reid, Isaac Watts, Richard Whately, William Hamilton, L. Susan Stebbings, and Max Black taught strategies of belief, trust, assent, and even submission as part of reasonableness. For over two thousand years testimony and authority were at the center of lively discussions about teaching the art of thinking. In the twentieth century the tradition faltered largely due to Immanuel Kant''s insistence that there should be no distinction between handling testimony and personal experience. This book recounts the history of a lively educational tradition and hopes to encourage its revival. Rick Kennedy, whose previous books and articles have beenabout Colonial American logic, mathematics, and science, is Professor of History at Point Loma Nazarene University. Hamilton, L. Susan Stebbings, and Max Black taught strategies of belief, trust, assent, and even submission as part of reasonableness. For over two thousand years testimony and authority were at the center of lively discussions about teaching the art of thinking. In the twentieth century the tradition faltered largely due to Immanuel Kant''s insistence that there should be no distinction between handling testimony and personal experience. This book recounts the history of a lively educational tradition and hopes to encourage its revival. Rick Kennedy, whose previous books and articles have beenabout Colonial American logic, mathematics, and science, is Professor of History at Point Loma Nazarene University.t of thinking. In the twentieth century the tradition faltered largely due to Immanuel Kant''s insistence that there should be no distinction between handling testimony and personal experience. This book recounts the history of a lively educational tradition and hopes to encourage its revival. Rick Kennedy, whose previous books and articles have beenabout Colonial American logic, mathematics, and science, is Professor of History at Point Loma Nazarene University.


Language and Logic in the Post-Medieval Period

Language and Logic in the Post-Medieval Period

Author: E.J. Ashworth

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 321

ISBN-13: 9401022267

DOWNLOAD EBOOK

Keckermann remarked of the sixteenth century, "never from the begin ning of the world was there a period so keen on logic, or in which more books on logic were produced and studies oflogic flourished more abun dantly than the period-in which we live. " 1 But despite the great profusion of books to which he refers, and despite the dominant position occupied by logic in the educational system of the fifteenth, sixteenth and seven teenth centuries, very little work has been done on the logic of the post medieval period. The only complete study is that of Risse, whose account, while historically exhaustive, pays little attention to the actual logical 2 doctrines discussed. Otherwise, one can tum to Vasoli for a study of humanism, to Munoz Delgado for scholastic logic in Spain, and to Gilbert and Randall for scientific method, but this still leaves vast areas untouched. In this book I cannot hope to remedy all the deficiencies of previous studies, for to survey the literature alone would take a life-time. As a result I have limited myself in various ways. In the first place, I con centrate only on those matters which are of particular interest to me, namely theories of meaning and reference, and formal logic.


A Thomistic Tapestry

A Thomistic Tapestry

Author:

Publisher: BRILL

Published: 2021-12-28

Total Pages: 276

ISBN-13: 9004495797

DOWNLOAD EBOOK

This book, written by well-known students of Étienne Gilson and especially dedicated to Armand A. Maurer, helps inaugurate a long-overdue special series in philosophy honoring Gilson’s legendary scholarship. It presents wide-ranging expositions of Thomist realism in the tradition of Gilsonian humanism covering themes related to philosophy in general, historical method, aesthetics, metaphysics, epistemology, and politics.


Reason, Spirit and the Sacral in the New Enlightenment

Reason, Spirit and the Sacral in the New Enlightenment

Author: Anna-Teresa Tymieniecka

Publisher: Springer Science & Business Media

Published: 2010-11-18

Total Pages: 202

ISBN-13: 9048196124

DOWNLOAD EBOOK

Rationality in its various expressions and innumerable applications sustains understanding and our sense of reality. It is traditionally differentiated according to its sources in the soul: in consciousness, in reason, in experience, and in elevation. Such a functional approach, however, leaves us searching for the common foundation harmonizing these rationalities. The perennial quest to resolve the aporias of rationality is finding in contemporary science’s focus on origins, on the generative roots of reality, tantalizing hints as to how this may be accomplished. This project is enhanced by the wave of recent phenomenology/ontopoiesis of life, which reveals the workings of the logos at the root of beingness and all rationality, whereby we gaze upon the prospect of a New Enlightenment. In the rays of this vision the revival of the intuitions of classical Islamic metaphysics, particularly intuition of the continuity of beingness in the gradations of life, receive fresh confirmation.


Four Ages of Understanding

Four Ages of Understanding

Author: John N. Deely

Publisher: University of Toronto Press

Published: 2001-01-01

Total Pages: 1054

ISBN-13: 0802047351

DOWNLOAD EBOOK

The first full-scale demonstration of the centrality of the theory of signs to the history of philosophy and a new vantage point from which to review and reinterpret the development of intellectual culture at the threshold of globalization.


Virtue in Political Life

Virtue in Political Life

Author: Patrick Lafon

Publisher: African Books Collective

Published: 2017-09-26

Total Pages: 256

ISBN-13: 9956763349

DOWNLOAD EBOOK

Yves R. Simon (1903-1961), one of the greatest contemporary philosophers, gives a modern formulation for many classical philosophical concepts such as authority, the common good, and natural law. These topics have received extensive attention from scholars. Simon also discusses the nature of human virtue, moral and intellectual, but this topic has been less studied until now. The idea of virtue, and in our case virtue in political life, runs through Simons works. Through a close study of Simons works and the relevant secondary literature, this book explores Simons definition of virtue in order to highlight its originality, and show how he weaves the need for it into the fabric of three facets of political life, namely, the common good, the virtue of the ruler and the ruled, and the law. These ideas are important for the ruler-ship of any country and especially of developing nations which are populated by sit-tight dictators. Philosophy can be dry and abstract, yet in this case we deal with one of its more practical manifestations.