Wojciech Krysztofiak

In this paper, a formal theory is presented that describes syntactic and semantic mechanisms of philosophical discourses. They are treated as peculiar language systems possessing deep derivational structures called architectonic forms of philosophical systems, encoded in philosophical mind. Architectonic forms are constituents of more complex structures called architectonic spaces of philosophy. They are understood as formal and algorithmic representations of various philosophical traditions. The formal derivational machinery of a given space determines its class of all possible architectonic forms. Some of them stand under factual historical philosophical systems and they organize processes of doing philosophy within these systems. Many architectonic forms have never been realized in the history of philosophy. The presented theory may be interpreted as falling under Hegel’s paradigm of comprehending cultural texts. This paradigm is enriched and inspired with Propp’s formal, morphological view on texts. The peculiarity of this modification of the Hegel-Propp paradigm consists of the use of algebraic and algorithmic tools of modeling processes of cultural development. To speak metaphorically, the theory is an attempt at the mathematical and logical history of philosophy inspired by the Internet metaphor. And that is why it belongs to the tradition of doing metaphilosophy in The Lvov-Warsaw School, which is continued today mainly by Woleński, Pelc, Perzanowski, and Jadacki.

The paper undertakes three interdisciplinary tasks. The first one consists in constructing a formal model of the basic arithmetic competence, that is, the competence sufficient for solving simple arithmetic story-tasks which do not require any mathematical mastery knowledge about laws, definitions and theorems. The second task is to present a generalized arithmetic theory, called the arithmetic of indexed numbers (INA). All models of the development of counting abilities presuppose the common assumption that our simple, folk arithmetic encoded linguistically in the mind is based on the linear number representation. This classical conception is rejected and a competitive hypothesis is formulated according to which the basic mature representational system of cognitive arithmetic is a structure composed of many numerical axes which possess a common constituent, namely, the numeral zero. Arithmetic of indexed numbers is just a formal tool for modelling the basic mature arithmetic competence. The third task is to develop a standpoint called temporal pluralism, which is motivated by neo-Kantian philosophy of arithmetic

In the paper, the formal model of the noetic synthesis functions is presented. Together with the functions of noematic synthesis, they are understood as components of functions of intentional reference, which are meant to be, in turn, formalizations of intentional acts of reference performed in the stream of consciousness. This research perspective allows us to extend the category of speech acts to the category of all intentional acts of reference. The functions of noetic synthesis are understood as composed of the function of noetic intention acting on qualia, noetic moods and noetic modes. The model allows us to explain the phenomenon of autism as having its source in disorders of the noetic synthesis functions. The constructed model is not intended as the faithful reconstruction of the Husserlian conception of noesis. Intuitions of the creator of phenomenology are treated as the only source of inspiration.

The presentation of the formal conception of noemata is the main aim of the article. In the first section, three informal approaches to noemata are discussed. The goal of this chapter is specifying main controversies and their sources concerned with different ways of the understanding of noemata. In the second section, basic assumptions determining the proposed way of understanding noemata are presented. The third section is devoted to the formal set-theoretic construction needed for the formal comprehension of noemata. In the fourth section, definitions of noemata and their various kinds, as well as definitions of other phenomenological notions are formulated. In the last section, possibilities of further developing the proposed formal conception are indicated.

In the paper there is presented the semantic interpretation of idealism/ realism controversy which is one of the most essential issues in Ingarden’s phenomenological project of ontology. The procedure of semantic paraphrase which is contemporary developed by Wolen´ ski, is the main interpretative tool. In the central part of the paper, there is formulated the formal theory of the semantic framework underlying idealism/realism discourse. Finally, there are formulated some notes showing that intentional conception of negation may be used for defending various idealistic positions.

The paper presents a new argument supporting the ontological standpoint according to which there are no mathematical facts in any set theoretic model of arithmetical theories. It may be interpreted as showing that it is impossible to construct fact-arithmetic. The importance of this conclusion arises in the context of cognitive science. In the paper, a new type of slingshot argument is presented, which is called hyper-slingshot. The difference between meta-theoretical hyper-slingshots and conventional slingshots consists in the fact that the former are formulated in the semantic meta-language of mathematical theories without the use of the iota-operator or the lambda-operator as the abstractor, whereas the latter require for their expression at least one of these non-standard term-operators. Hyper-slingshots implement simpler language tools in comparison with those used in conventional slingshots

In the paper, being the second part of the work entitled Noema and Noesis, the formal model of the noematic synthesis functions is presented. Together with functions of noetic synthesis, they are understood as components of functions of intentional reference, which are to be, in turn, formalizations of intentional acts of reference performed in the stream of consciousness. Noemata are understood as mental representations associated with mental worlds. The processes of their synthesis in the mind engage the work of many noematic functions: generating predicative senses, producing noematic cores, and locating noemata in mental worlds (mental spaces). The constructed model is not intended as the faithful reconstruction of the Husserlian conception of noemata. Intuitions of the creator of phenomenology are treated as the only source of inspiration.

The main purpose of the paper concerns the question of the existence of hard mathematical facts as truth-makers of mathematical sentences. The paper defends the standpoint according to which hard mathematical facts do not exist in semantic models of mathematical theories. The argumentative line in favour of the defended thesis proceeds as follows: slingshot arguments supply us with some reasons to reject various ontological theories of mathematical facts; there are two ways of blocking these arguments: through the rejection of the principle of extensionality for individual terms or through the rejection of the principle of Wittgenstein; the first way cannot be accepted because it leads to the practice of softening mathematical facts; the second way, called fine-graining facts, cannot be accepted because it also results in the practice of softening facts. Hence, only soft mathematical facts can be introduced into semantic models of mathematical theories. Because they should be rather interpreted as mental representations of mathematical objects, they no longer satisfy the semantic role of truth-makers in relation to mathematical sentences. The argument formulated in the paper is based on the analysis of mathematical extensions of the basic non-Fregean logic. Sixty-two definitions of potential fact-identity connectives are also presented. The paper's conclusion may be interpreted as undermining the situational paradigm of building semantics for mathematical languages.

The paper presents a formal model of the system of number representations as a multiplicity of mental number axes with a hierarchical structure. The hierarchy is determined by the mind as it acquires successive types of mental number axes generated by virtue of some algebraic mechanisms. Three types of algebraic structures, responsible for functioning these mechanisms, are distinguished: BASAN-structures, CASAN-structures and CAPPAN-structures. A foundational order holds between these structures. CAPPAN-structures are derivative from CASAN-structures which are extensions of BASAN-structures. The constructed formal model unifies two competitive conceptions of cognitive arithmetic: namely, the conception of the mental number line and the conception of parallel individuation. The paper is the continuation of a paper entitled Representational structures of arithmetical thinking, in which rich empirical evidence supporting the model is presented. The main result achieved in the present paper may be philosophically interpreted as an attempt to formalize the Kantian conception of the pure idea of time, understood as the a priori form of human arithmetical thinking. In this way, our theory may be comprehended as a result of applying the hard method of logical reconstruction of fundamental epistemological categories.

In this paper, representational structures of arithmetical thinking, encoded in human minds, are described. On the basis of empirical research, it is possible to distinguish four types of mental number lines: the shortest mental number line, summation mental number lines, point-place mental number lines and mental lines of exact numbers. These structures may be treated as generative mechanisms of forming arithmetical representations underlying our numerical acts of reference towards cardinalities, ordinals and magnitudes. In the paper, the theoretical framework for a formal model of mental arithmetical representations is constructed. Many competitive conceptions of the mental system responsible for our arithmetical thinking may be unified within the presented framework. The paradigm underlying our research may be interpreted philosophically as a neo-Kantian approach to modeling the mind’s representational structures.

In the paper, there is presented the theory of logical consequence operators indexed with taboo functions. It describes the mechanisms of logical inference in the environment of forbidden sentences. This kind of processes take place in ideological discourses within which their participants create various narrative worlds (mental worlds). A peculiar feature of ideological discourses is their association with taboo structures of deduction which penalize speech acts. The development of discourse involves, among others, transforming its deduction structure towards the proliferation of consequence operators and modifying penalty functions. The presented theory enables to define various processes of these transformations in the precise way. It may be used in analyses of conflicts between competing elm experts acting within a discourse.

The paper is intended to discuss main semantic presuppositions of language, being of service to express the philosophical problem of idealism/realism in its various versions. At the beginning, the author shows that the terms „idealism” and „realism” are polysemic. The fact of this polysemy makes impossible to construct precise definitions of both the opposed notions. Then there are characterized four types of reasonings, constituting the ground for formulating the question of idealism/realism. It appears that in order to discuss the problem idealism/realism, we must have at our disposal a specific metalanguage. The author reconstructs main semantic presuppositions of this metalanguage: these presuppositions constitute the so-called „possible-world” semantic schema. The general thesis of the papers goes like this: a language for expressing philosophical discours, concerning the question of idealism/realism, is a bearer of semantic presuppositions, stating the existence of possible worlds, mutually connected with the aid of various relations

The paper presents the construction of a new class of logics, which are called logics of derivational trees. The presentation comprises three sections: (i) intuitive psychological motivations for these logics stemming from some results of developmental psycho-linguistics (Piaget, Chomsky), (ii) the construction of formal calculus with help of algorithmic tools, and (iii) the construction of set-theoretic semantic model for our logic. They determine criteria of valid deriving and transforming structures which are usually described in the literature as derivational trees. These structures are used in linguistics or in computational sciences as tools of modelling deep sentential structures or information-bases. Furthermore cognitive anthropologists notice that most of our ordinary taxonomies arranging the experienced world in our Lebenswelt possess various tree-structures. It seems that our abilities of applying tree-structures (without explicit knowledge concerned with algebraic mechanisms of construing tree-structures) in various segments of our life are mental and behavioral manifestation of some special logical disposal belonging to the machinery of logical competence in general. It is interesting to put the hypothesis according to which the competence of construing and applying tree-structures is even more primitive than the competence of applying logical rules of natural deduction. The presented calculus possesses some peculiar feature, namely its formal language is composed of expressions of three syntactic levels. In standard, formal languages all expressions may be divided as belonging to two levels: the level of formulas and the level of constituents of formulas. In the language of derivational trees there are distinguished the following levels: (i) the level of lexical expressions, (ii) the level of derivation-expressions, (iii) and finally the level of transformation-expressions. These last category fulfils the role of formulas. Proofs are appropriate sequences of derivation-expressions. However what is proved is not a derivation-expression but it is a transformation-expression. The peculiarity of our logic consists in that an expression which is proved, does not belong to the category of constituents of proofs

The main aim of the paper is paraphrasing Heidegger's category of being in the theoretic framework of Fregean phenomenological semantics. The choice of Fregean phenomenological semantics as the tool of the paraphrase is justified by the fact that philosophy articulated in Sein und Zeit may be interpreted as the modification of Husserl's project of phenomenology which is treated, in turn, as generalisation of Frege's theory of sense and nominatum. So in the paper it is defended that Heidegger's category of being stems from Frege's considerations devoted to basic semantic questions. In the first chapter there are specified in existentialistic language ten principles clarifying the notion of being. In the second part the principles are paraphrased in the phenomenological theory of noema (this category is understood in spirit of the so called Californian interpretation). This move allows us to show how the conception of being is the modification of Frege's and Husserl's semantics. In the last chapters there is reconstructed Heidegger's model of acts of reference. The formal tool of the reconstruction is Leśniewski's formal language (enriched by Ajdukiewicz) with indexes designating ways of existence and referential backgrounds

In the paper there are presented main assumptions underlying the construction of theoretic models of mental processes of numeral reference in mathematical practice which comprises such abilities as counting, solving story-tasks, estimating cardinalities and comparing magnitudes. Numerals are understood as any expressions which enable mind to refer to numbers, cardinalities and magnitudes. The main research question formulated in the article sounds: What cognitive processes do there occur in the mind during execution of various numeral acts of reference?