A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})

DOI10.1007/S11787-017-0163-6zbMath1420.03051OpenAlexW2593507537MaRDI QIDQ523297

Jean-Pierre Desclés

Publication date: 20 April 2017

Published in: Logica Universalis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11787-017-0163-6

zbMATH Keywords

Anselm's \textit{Proslogion}Anselm's argumentcognitive representation/existenceconcept represented by an abstract objectconcept/propertyCurry's combinatory logicexistence operatorexpansion/extensionintension/essenceoperators/operandPort Royal logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic of natural languages (03B65) Combinatory logic and lambda calculus (03B40)

Related Items (1)

Logic and religion

Cites Work

• Combinatory logic. With two sections by William Craig.
• Logic of determination of objects (LDO): how to articulate ``extension with ``intension and ``objects with ``concepts
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logical analysis of the Anselm's \textit{Unum argumentum} (from \textit{Proslogion})