Jan Wolenski

Gaunilo argued that Anselm could prove the existence of many perfect objects, for example, the happiest island, that is, happier than any other island. More formally, Gaunilo’s arguments were intended to show that the sentence “God exists‘ does not follow from premises accepted by Anselm. Contemporary versions of the ontological proof use the maximalization procedure in order to demonstrate that God exists as the most perfect being. This paper argues that this method, which is based on maximalization, is not sufficient to prove God’s existence. Thus, a “contemporary Gaunilo‘ can repeat objections raised by his ancestor.

The author opposes two kinds of rationalism to irrationalism. The first kind of rationalism, approved by the author, considers as rational these cognitive procedures that can be communicated and verified intersubjectively. The author calls this view – after K. Ajdukiewicz – anti-irrationalism. On the other hand, irrationalism is a position that negates the need of ability to communicate intersubjectively and to verify cognitive procedures. The views of mystics or of H. Bergson could be an example of irrationalism. The second kind of irrationalism is apriorism, i.e. the position that ascribes certainty to cognitive results achieved by intuition. Data coming from intuition are not intersubjectively communicable, intersubjectively verified and they are not subject to falsification, hence the second kind of rationalism, i.e. apriorism, is in fact irrationalism. Phenomenology, stressing the importance of apriori cognition, would then have many things in common with irrationalism.

Formal semantics is understood either as a formal analysis of semantical features of natural language or as model-theoretic semantics of formal(ized) languages. This paper focuses on the second understanding. The problem is how to identify the formal aspects of formal semantics, if we understand ‘formal’ as ‘independent of content’. This is done by showing that the form of semantical interpretation of a language L is given by its syntax and the parallelism of the signature of L and its interpretative structure SI. However, the content of interpretation, that is, the way of correlating of L-expressions with extralinguistic items depends of informal factors. The discussion shows that semantics is prior to syntax