Jan Wolenski

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