Wojciech Krysztofiak

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.

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 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.

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 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 Woleń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 article presents a model of the structure of the act of communicative reference from the sender’s point of view. The foundation of the act of communicative reference includes two acts: the act of semantic reference to the addressee and the act of in-reading the world into the addressee (assigning him the role of the recipient). Both acts are coupled together by an act of metareference, thanks to which Quine’s effect of referential indeterminacy disappears. The act of metareference is evoked by the act of assigning oneself the role of sender. This act is caused by the act of in-reading the world into the addressee. The function of the act of metareference is to “execute” the fusion of the two acts. Over the act of in-reading the world into the recipient, there is founded the act of locating him in the world in which the sender locates himself. The act of establishing communication paths binding the sender with the recipient is based on the act of locating the receiver in the world. Depending on the type of an act of locating the recipient in the world, the constituted communication paths can belong to three categories: completed and single-ray, completed and multi-ray, open and multi-ray. The type of communication path determines the type of physical bond binding the sender with the world in-read into the recipient. The act of typifying the recipient is based on the act of semantic reference. The act of typifying the recipient and the act of in-reading the world into are the foundational basis for the act of constituting communication gates in the world in-read into the recipient. The gates established by the sender determine the expected way of acknowledging the receipt of the transmission of messages sent on a specific topic and in the expected way. Thanks to all these acts, the sender establishes the recipient’s typification metric, i.e., the way in which the recipient appears to the sender in the transmitting act of communicative reference.

The paper presents the semantic model of logical content processing in the environment of tabooed sentences. Such sentences occur both in academic and colloquial discourses. They can be interpreted as infected formulas with the value of an insult. The proposed model assumes that the inferential mechanism of argumentative activities realised in discourses in the environment of such formulas is based on Bochvar's logical matrices and Kripke’s possible worlds semantic structures. This mechanism is determined by semantic consequence operators of three types. The presented theory can be viewed as a formal tool for reconstructing the logical mental mechanism which stops deductive actions aiming at the development of narrative worlds in discourse practices during epistemic wars. It postulates that these practices, which occur in processes of developing science, are governed by special logical mechanisms of inference.

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.

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.

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.

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 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.

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?

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.