Opis

• Title:
  All Properties are Divine or God Exists - The Sacred Thesis and its Ontological Argument
• Creator:
  Bjørdal, Frode Alfson
• Description:
  A metaphysical system engendered by a third order quantified modal logic S5 plus impredicative comprehension principles is used to isolate a third order predicate D, and by being able to impredicatively take a second order predicate G to hold of an individual just if the individual necessarily has all second order properties which are D we in Section 2 derive the thesis (40) that all properties are D or some individual is G. In Section 3 theorems 1 to 3 suggest a sufficient kinship to Gödelian ontological arguments so as to think of thesis (40) in terms of divine property and Godly being; divine replaces positive with Gödel and others. Thesis (40), the sacred thesis, supports the ontological argument that God exists because some property is not divine. In Section 4 a fixed point analysis is used as diagnosis so that atheists may settle for the minimal fixed point. Theorem 3 shows it consistent to postulate theistic fixed points, and a monotheistic result follows if one assumes theism and that it is divine to be identical with a deity. Theorem 4 (the Monotheorem) states that if Gg and it is divine to be identical with g, then necessarily all objects which are G are identical with g. The impredicative origin of D suggests weakened Gaunilo-like objections that offer related theses for other second order properties and their associated diverse presumptive individual bearers. Nevertheless, in the last section we finesse these Gaunilo-like objections by adopting what we call an apathiatheistic opinion which suggest that the best concepts `God’ allow thorough indifference as to whether God exists or not.
• Object availability:
  Dostęp otwarty
• Rights:
  Prawa autorskie (c) 2017 Logic and Logical Philosophy
• Date:
  2017.09.04
• Type:
  info:eu-repo/semantics/article;
  info:eu-repo/semantics/publishedVersion
• Language:
  angielski
• Source:
  Logic and Logical Philosophy; Vol. 27 No. 3 (2018): September; 329-350;
  Logic and Logical Philosophy; Tom 27 Nr 3 (2018): September; 329-350;
  2300-9802;
  1425-3305
• Format:
  application/pdf
• Publisher:
  Uniwersytet Mikołaja Kopernika w Toruniu
• Relation: https://apcz.umk.pl/LLP/article/view/LLP.2017.027/12843
• Subject:
  modal logic;
  ontological argument;
  Gödel;
  higher order logic;
  philosophy of religion;
  theology;
  03A99;
  03B45;
  03B80
• Identifier: https://apcz.umk.pl/LLP/article/view/LLP.2017.027
• Data provider:
  Akademicka Platforma Czasopism
• Can I use it?:
  poproś o pozwolenie
• Type:
  teksty