Add to ORKGThis paper compares several models of formalization. It articulates criteria of correct formalization and identifies their problems. All of the discussed criteria are so called “semantic” criteria, which refer to the interpretation of logical formulas. However, as will be shown, different versions of an implicitly applied or explicitly stated criterion of correctness depend on different understandings of “interpretation” in this context
For any natural (human) or formal (mathematical) language L we know that an expression X of language...
In this paper we explore how formal models are interpreted and to what degree meaning is captured in...
Dealing with deductive reasoning, performed by ‘real-life’ reasoners and expressed in natural langua...
This paper compares several models of formalization. It articulates criteria of correct formalizatio...
This article identifies problems with regard to providing criteria that regulate the matching of log...
There is a long-standing debate whether propositions, sentences, statements or utterances provide an...
Formalizations in first-order logic are standardly used to represent logical forms of sentences and ...
In order to decide whether a discursive product of human reason corresponds or not to the logical or...
The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal ter...
Given the large variety of existing logical formalisms it is of utmost importance to select the most...
By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejec...
The aim of these notes is to carry over some of what I did in my thesis [see P. Schroeder-Heister, A...
Abstract: I defend a conception of Logic as normative for the sort of activities in which inferences...
Owing to the benefits commonly associated with their use and links with scientific culture, formal m...
For any natural (human) or formal (mathematical) language L we know that an expression X of language...
In this paper we explore how formal models are interpreted and to what degree meaning is captured in...
Dealing with deductive reasoning, performed by ‘real-life’ reasoners and expressed in natural langua...
This paper compares several models of formalization. It articulates criteria of correct formalizatio...
This article identifies problems with regard to providing criteria that regulate the matching of log...
There is a long-standing debate whether propositions, sentences, statements or utterances provide an...
Formalizations in first-order logic are standardly used to represent logical forms of sentences and ...
In order to decide whether a discursive product of human reason corresponds or not to the logical or...
The Aristotelian origins of formal systems are outlined, together with Aristotle's use of causal ter...
Given the large variety of existing logical formalisms it is of utmost importance to select the most...
By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejec...
The aim of these notes is to carry over some of what I did in my thesis [see P. Schroeder-Heister, A...
Abstract: I defend a conception of Logic as normative for the sort of activities in which inferences...
Owing to the benefits commonly associated with their use and links with scientific culture, formal m...
For any natural (human) or formal (mathematical) language L we know that an expression X of language...
In this paper we explore how formal models are interpreted and to what degree meaning is captured in...
Dealing with deductive reasoning, performed by ‘real-life’ reasoners and expressed in natural langua...