| |
|
Propositional Attitudes Revised
Materna, Pavel ; Duží, M.
A dialogue concerning the type-theoretical character of propositional attitudes. One kind can be defined as a relation that links the individual (subject) with the construction underlying the subordinate clause, the second kind links the individual with the proposition denoted by that sentence. The second kind is out of question if the subordinate clause is a mathematical one.
|
|
Functions and Constructions
Materna, Pavel
The contemporary notion of functions as mappings is explained and compared with the older notion where functions were conceived of as being prescriptions. The objective character of functions is defended. The notion of constructions, as defined in transparent intensional logic, is then explained; it is shown that constructions are no mappings, so that they could be rather compared with the older, prescriptional notion. Constructions can serve as explicans of the Fregean notion of sense.
|
|
Simple Concepts and Simple Expressions
Materna, Pavel
Materna's explication of concepts as abstract procedures, i.e., constructions, has to meet the following problem: Does it hold that analysing expressions of a natural language we have to associate simple expressions (mostly: consisting of one word only) with simple concepts, i.e., constructions which are not analysable into other constructions? Some necessary definitions and principles.
|
| |
| |
| |
| |
| |
| |