Inicio > Humanidades > Religión y creencias > Religión: general > Filosofía de la religión > Types, Tableaus, and Gödel’s God
Types, Tableaus, and Gödel’s God

Types, Tableaus, and Gödel’s God

M. Fitting

134,35 €
IVA incluido
Disponible
Editorial:
Springer Nature B.V.
Año de edición:
2012
Materia
Filosofía de la religión
ISBN:
9789401039123
134,35 €
IVA incluido
Disponible

Selecciona una librería:

  • Librería Samer Atenea
  • Librería Aciertas (Toledo)
  • Kálamo Books
  • Librería Perelló (Valencia)
  • Librería Elías (Asturias)
  • Donde los libros
  • Librería Kolima (Madrid)
  • Librería Proteo (Málaga)
Sobre IBD

Gödel’s modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Finally, various ontological proofs for the existence of God are discussed informally, and the Gödel argument is fully formalized. Parts of the book are mathematical, parts philosophical.

Artículos relacionados

  • The Writings of Charles De Koninck
    Charles De Koninck
    The Writings of Charles De Koninck, volumes 1 and 2, present the first English editions of collected works of the Catholic Thomist philosopher Charles De Koninck (1906-1965). Ralph McInerny (1929-2010) was the project editor and prepared the excellent translations. Volume 1 contains writings ranging from De Koninck’s 1934 dissertation at the University of Louvain on the philoso...
  • The Constitution of Shambhala (Vol. 7B of a Treatise on Mind)
    Bodo Balsys
    The theme of the first of the two parts of this volume concerns the feminine deva hierarchy, their relation to Hierarchy and Shambhala. Many concepts are introduced that most seekers have little cognisance (e.g., the nature of the deva Lord Varuna). The Mother of the World’s role is revealed, and the feminine function in cosmos, (e.g., the Pleiades). Advanced teaching concernin...
    Disponible

    44,89 €

  • A Labyrinth Walk Of Life
    Lewis Tagliaferre
    Here is a collection of journaled essays leading to the inevitable belief in theological fatalism, aka Theofatalism. They include arguments from theology, psychology, politics, geology, technology, sociology, economics, history, cosmology and more. With this belief system, you can feel good inside no matter what happens outside. It may take several readings to get it, but anyth...
    Disponible

    13,41 €

  • Religion
    Arthur Schopenhauer
    Collected here are five short essays, A Dialogue, A Few Words on Pantheism, On Books and Reading, Physiognomy, and, Psychological Observations, by the world renowned philosopher Arthur Schopenhauer. ...
  • The Handbook
    Epictetus Epictetus
    No writings of Epictetus himself are really known. His discourses were transcribed and compiled by his pupil Arrian (author of the Anabasis Alexandri). The main work is The Discourses, four books of which have been preserved (out of an original eight). Arrian also compiled a popular digest, entitled the Enchiridion, or Handbook. In a preface to the Discourses, addressed to Luci...
  • The Origin Comes Alive
    Cale Rainer
    Believers and Atheists alike will get a firsthand look at the Divine Presence as it reveals the intimate behaviors and processes that compose a sense of GOD, and how this arose in social consciousness to inspire a global phenomenon known as Religion.The sense of life is taken to the limits of extreme perspective in this somewhat involved, yet intimate look into our social origi...
    Disponible

    9,92 €

Otros libros del autor

  • Proof Methods for Modal and Intuitionistic Logics
    M. Fitting
    'Necessity is the mother of invention. ' Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for ...
    Disponible

    267,88 €

  • Types, Tableaus, and Gödel’s God
    M. Fitting
    Gödel’s modal ontological argument is the centerpiece of an extensive examination of intensional logic. First, classical type theory is presented semantically, tableau rules for it are introduced, and the Prawitz/Takahashi completeness proof is given. Then modal machinery is added to produce a modified version of Montague/Gallin intensional logic. Fin...
  • Proof Methods for Modal and Intuitionistic Logics
    M. Fitting
    'Necessity is the mother of invention. ' Part I: What is in this book - details. There are several different types of formal proof procedures that logicians have invented. The ones we consider are: 1) tableau systems, 2) Gentzen sequent calculi, 3) natural deduction systems, and 4) axiom systems. We present proof procedures of each of these types for ...