Próba formalizacji ontologicznego dowodu świętego Anzelma


  • referat w ramach konferencji:
    Dowody ontologiczne, odbywającej się: 4-5 grudnia 2009.
  • Referent: Kazimierz Świrydowicz
  • Afiliacja: Zakład Logiki Matematycznej, UAM
  • Abstrakt:

    Na temat sławnego rozumowania św. Anzelma, zwanego od czasów Kanta dowodem ontologicznym, istnieje obfita literatura; dowodem tym zajmowali się także logicy, próbując nadać mu postać formalną (m.in. Ch. Hartshorne, R.L. Purtill, J. Perzanowski), ale, jak się wydaje, nie próbowano analizować tego dowodu z punktu widzenia teorii relacji. Moje rozważania będą stanowić próbę logicznej rekonstrukcji rationis Anselmi w oparciu o rachunek predykatów.

<< Wstecz | Dalej >>


Erasmus | OBI | Copernicus Center | MIB | Nauka Polska