Intuitionistic Propositional Logic is proved to be an infinitely many valued logic by Gödel (Kurt Gödel collected works (Volume I) Publications 1929–1936, Oxford University Press, pp 222–225, 1932), and it is proved by Jaśkowski (Actes du Congrés International de Philosophie Scientifique, VI. Philosophie des Mathématiques, Actualités Scientifiques et Industrielles 393:58–61, 1936) to be a countably many valued logic. In this paper, we provide alternative proofs for these theorems by using models of Kripke (J Symbol Logic 24(1):1–14, 1959). Gödel’s proof (...) gave rise to an intermediate propositional logic (between intuitionistic and classical), that is known nowadays as Gödel or the Gödel-Dummett Logic, and is studied by fuzzy logicians as well. We also provide some results on the inter-definability of propositional connectives in this logic. (shrink)

In this paper we compare the propositional logic of Frege’s Grundgesetze der Arithmetik to modern propositional systems, and show that Frege does not have a separable propositional logic, definable in terms of primitives of Grundgesetze, that corresponds to modern formulations of the logic of “not”, “and”, “or”, and “if…then…”. Along the way we prove a number of novel results about the system of propositional logic found in Grundgesetze, and the broader system obtained by including identity. In (...) particular, we show that the propositional connectives that are definable in terms of Frege’s horizontal, negation, and conditional are exactly the connectives that fuse with the horizontal, and we show that the logical operators that are definable in terms of the horizontal, negation, the conditional, and identity are exactly the operators that are invariant with respect to permutations on the domain that leave the truth-values fixed. We conclude with some general observations regarding how Frege understood his logic, and how this understanding differs from modern views. (shrink)

Propositions play a central role in contemporary semantics. On the Russellian account, propositions are structured entities containing particulars, properties and relations. This contrasts sharply with the sets-of-possible-worlds view of propositions. I’ll discuss how to extend the sets-of-worlds view to accommodate fine-grained hyperintensional contents. When this is done in a satisfactory way, I’ll argue, it makes heavy use of entities very much like Russellian tuples. The two notions of proposition become inter-definable and inter-substitutable: they are not genuinely distinct accounts (...) of how propositions represent what they represent. Semantic theorists may move freely between the two conceptions of what propositions are. Nevertheless, the two approaches give different accounts of the metaphysical nature of propositions. I argue that the sets-of-worlds view provides an adequate account of the nature of propositions, whereas the Russellian view cannot. (shrink)

This dissertation is about the structure of thought. Following Gottlob Frege, I define a thought as the sort of content relevant to determining whether an assertion is true or false. The historical component of the dissertation involves interpreting Frege’s actual views on the structure of thought. I argue that Frege did not think that a thought has a unique decomposition into its component senses, but rather the same thought can be decomposed into senses in a variety of distinct ways. I (...) extend Frege’s position and use it to develop an account of the hierarchy of senses, the senses expressed by indexicals and demonstratives, and the distinction between logical and non-logical structure. I also discuss various connections with the nature of meta-representation, our capacity for reflective judgment, some aspects of the structure of conscious experience, the way we perceive regions of space and durations of time, and our conscious awareness of our own perceptions and events of thinking. (shrink)

Do Russellian propositions have their constituents as parts? One reason for thinking not is that if they did, they would generate apparent counterexamples to plausible mereological principles. As Frege noted, they would be in tension with the transitivity of parthood. A certain small rock is a part of Etna but not of the proposition that Etna is higher than Vesuvius. So, if Etna were a part of the given proposition, parthood would fail to be transitive. As William Bynoe has noted (...) (speaking of facts rather than propositions), they would seem to violate certain supplementation principles. Consider the singular proposition, concerning identity, that it is identical with itself. Given the relevant form of Russellianism, this proposition would have identity as a proper part, but it would not have any parts disjoint from identity, and indeed it would not have even a single pair of disjoint parts, in violation of various supplementation principles. This chapter offers a unified solution to the problems about transitivity and supplementation. One key ingredient in the solution is the view that parthood is a four-place relation expressed by ‘x at y is a part of z at w’. Another key ingredient is the view that the semantic contents of predicates and sentential connectives have ‘slots’ or ‘argument positions’ in them. (Both ingredients are independently motivated elsewhere.) Four-place analogues of the transitivity and supplementation principles are set out, and it is argued that these are not threatened by the examples from Frege and Bynoe. (shrink)

The processing of time intervals in the sub- to supra-second range by the brain is critical for the interaction of primates with their surroundings in activities, such as foraging and hunting. For an accurate processing of time intervals by the brain, representation of physical time within neuronal circuits is necessary. I propose that time dimension of the physical surrounding is represented in the brain by different types of neuronal oscillators, generating spikes or spike bursts at regular intervals. The proposed oscillators (...) include the pacemaker neurons, tonic inputs, and synchronized excitation and inhibition of inter-connected neurons. Oscillators, which are built inside various circuits of brain, help to form modular clocks, processing time intervals or other temporal characteristics specific to functions of a circuit. Relative or absolute duration is represented within neuronal oscillators by “neural temporal unit,” defined as the interval between regularly occurring spikes or spike bursts. Oscillator output is processed to produce changes in activities of neurons, named frequency modulator neuron, wired within a separate module, represented by the rate of change in frequency, and frequency of activities, proposed to encode time intervals. Inbuilt oscillators are calibrated by (a) feedback processes, (b) input of time intervals resulting from rhythmic external sensory stimulation, and (c) synchronous effects of feedback processes and evoked sensory activity. A single active clock is proposed per circuit, which is calibrated by one or more mechanisms. Multiple calibration mechanisms, inbuilt oscillators, and the presence of modular connections prevent a complete loss of interval timing functions of the brain. (shrink)

Developing a suggestion of Wittgenstein, I provide an account of truth tables as formulas of a formal language. I define the syntax and semantics of TPL (the language of Tabular Propositional Logic), and develop its proof theory. Single formulas of TPL, and finite groups of formulas with the same top row and TF matrix (depiction of possible valuations), are able to serve as their own proofs with respect to metalogical properties of interest. The situation is different, however, for groups (...) of formulas whose top rows differ. For them I provide (i) a tree-style system of ‘row tree proofs’, which is shown to be sound and complete, and (ii) an alternative, re-writing strategy. (shrink)

The conventional wisdom has it that between 1905 and 1919 Russell was critical to pragmatism. In particular, in two essays written in 1908–9, he sharply attacked the pragmatist theory of truth, emphasizing that truth is not relative to human practice. In fact, however, Russell was much more indebted to the pragmatists, in particular to William James, as usually believed. For example, he borrowed from James two key concepts of his new epistemology: sense-data, and the distinction between knowledge by acquaintance and (...) knowledge by description. Reasonable explanation of this is that, historically, Russell’s logical realism and James’s pragmatism have the same roots—the German philosopher Rudolph Hermann Lotze (1817–1881). In this paper we are going to explore the fact that in 1905, under Lotze’s influence, Russell married propositions with beliefs. A few years later this step also made Russell prone to embrace the theory of truth-making that has its roots in James. In contrast to the concept of sense-data and to the distinction between knowledge by acquaintance and knowledge by description, however, the understanding that we believe propositions—and not, for example, simply grasp them—was in tension with Russell’s Principle of Extensionality, according to which propositions can be logically connected with other propositions only as truth-functions. The point is that when we judge a mind-relation (for example, a relation of belief) to a proposition, the latter cannot be determined as true or false. The two most talented pupils of Russell, Wittgenstein and Ramsey, severely criticized the central place propositional attitudes play in Russell’s logic. Wittgenstein analyzed “A believes that p” to “ ‘p’ says p” (5.542). Ramsey criticized Russell’s beliefs in propositions the other way round: He stressed that belief is an ambiguous term that can be interpreted for the better in the sense of pragmatism. Prima facie surprisingly, he maintained that his “pragmatism is derived from Mr Russell.” (1927: 51). (shrink)

Several philosophers advance substantive theories of propositions, to deal with several issues they raise in connection with a concern with a long pedigree in philosophy, the problem of the unity of propositions. The qualification ‘substantive’ is meant to contrast with ‘minimal’ or ‘deflationary’ – roughly, views that reject that propositions have a hidden nature, worth investigating. Substantive views appear to create spurious problems by characterizing propositions in ways that make them unfit to perform their theoretical jobs. I will present in (...) this light some critical points against Hanks’ (2015, 2019) act-theoretic view, and Recanati’s (2019) recent elaboration of Hanks’ notion of cancellation. Both Hanks and Recanati, I’ll argue, rely on problematic conceptions of fiction and pretense. (shrink)

This essay delves into the essentialities of object-giving sources within the formulation of epistemic objectivity. It explores the relationship between objectivity and intentional states, particularly in the context of immediate and transcendent experiences. A key focus of this paradigm is the examination of inferences and how they are held in X’s intentional processes. These claims about inferences contribute to the perception of objectivity by highlighting the epistemological transitions of things that occur in the constitutive ideation. Additionally, the activity within X’s (...) episteme leads to significant articulations that reflect a structural realism of experiences. The essay also introduces a convention of the experiential-intentional process so that the causality manipulations could be avoided by the precents of sources of ideation. In this instance, the central niche is occupied by transcendental reflections of intentionality, which are fundamentally founded on experiences and objectivity, and they possess a distinct rhetorical quality. They manifest as acts, propositional forms, and constituents, all of which contribute to the understanding and justification of objectivity. To establish such a framework that upholds objectivity, certain prerequisites must be met. Firstly, the framework must possess justificational resources that prevent causality manipulations. Secondly, pre-reflective sources should not inter-define causality in epistemic circumstances, although this does not exclude the emergence of causal relations, and thus this approach offers a correlational explanation. Lastly, transcendental reflections should remain compatible with the experiential-intentional process, allowing for the accommodation of subjectivity in the justification of objectivity. (shrink)

In this paper, two axiomatic theories T− and T′ are constructed, which are dual to Tarski’s theory T+ (1930) of deductive systems based on classical propositional calculus. While in Tarski’s theory T+ the primitive notion is the classical consequence function (entailment) Cn+, in the dual theory T− it is replaced by the notion of Słupecki’s rejection consequence Cn− and in the dual theory T′ it is replaced by the notion of the family Incons of inconsistent sets. The author has (...) proved that the theories T+, T−, and T′ are equivalent. (shrink)

Arthur Kaufmann is one of the most prominent figures among the contemporary philosophers of law in German speaking countries. For many years he was a director of the Institute of Philosophy of Law and Computer Sciences for Law at the University in Munich. Presently, he is a retired professor of this university. Rare in the contemporary legal thought, Arthur Kaufmann's philosophy of law is one with the highest ambitions — it aspires to pinpoint the ultimate foundations of law by explicitly (...) proposing an ontology, a general theory of knowledge and concept of a person. Kaufmann's work derives, first of all, from the thinking of Gustav Radburch, his teacher, and then from ideas of Karl Engish and Hans-Georg Gadamer. The philosophy undertakes to pursue the ultimate foundation of law, law which is understood by Kaufmann, first of all, as a "concrete judgement" that is, what is right in a concrete situation. Justice belongs to the essence of law and "unjust law" is contradictio in adiectio. Kaufmann opposes all those theories, which as the only foundation for establishing just law (Recht) adopt legal norms (Gesetz). In Kaufmann's opinion , such theories are powerless in the face of all types of distortions of law rendered by political forces. He suggests that the basic phenomenon which needs to be explained and which cannot be disregarded by a philosopher of law is so-called "legal lawlessness" ("Gestzliches Unrecht"). "Legal lawlessness" which forms a part of life experience for the people of twentieth century totalitarian states. It proved "with the accuracy of scientific experiment" that the reality of law consists of something more than bare conformity with legal norms. The existence of lex corrupta indicates that law contains something "non-dispositive" which requires acknowledgment of both law-maker and judge. Kaufmann, accepting the convergent concept of truth and cognition, assumes that "non-dispositive" content, emerging as the conformity of a number of cognitive acts of different subjects (inter-subjective communicativeness and verifiability), indicates the presence of being in this cognition. The questions "What is law?" and "What are the principles of a just solution?" lead straight to the ontology of law, to the question about the ontological foundations of law. Kaufmann discerns the ontological foundations of law in the specifically understood "nature of things" and, ultimately, in a "person". He proposes a procedural theory of justice, founded on a "person". In my work, I undertake to reconstruct the train of thought which led Kaufmann to the recognition of a "person" as the ontological foundation of law. In the first part, the conception of philosophy adopted by Kaufmann, initial characteristics of law — of reality which is the subject of analysis, as well as, the requirements for proper philosophical explanation of law posed by Kaufmann are introduced. In the second, Kaufmann's reconstruction of the process of the realisation of law is presented. Next, the conception of analogy which Kaufmann uses when explaining law is analyzed. In the fourth part, Kaufmann's conception of ontological foundations of law is discussed. A critical analysis is carried out in which I demonstrate that the theory of the ontological foundation of law proposed by Kaufmann and the concept of a person included in it do not allow a satisfac¬tory explanation of the phenomenon of "legal lawlessness" and lead to a number of difficulties in the philosophical explanation of law. Finally, the perspectives of a proper formulation of the issue of the ontological foundations of law are drafted in the context of the analyzed theory. My interest is centered on the conception of philosophy adopted by Kaufmann, according to which the existence of the reality is inferred on the basis of a certain configuration of the content of consciousness, whereas at the point of departure of philosophy of law, the data to be explained is a certain process, which is, basically, a process of cognition, while the reality appears only as a condition for the possibility of the occurrence of the process. I wish to argue that the difficulties which appear in the explanation of law are a consequence of the assumed fundamental philosophical solu¬tions, which seem to be characteristic, though usually not assumed explicitly, in philoso¬phy and theory of law dominant at present in continental Europe. Thereby, I wish to show the significance of ontological and epistemological solutions to the possibility of a proper formulation of the problems posed by philosophy and theory of law. Kaufmann proclaims himself in favour of a philosophy which poses questions about the ultimate foundations of understanding of the reality. In epistemology, he assumes that answers to the questions "What is reality like?" and ultimately "What is real?" are inferred on the basis of uniformity of a cognitive acts of different subjects. Cognition of the reality is accomplished exclusively through the content of conceptual material. The two fundamental questions posed by philosophy of law are "What is just law?" and "How is the just law enacted?" The latter is a question about the process of achieving a solution to a concrete case. Since, in Kaufmann's opinion, law does not exist apart from the process of its realisation, an answer to the question about the manner of realisation of law is of fundamental significance to answering the question: "What is law?" and to the explanation of the question about the ontological grounding of law, which is, as well, the foundation of justice. The proper solution has to take into account the moment of "non-dispositive" content of law; its positiveness understood as the reality and, at the same time, it has to point to the principles of the historical transformation of the content. Law, in the primary meaning of the word, always pertains, in Kaufmann's opinion, to a concrete case. A legal norm is solely the "possibility" of law and the entirely real law is ipsa res iusta, that which is just in a given situation. Determination of what is just takes place in a certain type of process performed by a judge (or by man confronted with a choice). Kaufmann aims to reconstruct this process. A question about the ontological foundation of law is a question about the ontological foundations of this process. In the analyzed theory it is formulated as a question about the transcendental conditions, necessary for the possibility of the occurrence of the process: how the reality should be thought to make possible the reconstructed process of the realisation of law. Kaufmann rejects the model for finding a concrete solution based on simple subsump¬tion and proposes a model in which concrete law ensues, based on inference by analogy, through the process of "bringing to conformity" that which is normative with that which is factual. Kaufmann distinguishes three levels in the process of the realisation of law. On the highest level, there are the fundamental legal principles, on the second legal norms, on the third — concrete solutions. The fundamental principles of law are general inasmuch as they cannot be "applied" directly to concrete conditions of life, however, they play an important part in establishing norms. A judge encounters a concrete situation and a system of legal norms. A life situation and norms are situated on inherently different levels of factuality and normativeness. In order to acquire a definite law both a norm (system of norms) and a life situation (Lebenssachverhalt) should undergo a kind of "treatment" which would allow a mutual conformity to be brought to them. Legal norms and definite conditions of life come together in the process of analogical inference in which the "factual state" ("Tatbestand") — which represents a norm, and in the "state of things" ("Sachverhalt") — which represents a specific situation are constructed. A "factual state" is a sense interpreted from a norm with respect to specific conditions of life. The "state of things" is a sense constructed on the basis of concrete conditions of life with respect to norms (system of norms). Legal norms and concrete conditions of life meet in one common sense established during the process of realisation of law. Mutatis mutandis the same refers to the process of composition of legal norms: as the acquisition of concrete law consists in a mutual "synchronization" of norms and concrete conditions of life, so acquisition of legal norms consists of bringing to conformity fundamental principles and possible conditions of life. According to Kaufmann, both of these processes are based on inference through analogy. As this inference is the heart of these processes it is simultaneously a foundation finding just law and justice. How does Kaufmann understand such an inference? As the basis for all justice he assumes a specifically interpreted distributive justice grounded on proportionality. Equality of relations is required between life conditions and their normative qualification. Concrete conditions of life are ascribed normative qualification not through simple application of a general norm. More likely, when we look for a solution we go from one concrete normative qualified case to another, through already known "applications" of norms to a new "application". The relation between life conditions and their normative qualifica¬tion has to be proportional to other, earlier or possible (thought of) assignments of that which is factual to that which is normative. Law as a whole does not consist of a set of norms, but only of a unity of relations. Since law is a, based on proportion, relative unity of a norm and conditions of life, in order to explain law in philosophical manner, the question about ontological base of this unity has to be asked. What is it that makes the relation between a norm and conditions of life "non-dispositive"? What is the basis for such an interpretation of a norm and case which makes it possible to bring a norm and conditions of life into mutual "conformity"? This is a question about a third thing (next to norms and conditions of life), with respect to which the relative identity between a norm and conditions of life occurs, about the intermediary between that which is normative and that which is factual and which provides for the process of establishing of norms, as well as, finding solutions. It is the "sense" in which the idea of law or legal norm and conditions of life have to be identical to be brought to mutual "conformity". In Kaufmann's opinion such a sense is nothing else but the "nature of things" which determines the normative qualification of the reality. Since establishment of this "sense" appears to be "non-dispositive" and controlled inter-subjectively (namely, other subjects will reach a similar result) so, in conformity with the convergent concept of truth, the "nature of things" must be assigned a certain ontological status. According to Kaufmann this is a real relation which occurs between being and obligation, between the conditions of life and normative quality. However, it should be underlined that from the point of view of the analyzed system the "nature of things" is a correlate of constructed sense, a result of a construction which is based on the principle of consistent understanding of senses ("non-normative" and "normative") and is not a reality which is transcendent against the arrangement of senses. In Kaufmann's theory, inference from analogy appears to be a process of reshaping the concepts (senses) governed by tendency to understand the contents appearing in relations between that which is factual and that which is normative in a consistent way. The analogical structure of language (concepts) and recognition of being as composed of an essence and existence is an indispensable requirement for the possibility of the realisation of law, based on specifically understood inference from analogy. It is necessary to assume a moment of existence without content which ensures unity of cognition. Existence emerges thus as a condition of the possibility of cognition. According to Kaufmann, the "nature of things" is the heart of inference through analogy and the basis for establishment of finding of law. Inference from the "state of things" to a norm or from a norm to the "state of things" always means inference through the "nature of things". The "nature of things" is the proper medium of objective legal sense sought in every cognition of law. In Kaufmann's view, the question whether the "nature of things" is ultima ratio of interpretation of law or is only a means of supplement gaps in law or whether it is one of the sources of law, is posed wrongly. The "nature of things" serves neither to supplement the gaps nor is it a source of law as, for example, a legal norm may be. It is a certain kind of "catalyst" necessary in every act of making law and solving a concrete case. Owing to "nature of things" it is possible to bring to a mutual conformity the idea of law and possible conditions of life or legal norms and concrete conditions of life. In Kaufmann's conception the "nature of things" is not yet the ultimate basis for understanding the "non-dispositiveness" of law. The relation between obligation and being is determined in the process of the realisation of law. Both the process itself and that which is transformed in this process are given. A question about the ontological bases of "material" contents undergoing "treatment" in the process of the realisation of law and about being which is the basis of regularity of the occurrence of the process arises. Only this will allow an explanation that the result of the process is not optional. Thus, a question about reality to which law refers and about the subject realising the law has to be formed. To this, Kaufmann gives the following answer: that which is missing is man but not "empirical man" but man as a "person". A "person" understood as a set of relations between man and other people and things. A "person" is the intermediary between those things which are different — norm and case are brought to conformity. A "person" is that which is given and permanent in the process of the realisation of law. It determines the content of law, is "subject" of law; this aspect is described by Kaufmann as the "what" of the process of realisation of law. A "person" consists of precisely just these relations which undergo "treatment" in the process. On the other hand, a "person" is "a place" in which the processes of realisation of law occur, it is the "how" of normative discourse, a "person" is that which determines the procedure of the process, being "outside" of it. This aspect of a "person" is connected with the formal moment of law. A "person" being, at the same time, the "how" and the "what" of the process of the realisation of law, is also, to put it differently, a structural unity of relation and that which constitutes this relation (unity of relatio and relata). According to this approach a "person" is neither an object nor a subject. It exists only "in between". It is not substance. Law is the relation between being and obligation. That which is obligatory is connected with that which is general. That which is general does not exist on its own, it is not completely real. Accordingly, a "person" as such is also not real. It is relational, dynamic and historical. A "person" is not a state but an event. In Kaufmann's opinion, such a concept of a "person" helps to avoid the difficulties connected with the fungibility of law in classical legal positivism. A "person" is that which is given, which is not at free disposal and secures the moment of "non-dispositiveness" of law. Kaufmann concludes: "The idea (»nature«) of law is either the idea of a personal man or is nothing". Theory points at the structure of realising law and explains the process of adoption of general legal norms for a concrete situation. The analysis has shown however, that in this theory a satisfactory answer to the question about the ultimate foundations of law is not given. It seems that in the analyzed theory the understanding of human being takes place through understanding of law. What is good for man as a "person", what is just, what a "person" deserves may be determined only against the existing system of law. A "per¬son" adopted as a basis of law is the reality postulated in the analysis of the process of the realisation of law. It is a condition of possibility of this process ( explaining, on one hand, its unity and, on the other hand, the non-dispositive moments stated in this process). A "person" in the discussed theory is entirely defined by the structure of law, it can be nothing more than that which is given in law, what law refers to, what law is about. Being, which is a "person", is constituted by relations between people and objects, the relations which are based on fundamental links between norms and conditions of life established in a process of bringing them to conformity. It has to be assumed that man as a "person" is a subject of law only as far as realising law "treats" given senses according to their current configuration. The system of law is a starting point and it describes in content what man is as a "person". Moreover, being a "person" is the condition for entering legal relations. Consistently, Kaufmann writes that "empirical man" is not the subject of law, man is not "out of nature" a "person". People become "persons" due to the fact that they acknowledge each other as "persons" — acknowledging, at the same time, law. This acknowledgement is a con¬dition of existence, of the possibility of the occurrence of process of realisation of law and of constituting legal relations which ultimately constitute a "person". Kaufmann assumes, that law tends towards a moral aim: it may and must create an external freedom, without which the internal freedom to fulfil moral obligations cannot develop. However, this postulate is not based on the necessary structure of human being. From the point of view of his system, it is nothing more than only a condition for the possibility of the occurrence of the process of the realisation of law — lack of freedom would destroy the "how" of this process. Thus, the postulate to protect the freedom of personal acts has to be interpreted, in accordance with the analyzed theory, as a postulate, the fulfilment of which aims ultimately at the accomplishment of the very same process of realisation of law itself and not the realisation of a given man. Kaufmann considers a "person" to be an element which unites the system of law as a whole. Law is a structure of relations, which are interdependent and inter-contingent. Consequently, a "person" which is to form the ontological basis of law has to be entity consisting of all relations. Being also the "how" of the process of realisation of law, if a "person" is to warrant its unity, it has to be a common source for all procedures. Hence, a single "person" would constitute a subject of law. Man appears to be only a moment of a certain entirety, realisation of which should be an aim of his actions. Law, creating a "person" as an object and subject of law becomes a primary entity. In the analyzed theory, the basis for determination of aims which law sets to man is not the allocation of man-subject to something which improves him but rather, such relation is only just constituted by law. A question appears, why should aims set in law also be the aims of "empirical man"? Why is this "empirical man" to be punished in the name of a "person" understood in such a way? If, however, it is assumed that what is man is determined by a system which is superior to him, then man has to be understood only as a part of a whole and there are no grounds to prohibit istrumental treatment of man and so the road to all aspects of totalitarianism might be opened. A problem of the application of created theory to the reality arises, the reality which the theory pretends to explain. Ultimately in his theory Kaufmann does not give any systemic grounds for a radical questioning of the validity of any legal norms. Every new norm becomes an equal part of system of norms. It is only its interpretation and application to given conditions of life that may be disputable, however, this refers to all norms without exception. Cohesive inter-pretation of norms and applications is necessary and sufficient for the acquisition of just law. New norms have to be interpreted in the light of others, correspondingly, the other norms require reinterpretation in the light of the new ones. Contradiction in interpretation of a norm does not form a basis for questioning norms but may serve only to question the manner of their interpretation (understanding). Therefore, no grounds exist to assume any legal norm as criminal or unjust, and in consequence, to question any consistently realised system based on formally, properly established norms, as "legal lawlessness". As law and a "person" do not exist without the process of realisation of law, the role of legal safety becomes crucial as the condition for the possibility of the occurrence of the process of realisation of law. Denying legal safety would be tantamount to negation of law in general (also of moral law) as negation of safety takes away, at the same time, the basis for occurrence of the process of realisation of law. Moreover, any lack of legal safety would also mean lack of a basis for the existence of man as a "person". Kaufmann's thesis, that civil disobedience is legalized only when it has a chance to lead to success, consistent with his concept of the foundations of law, seems to point directly to conclusions which deny the facts taken under consideration and doubtlessly Kaufmann's own intentions, since it would have to be assumed that accordingly there are no grounds to question a legal system in force based on violence which secures its operation. Force finally seems to determine which one of the mutually irreconcilable normative systems constitute law and which does not. A legitimate position is one which leads to success, it is the weaker system which is negated. If so, then basically violent imposition of law is not an act directed against the law in force but, to the contrary, realisation of law. In the context of the new system the former system of law may be talked about as unjust solely in the sense of being incapable of being consistently united with the new. However, at the base, ultimately, lies force which reaffirms differences and excludes from the process of realisation of law certain norms and their interpretations. Kaufmann was aiming at grounding of that which is "non-dispositive" in a certain given framework of interpretation. Nevertheless, he does not provide foundations for the understanding of phenomena, which he undertakes to explain at a point of departure. Instead of explaining them the theory negates the possibility of their existence. The reality postulated in regard to "non-dispositive" moments of the reconstructed process of acquiring law consist of a specifically understood "person", which appears in Kaufmann's conceptions as a condition of the possibility of the realisation of law. According to this approach understanding of a "person" may be only a function of law. To understand "legal lawlessness" and foundations of justice it is necessary to look for such theory of law in which understanding of man as a "person" and being is not a function of understanding of law (in which a "person" is not only a condition for possibility of reconstructed process of realisation of law; for possibility of cognition processes). It seems necessary to start from theory of being and a "person" based on broader experience than the one assumed by Kaufmann and reconstruct the ontological foundations of the process of realisation of law only in such perspective. Kaufmann points out that that to which law refers is ipsa res iusta a concrete relation of man to other people and things. This relation, in his theory, appears to be basically only just constituted by law (normative senses "applied" to conditions of life). Therefore, understanding the relation between a given man and other people and things which constitute the aim of his actions, that is understanding of good, is enacted against the background of constitution of senses; constitution which is a result of a process aiming towards consistent understanding of particular contents (of nor¬mative and non-normative senses). "Being" is secondary towards constructed senses it is only their correlate. The primary relation consists of relation of a man to law (system of norms), while the secondary relation is one of man to something which is the aim of his action (relation between man and good). Considering such approach it is difficult to envision a satisfying answer to the fundamental question: why does law put concrete man under any obligation to obey it? The source of this problem can be seen in reduction of the base for understanding good to content of obligation formulated in auto-reflection. Such reduction seems to be a consequence of Kaufmann's adoption of "convergent concept of truth" and in con¬sequence his recognition of indirect, essentialistic grasp of reality formulated in concepts as the basic and only foundation of theory of being and of law. In view of such an approach, analogy of law, concepts and being is the condition for the possibility of the process of transformation of senses which aims at consistent interpretation of all law. Existence is postulated with respect to the possibility of unity of experience and cognition. However, also a different approach to understanding of the problem of being and good is possible. In spontaneous cognition being is affirmed, first of all, not as a certain, non-contradictory, determined content, but as something existing. Together with a cer¬tain content (passed indirectly through notions) existence of being is co-given. The basis for unity of being is not formed by the consistence of content, as it is in the case of the theories departing from the analysis of cognition processes, but by an act of existence realising content (essence). Such an approach makes it also possible to go beyond the convergent concept of truth. It is worth mentioning that allocation of an agent to good is realised not only by the content of duty. A statement that something is good is primary with respect to determination of this good in content. The recognised good always bears some content, however, there are no reasons to base the concept of good exclusively on indirect, formulated in concepts cognition. As primary, can be adopted the relation of man to good and not of man to law. Determination in content appears to be only an articulation of aspectual cognition of being, as an object of action. In such a case the basis for relative unity of norm and conditions of life is not the "nature of things" understood as correlate of sense but it is relation to good based on internal constitution of man as potential, not self-sufficient being. It does not mean, that the moments of the process of realisation of law singled out by Kaufmann are not important to determination of what is just. He, quite rightly, points to significant role played by norms in the evaluation of concrete situations, in man's search for closer specification in content of good innate to him. The structure of process of determining law for a concrete situation, to a great degree corresponds to the processes of determining law which take place not only in the legal sciences. Kaufmann's analyses of the process of realisation of law show the complexity of the structure of these processes and point towards important moments allowing a better understanding of law and man. Nevertheless, these analyses cannot be a basis for construction of philosophical theory of law, theory which hopes to point out the ultimate, ontological foundations for understanding law. Kaufmann's results may become fully valid only in a more general perspective including broader experience at the point of departure. (shrink)

Introduction: the objective of the investigation is to analyse the informational operating-mode of the brain and to extract conclusions on the structure of the informational system of the human body and consciousness. Analysis: the mechanisms and processes of the transmission of information in the body both by electrical and non-electrical ways are analysed in order to unify the informational concepts and to identify the specific essential requirements supporting the life. It is shown that the electrical transmission can be described by (...) typical YES/NO (all or nothing) binary units as defined by the information science, while the inter and intra cell communication, including within the synaptic junction, by mechanisms of embodiment/disembodiment of information. The virtual received or operated information can be integrated in the cells as matter-related information, with a maximum level of integration as genetically codified info. Therefore, in terms of information, the human appears as a reactive system changing information with the environment and between inner informational subsystems which are: the centre of acquisition and storing of information (acquired data), the centre of decision and command (decision), the info-emotional system (emotions), the maintenance informational system (matter absorption/desorption/distribution), the genetic transmission system (reproduction) and info-genetic generator (genetically assisted body evolution). The dedicated areas and components of the brain are correlated with such systems and their functions are specified. Result: the corresponding cognitive centres projected into consciousness are defined and described according to their specific functions. The cognitive centres, suggestively named to appropriately include their main characteristics are detected at the conscious level respectively as: memory, decisional operation (attitude), emotional state, power/energy status and health, associativity and offspring formation, inherited predispositions, skills and mentality. The near-death and religious experiences can be explained by an Info-Connection pole. Conclusion: consciousness could be fully described and understood in informational terms. (shrink)

Many theorists claim that inner speech is importantly linked to human metacognition (thinking about one's own thinking). However, their proposals all rely upon unworkable conceptions of the content and structure of inner speech episodes. The core problem is that they require inner speech episodes to have both auditory-phonological contents and propositional/semantic content. Difficulties for the views emerge when we look closely at how such contents might be integrated into one or more states or processes. The result is that, if (...) inner speech is especially valuable to metacognition, we do not currently understand why it is. The article concludes with two positive proposals for understanding the content and structure of inner speech episodes, which should serve as constraints on future accounts of the metacognitive value of inner speech. (shrink)

Functional reductionism characterises inter-theoretic reduction as the recovery of the upper-level behaviour described by the reduced theory in terms of the lower-level reducing theory. For instance, finding a statistical mechanical realiser that plays the functional role of thermodynamic entropy allows for establishing a reductive link between thermodynamics and statistical mechanics. This view constitutes a unique approach to reduction that enjoys a number of positive features, but has received limited attention in the philosophy of science. -/- This paper aims to (...) clarify the meaning of functional reductionism in science, with a focus on physics, to define both its place with respect to other approaches to reduction and its connection to ontology. To do so, we develop and explore two alternative frameworks for functional reduction, called Syntactic Functional Reductionism and Semantic Functional Reductionism. They represent two different possible stances on the view that expand and improve the basic functional reductionist approach along different lines, and make clear how the approach works in practice. The former elaborates on David Lewis’ account, is connected with the syntactic view of theories, is committed to a logical characterisation of functional roles, and is embedded within Nagelian reductionism. The latter adopts a semantic view of theories, spells out functional roles mainly in terms of mathematical roles within the models of theories, and is expressed in terms of the related structuralist approach to reduction. The development of these frameworks has the final goal of advancing functional reductionism, to make it a fully-fledged alternative account for reduction in science. (shrink)

Dretske makes arguments in which he suggests three levels of the intentionality of knowledge: (1) a low level belonging to law-like causal relationships between physical properties, (2) a middle level defined in terms of the intensionality of sentences describing knowledge of these properties, and (3) a highest level of human cognition. Acknowledging the need to explain humans’ analytic knowledge, however, he proposes that we know a proposition P analytically when we know that P entails Q, even though P and Q (...) are not identical. -/- I explore examples of deduction involving properties of every-day life, such as being a bachelor, being a stay-at-home mom, and being a consultant. I argue that to make these common sense inferences, the average person has to be aware of both analytical entailments and propositional entailments. While the former simply is knowing that if Emily is a stay-at-home mom, then Emily is female, for example, the latter requires us to be conscious of the (often complex) logical structure given to our beliefs by the deductive connectives AND, NOT, and OR. From an empirical standpoint, there are two general possibilities for reductive accounts of these kinds of awareness. One would be a counterfactually defined set of causal criteria, such as Dretske’s. The other would involve statistical patterns of synaptic connections between neural phenomena, whose firings represent our concepts for AND, NOT, and OR. I argue that neither of these reductive explanations is viable; and that in order to explain the success of our inferences, we must appeal to two kinds of higher cognitive intentionality. First, we usually have some conscious awareness of analytical and propositional entailments when we engage in common sense-based deduction. Second, we often have a conscious intention to think deductively during these inferences, which drives our success. (shrink)

It was shown recently that information is the central concept which it is to be considered to understand consciousness and its properties. Arguing that consciousness is a consequence of the operational activity of the informational system of the human body, it was shown that this system is composed by seven informational components, reflected in consciousness by corresponding cognitive centers. It was argued also that consciousness can be connected to the environment not only by the common senses, but also by a (...) special connection pole to the bipolar properties of the universe, allowing to explain the associated phenomena of the near-death experiences and other special phenomena. Starting from the characteristics of this model, defined as the Informational Model of Consciousness and to complete the info-communication panorama, in this paper it is analyzed the info-connectivity of the informational system with the body itself. The brain areas where the activity of each informational component are identified, and a definition of consciousness in terms of information is proposed. As the electrical connectivity by means of the nervous system was already proved, allowing the application of the analysis and developing tools of the information science, a particular attention is paid to the non-electrical mechanisms implied in the internal communication. For this, it is shown that the key mechanisms consists in embodiment/disembodiment processes of information during the inter and intra communication of the cells. This process can be modeled also by means of, and in correlation with specific concepts of the science and technology of information, referred to network communication structures, and is represented by epigenetic mechanisms, allowing the acquired trait transmission to the offspring generation. From the perspective of the informational model of consciousness, the human organism appears therefore as a dynamic reactive informational system, actuating in correlation with matter for adaptation, by embodiment/disembodiment processes of information. (shrink)

Abstract. The aim of this paper is to present a topological method for constructing discretizations (tessellations) of conceptual spaces. The method works for a class of topological spaces that the Russian mathematician Pavel Alexandroff defined more than 80 years ago. Alexandroff spaces, as they are called today, have many interesting properties that distinguish them from other topological spaces. In particular, they exhibit a 1-1 correspondence between their specialization orders and their topological structures. Recently, a special type of Alexandroff spaces was (...) used by Ian Rumfitt to elucidate the logic of vague concepts in a new way. According to his approach, conceptual spaces such as the color spectrum give rise to classical systems of concepts that have the structure of atomic Boolean algebras. More precisely, concepts are represented as regular open regions of an underlying conceptual space endowed with a topological structure. Something is subsumed under a concept iff it is represented by an element of the conceptual space that is maximally close to the prototypical element p that defines that concept. This topological representation of concepts comes along with a representation of the familiar logical connectives of Aristotelian syllogistics in terms of natural settheoretical operations that characterize regular open interpretations of classical Boolean propositional logic. In the last 20 years, conceptual spaces have become a popular tool of dealing with a variety of problems in the fields of cognitive psychology, artificial intelligence, linguistics and philosophy, mainly due to the work of Peter Gärdenfors and his collaborators. By using prototypes and metrics of similarity spaces, one obtains geometrical discretizations of conceptual spaces by so-called Voronoi tessellations. These tessellations are extensionally equivalent to topological tessellations that can be constructed for Alexandroff spaces. Thereby, Rumfitt’s and Gärdenfors’s constructions turn out to be special cases of an approach that works for a more general class of spaces, namely, for weakly scattered Alexandroff spaces. This class of spaces provides a convenient framework for conceptual spaces as used in epistemology and related disciplines in general. Alexandroff spaces are useful for elucidating problems related to the logic of vague concepts, in particular they offer a solution of the Sorites paradox (Rumfitt). Further, they provide a semantics for the logic of clearness (Bobzien) that overcomes certain problems of the concept of higher2 order vagueness. Moreover, these spaces help find a natural place for classical syllogistics in the framework of conceptual spaces. The crucial role of order theory for Alexandroff spaces can be used to refine the all-or-nothing distinction between prototypical and nonprototypical stimuli in favor of a more fine-grained gradual distinction between more-orless prototypical elements of conceptual spaces. The greater conceptual flexibility of the topological approach helps avoid some inherent inadequacies of the geometrical approach, for instance, the so-called “thickness problem” (Douven et al.) and problems of selecting a unique metric for similarity spaces. Finally, it is shown that only the Alexandroff account can deal with an issue that is gaining more and more importance for the theory of conceptual spaces, namely, the role that digital conceptual spaces play in the area of artificial intelligence, computer science and related disciplines. Keywords: Conceptual Spaces, Polar Spaces, Alexandroff Spaces, Prototypes, Topological Tessellations, Voronoi Tessellations, Digital Topology. (shrink)

It is argued that the distinction between the mental and the nonmental is at bottom logical. The paper begins by sketching and defending a theory of intensional logic in which the notion of logically and metaphysically basic relations (called connections) can be defined. This notion is then employed in an analysis of intentionality: a connection is intentional iff it can contingently connect some individual to some proposition or concept independently of whether it connects the individual to some necessarily equivalent proposition (...) or concept. After potential counterexamples have been explained away, the paper then extends the analysis to a general analysis of mentality. Finally, a "transcendental" argument is given for the thesis that at least some mental relations must be logically and metaphysically basic. (shrink)

Matthew Ratcliffe’s model of existential feelings can be seen as a critical engagement with perspectives common to analytic, theory of mind and psychological orientations that view psychological functions such as cognition and affectivity within normative objective propositional frameworks. Ratcliffe takes a step back from and re-situates objective reifications within an interactive subject-object matrix inclusive of the body and the interpersonal world. In doing so, he turns a mono-normative thinking into a poly-normative one, in which determinations of meaning and significance (...) are relative to the changing structural coherence of felt bodily and inter-socially shaped schemes of interaction. And yet, from the phenomenological vantages of Husserl, Merleau-Ponty, Gendlin and Heidegger, Ratcliffe’s approach retains the metaphysical presupposition of subject-object dualism as interacting bodies, with a separate causative glue necessary to provide for the means of their relation. Ratcliffe re-purposed Damasio‘s concept of background feeling and dressed it up in the garb of phenomenology , but it remains a reciprocal causal model of psychological function. What Heidegger’s Being-in-the -World, Merleau-Ponty’s figure-background structure of corporeal inter-subjectivity, Gendlin’s implicit intricacy and Husserl’s reduced transcendental ego have in common is a radicalized notion of temporality that overcomes the split between subject and object informing Ratcliffe’s understanding of being ‘immersed in’ and connected to a world, and thus abandons the need to posit bodily feeling as a ‘glue’ organizing and maintaining the meaningful structure of consciousness of a world. Temporality , not the empirically causal body, provides the basis of affect, cognition and the organizational glue for structures of meaning. (shrink)

ABSTRACT -/- A propositional attitude (PA) is a belief, desire, fear, etc., that x is the case. This dissertation addresses the question of the semantic content of a specific kind of PA-instance: an instance of a belief of the form all Fs are Gs. The belief that all bachelors are sports fans has this form, while the belief that Spain is a country in Eastern Europe do not. Unlike a state of viewing the color of an orange, a belief-instance (...) is semantically contentful because it has reference, a meaning, logical implications, or a truth-value. While the intrinsic semantics view holds that either concepts or abstract objects are the source of content for PAs, the extrinsic semantics view holds that symbols of a mental language provide this content. I argue that a successful theory of intentionality must explain: (1) the truth-preserving causal powers of PAs, (2) the failure of the deductive principle Substitutivity to preserve truth over sentences that ascribe PAs, and (3) the truth-evaluability of PAs. As an internalist version of the extrinsic semantics view, I first evaluate Fodor’s Computational Theory of Mind, which says the semantic ingredients of mental states are symbols governed by rules of a mental syntax. I argue that in order to meet (1), CTM would have to associate the causal patterns of each thought-type with the inferential relations of some proposition – in an arbitrary or question-begging way. I also evaluate Fodor’s causal theory, as an externalist version of the extrinsic semantics view. This view is that lawlike causal relations between mental symbols and objects determine the reference, and thus the truth-value, of a thought. I argue that Brian Loar’s circularity objection refutes the ability of this theory to meet (3); and I endorse the intrinsic semantics perspective. I evaluate Frege’s theory of abstract, mind-external, and intrinsically semantic objects (senses), as an attempt to meet condition (2). I conclude that mind-external universals are the source of the intrinsically semantic features of concepts. Finally, I put forth a theory called ‘Bare Property Intentionality’, which describes the features of intrinsically representative and semantic concepts that connect them to these universals. (shrink)

When people are united in their suffering for a common cause, that which binds them together is always stronger than their differences. The bond is even sturdier when religious motives define their common convictions. For this reason, during martyrdom, those who are persecuted create peculiar reli - gious identity through their common belief in God. This identity generates a socializing bond which makes them resolute in their united witness to the su - bject of their faith. This was the case (...) with the nineteenth-century Ugandan martyrs who died during the reign of the morally debased King Kabaka Mwan - ga. The novelty of this work consists in accentuating the ecumenicity of the Ugandan martyrdom that came into prominence, inter alia , through the Roman Catholic processes of canonization. It is so because there is no research work that has highlighted the fact that Anglicans and Lutherans were equally put to death in their defence of the Christian beliefs and morality alongside the Ro - man Catholics. For this reason, this work underlines how an inclusive narrative of the East-African Christian witness to the truth of the gospel brings out the ecumenicity of the Ugandan martyrologic events. Theoretical frameworks of deterrence and group memory were used in the understanding martyrdom and common witnessing in Uganda. In their united witnessing to the Christian faith, the Ugandan martyrs overcame the shackles of denominational divide that co - uld have weakened their common resolve to stand for Christ. Therefore, Chri - stians in contemporary African continent are called to re-receive the spirit of united witnessing to Christ as exhibited by the Ugandan martyrs since this will go a long way to: healing the wounds caused by denominational rivalry, con - trolling the tendency of tearing one another apart because of ethnic interests, sustaining common witness to truth and justice, encouraging all those suffering for their belief in Christ (no matter their denominational rootedness) to stand firm, and strengthening the spiritual bond that connects together all believers in Christ. (shrink)

This paper defends the view that attitudinal objects such as claims, beliefs, judgments, and requests form an ontological category of its own sharply distinguished from that of events and states and that of propositions. Attitudinal objects play a central role in attitude reports and avoid the conceptual and empirical problems for propositions. Unlike the latter, attitudinal objects bear a particular connection to normativity. The paper will also discuss the syntactic basis of a semantics of attitude reports based on attitudinal objects.

Introduction: This article discusses the brain hierarchical organization/evolution as a consequence of the information-induced brain development, from the perspective of the Informational Model of Consciousness. Analysis: In the frame of the Informational Model of Consciousness, a detailed info-neural analysis ispresented, concerning the specific properties/functions of the informational system of the human body composed by the Center of Acquisition and Storing of Information, Center of Decision and Command, Info-Emotional Center, Maintenance Informational System, Genetic Transmission System, Info Genetic Generator and Info- Connection (...) center, in relation with the neuro-connected brain areas, with a special attention to the Info-Connection and its specific properties. Besides a meticulous analysis of the info-connections/neuro-functions of these centers, a special attention was paid to limbic/cingulate cortex activities. Defined as a trust/confidence center, additional features are highlighted in correlation with the activity of the anterior cingulate cortex, consisting in the intervention/moderation of amygdala emotional signals, conflicting opposite YES/NO data and error elimination in the favor of the organism adaptation/survival, the intervention in the certainty/uncertainty balance to select a suitable pro-life information (antientropic effect), in moderation of pain and in the stimulation of the empathic inter-human relations/communication. Representing the correspondence between the informational subsystems and the brain area map, itis shown that the up/down integration of information by epigenetic mechanisms and the down/ up evolution are correlated. Results: The analysis of the functions of the anterior cingulate opens new gates of investigations concerning the involved intimate mechanisms at the level of cell microstructure, specifically on the compatibility with quantum assisted processes admitted by the Informational Model of Consciousness and the quantum-based models The discussion on the information integration/codification by epigenetic mechanisms shows that this process starts from the superior levels of brain conscious info-processing areas and progressively advances to the automatic/autonomic inferior levels ofthe informational system, under insistent/repetitive cues/stress conditions, pointing out an hierarchical functional/anatomical structure of the brain organization. Additional arguments are discussed, indicating thatthe down/up progressive scale representation is a suggestive illustration of the brain evolution, induced/assisted/determined by information, accelerated at humans by the antientropic functions of the Info-Connection center. Conclusions: The hierarchical organization of the brain is a consequence of the integration process of information, defining its development accordingly to the adaptation requirements for survival during successive evolution stages of the organism, information playing a determinant/key role. (shrink)

proposition. Universal proposition is defined as the proposition in which the relation between the subject term and the predicate term is without any condition, in which the predicate is either affirmed or denied of the subject unconditionally. In nyaya logic the term vyapti is a universal proposition or invariable relation between the middle term (linga/hetu) and the major term (sadya) . According to the category of relation propositions are divided into categorical and the conditional. Although proposition is a logical entity (...) which is an assertion, either affirm or deny the subject. Truth and falsity are the values of proposition. Universal proposition is of two kinds: universal affirmative proposition and universal negative proposition while universality is the quantity of the subject and affirmation or negation is the quality of the proposition. Anumana (inference) is the knowledge of the objects which follows some other knowledge. In nyaya logic Inference is a combined deductive-inductive reasoning consisting of at least three categorical propositions and in it there are at least three propositions consisting of three terms, viz. the paksa or minor term about which we infer something, the sadhya or major term which inferred object, and the linga(probans) or sadana or middle which is invariably related to the major, and is present in the minor. Indian inference resembles to the categorical syllogism of western logic. In nyaya logic inference consisting of three propositions the first proposition is the conclusion of the syllogism , the second is the minor premise and last the major premise which is totally opposite of western logic. Syllogism of nyaya logic contains five propositions, called its Avayavas or members. These are pratijna, hetu, udarana, upanaya, and nigamana. Middle term have five characteristics in order to make five Figures of syllogism as Figure is the form of the syllogism. These five characteristics, or at least four of them , must be found in the middle term of a valid inference. If not, there will be fallacies(error in reasoning). Nyayikas give us three classifications of inference. According to first inference is of two kinds, namely, svartha and parartha. According to another inference is of three kinds, purvavat, sesavat and samanyatodrsta. According to third classification inference is distinguished into kevalanvayi, kevala-vyatireki and anvaya-vyatireki. (shrink)

Our online interaction with information-systems may well provide the largest arena of formal logical reasoning in the world today. Presented here is a critique of the foundations of Logic, in which the metaphysical assumptions of such 'closed world' reasoning are contrasted with those of traditional logic. Closed worlds mostly employ a syntactic alternative to formal language namely, recording data in files. Whilst this may be unfamiliar as logical syntax, it is argued here that propositions are expressed by data stored in (...) files which are essentially non-linguistic and so cannot be expressed by simple formulae F(a), with the inference-rules normally used in Logic. Hence, the syntax of data may be said to define a fundamentally new kind of logical form for simple propositions. In this way, the logic of closed systems is shown to be non-classical, differing from traditional logic in its truth-conditions, inferences and metaphysics. This paper will be concerned mainly with how the reference and certain inferences in such a closed system differ metaphysically from classical logic. (shrink)

Language was central to Hobbes's understanding of human beings and their mental abilities, and criticism of other philosophers' uses of language became a favorite critical tool for him. This paper connects Hobbes's theories about language to his criticisms of others' language, examining Hobbes's theories of propositions and truth, and how they relate to his claims that various sorts of proposition are absurd. It considers whether Hobbes in fact means anything more by 'absurd' than 'false'. And it pays particular attention to (...) Hobbes's categorization of causes of absurdity and of types of incoherent proposition, arguing that Hobbes's approach is only loosely related to later discussions of category mistakes. (shrink)

There is a well-known equivalence between avoiding accuracy dominance and having probabilistically coherent credences (see, e.g., de Finetti 1974, Joyce 2009, Predd et al. 2009, Pettigrew 2016). However, this equivalence has been established only when the set of propositions on which credence functions are defined is finite. In this paper, I establish connections between accuracy dominance and coherence when credence functions are defined on an infinite set of propositions. In particular, I establish the necessary results to extend the classic accuracy (...) argument for probabilism to certain classes of infinite sets of propositions including countably infinite partitions. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

There have been attempts to get some logic out of belief dynamics, i.e. attempts to define the constants of propositional logic in terms of functions from sets of beliefs to sets of beliefs. It is interesting to see whether something similar can be done for ontological categories, i.e. ontological constants. The theory presented here will be a (modest) expansion of belief dynamics: it will not only incorporate beliefs, but also parts of beliefs, so called belief fragments. On the basis (...) of this we will give a belief-dynamical account of the ontological categories of states of affairs, individuals, properties of arbitrary adicities and properties of arbitrary orders. (shrink)

I am presenting a sequent calculus that extends a nonmonotonic consequence relation over an atomic language to a logically complex language. The system is in line with two guiding philosophical ideas: (i) logical inferentialism and (ii) logical expressivism. The extension defined by the sequent rules is conservative. The conditional tracks the consequence relation and negation tracks incoherence. Besides the ordinary propositional connectives, the sequent calculus introduces a new kind of modal operator that marks implications that hold monotonically. Transitivity (...) fails, but for good reasons. Intuitionism and classical logic can easily be recovered from the system. (shrink)

During the past two decades or so, the emergence and ever-accelerating development of digital media have sparked scholarly interest, debates, and complex challenges across many disciplines in the social sciences and the humanities. Within this diverse scholarship, the research on digitality, gender, sexuality, and embodiment has contributed substantially to many academic fields, such as media studies, sociology, religion, philosophy, and education studies. As a part of the special issue “Gender, Sexuality, and Embodiment in Digital Spheres: Connecting Intersectionality and Digitality,” this (...) roundtable consists of a conversation between five researchers from different (inter)disciplinary locations, all addressing matters of methodology, intersectionality, positionality, and theory in relation to the topics of gender, sexuality, and embodiment in digital spheres. Said roundtable begins with a critical self-positioning of the participants’ (inter)disciplinary and embodied locations using examples from their own research. The conversation then progresses to how these researchers have employed contemporary theories, conceptual vocabularies, methods, and analyses of gender, sexuality, and embodiment in digital spheres to then conclude with some ethico-political notes about collaborations between scholars and (digital) activists. (shrink)

Complex human reasoning involves minimal abilities to extract conclusions implied in the available information. These abilities are considered “deductive” because they exemplify certain abstract relations among propositions or probabilities called deductive arguments. However, the electrophysiological dynamics which supports such complex cognitive pro- cesses has not been addressed yet. In this work we consider typically deductive logico- probabilistically valid inferences and aim to verify or refute their electrophysiological functional connectivity differences from invalid inferences with the same content (same relational variables, same (...) stimuli, same relevant and salient features). We recorded the brain electrophysiological activity of 20 participants (age 1⁄4 20.35 ± 3.23) by means of an MEG system during two consecutive reasoning tasks: a search task (invalid condition) without any specific deductive rules to follow, and a logically valid deductive task (valid condition) with explicit deductive rules as instructions. We calculated the functional connectivity (FC) for each condition and conducted a seed-based analysis in a set of cortical regions of interest. Finally, we used a cluster-based permutation test to compare the dif- ferences between logically valid and invalid conditions in terms of FC. As a first novel result we found higher FC for valid condition in beta band between regions of interest and left prefrontal, temporal, parietal, and cingulate structures. FC analysis allows a second novel result which is the definition of a propositional network with operculo-cingular, parietal and medial nodes, specifically including disputed medial deductive “core” areas. The experiment discloses measurable cortical processes which do not depend on content but on truth-functional propositional operators. These experimental novelties may contribute to understand the cortical bases of deductive processes. (shrink)

Aphantasia is a condition characterised by a deficit of mental imagery. Since several psychopathologies are partially maintained by mental imagery, it may be illuminating to consider the condition against the background of psychological disorder. After outlining current findings and hypotheses regarding aphantasia and psychopathology, this paper suggests that some support for defining aphantasia as a lack of voluntary imagery may be found here. The paper then outlines potentially fruitful directions for future research into aphantasia in general and its relation to (...) psychopathology in particular, including rethinking use of the SUIS to measure involuntary imagery, whether aphantasia offers protection against addiction, and whether hyperphantasia is a potential risk factor for maladaptive daydreaming, among others. (shrink)

Relationships between current theories, and relationships between current theories and the sought theory of quantum gravity (QG), play an essential role in motivating the need for QG, aiding the search for QG, and defining what would count as QG. Correspondence is the broad class of inter-theory relationships intended to demonstrate the necessary compatibility of two theories whose domains of validity overlap, in the overlap regions. The variety of roles that correspondence plays in the search for QG are illustrated, using (...) examples from specific QG approaches. Reduction is argued to be a special case of correspondence, and to form part of the definition of QG. Finally, the appropriate account of emergence in the context of QG is presented, and compared to conceptions of emergence in the broader philosophy literature. It is argued that, while emergence is likely to hold between QG and general relativity, emergence is not part of the definition of QG, and nor can it serve usefully in the development and justification of the new theory. (shrink)

We present two defeasible logics of norm-propositions (statements about norms) that (i) consistently allow for the possibility of normative gaps and normative conflicts, and (ii) map each premise set to a sufficiently rich consequence set. In order to meet (i), we define the logic LNP, a conflict- and gap-tolerant logic of norm-propositions capable of formalizing both normative conflicts and normative gaps within the object language. Next, we strengthen LNP within the adaptive logic framework for non-monotonic reasoning in order to meet (...) (ii). This results in the adaptive logics LNPr and LNPm, which interpret a given set of premises in such a way that normative conflicts and normative gaps are avoided ‘whenever possible’. LNPr and LNPm are equipped with a preferential semantics and a dynamic proof theory. (shrink)

Neutrosophy has been introduced some years ago by Florentin Smarandache as a new branch of philosophy dealing with “the origin, nature and scope of neutralities, as well as their interactions with different ideational spectra”. A variety of new theories have been developed on the basic principles of neutrosophy: among them is neutrosophic logics, a family of many-valued systems that can be regarded as a generalization of fuzzy logics. In this paper we present a critical introduction to neutrosophic logics, focusing on (...) the problem of defining suitable neutrosophic propositional connectives and discussing the relationship between neutrosophic logics and other well-known frameworks for reasoning with uncertainty and vagueness, such as (intuitionistic and interval-valued) fuzzy systems and Belnap’s logic. (shrink)

A significant part of the "struggles" that took place within Czechoslovak interwar thought can be considered to be the criticism that Emanuel Rádl, a representative of the realist approach, led against the supporters of individualism, or the younger philosophical generation, which was gathered around the journal Ruch filosofický. The core of Rádl's critical position is philosophical realism in terms of thought and methodology. Radl's realist position was gradually shaped and developed in the period before and after the First World War, (...) with the turning point being his experience and concern about the effects of Russian thought, which was based on mysticism, intuitivism and idealism. Alongside this was also a defining change in attitude towards Kant's thought, which consisted in emphasising the positive aspect of his rationalism. From this position of post-war realism, Radl proceeded to criticize the alienation, apoliticality and amorality of the philosophy of individualism and the interest of its representatives in the thinking approaches of irrationalism: mysticism, intuitivism and spiritualism. (shrink)

In his influential article ‘Essence and Modality’, Fine proposes a definition of necessity in terms of the primitive essentialist notion ‘true in virtue of the nature of’. Fine’s proposal is suggestive, but it admits of different interpretations, leaving it unsettled what the precise formulation of an Essentialist definition of necessity should be. In this paper, four different versions of the definition are discussed: a singular, a plural reading, and an existential variant of Fine’s original suggestion and an alternative version proposed (...) by Correia which is not based on Fine’s primitive essentialist notion. The first main point of the paper is that the singular reading is untenable. The second that given plausible background assumptions, the remaining three definitions are extensionally equivalent. The third is that, this equivalence notwithstanding, Essentialists should adopt Correia’s version of the definition, since both the existential variant, which has de facto been adopted as the standard version of the definition in the literature, and the plural reading suffer from problems connected to Fine’s primitive essentialist notion. (shrink)

Propositional contingentism is the view that what propositions there are is a contingent matter—certain propositions ontologically depend on objects which themselves only contingently exist. Possible worlds are, loosely, complete ways the world could have been. That is to say, the ways in which everything in its totality could have been. Propositional contingentists make use of possible worlds frequently. However, a neglected, but important, question concerns whether there are any notions of worlds which are both theoretically adequate and consistent (...) with propositional contingentism. Some notion of a possible world is adequate if the systematic connection between, at least, possibility and truth at some possible world holds. Here, I argue that no adequate notion of a possible world is available to at least those who subscribe to one natural formulation of propositional contingentism. I also show that this result contrasts with a simple and adequate definition of a possible world available to the necessitist—those who hold that necessarily everything necessarily exists. (shrink)

The Theistic Argument from Intentionality (TAI) is a venerable argument for the existence of God from the existence of eternal truths. The argument relies, inter alia, on the premises that (i) truth requires representation, and that (ii) non-derivative representation is a function of, and only of, minds. If propositions are the fundamental bearers of truth and falsity, then these premises entail that propositions (or at least their representational properties) depend on minds. Although it is widely thought that psychologism—the view (...) that the fundamental truth-bearers are mind-dependent—was refuted by Frege, a psychologistic view of propositions has been undergoing a revival. However, this new psychologism suffers from a problem of scarcity—finite minds cannot generate enough thoughts to play the role of fundamental truth-bearers. This objection paves the way for a revised version of the TAI: only an infinite mind can furnish enough thoughts to play the role of propositions. (shrink)

Book synopsis: Our mental lives are entwined with the world. There are worldly things that we have beliefs about and things in the world we desire to have happen. We find some things fearsome and others likable. The puzzle of intentionality — how it is that our minds make contact with the world — is one of the oldest and most vexed issues facing philosophers. Many contemporary philosophers and cognitive scientists have been attracted to the idea that our minds represent (...) the world. This book explores an important assumption about representation, namely, that when we represent things in the world, we represent them as having properties, and in this way our representations have "propositional" structure. The contributors examine what the commitment to propositionalism amounts to; illuminate why one might find the thesis attractive ; and consider ways in which one might depart from propositionalism. The hope is that this will lead towards a more complete understanding of how the mind and world are connected. (shrink)

Introduction: The objective of this investigation is to analyse the informational circuits of the brain connections with the body from neurologic and neuroscience point of view, on the basis of the concepts of information promoted by the Informational Model of Consciousness. Analysis: Distinguishing between the virtual and matter-related information promoted by the Informational Model of Consciousness, the main specific features of consciousness are analyzed from the informational perspective, showing that the informational architecture of consciousness consists in seven groups of specific (...) activities, defined as cognitive centres, each of them with specific distinct tasks, but correlated each other: centre of acquisition and storing of information (memory), centre of decision and command (decision), centre of the emotional states (emotions), centre of the body maintenance (power and health), centre of the genetic elaboration/transmission (reproduction) and the info-genetic generator, inherited from the parents (predispositions, talents and skills). A special centre, dedicated to the connectivity with some extra-power properties of the mind is also introduced, assuring an intimate supra-sensitive detection of the world to explain the associated phenomena of the near-death experiences. Result: The activity of all these centres should be supported neurologically by the brain neuro-connectivity to the body and to external and internal info-signals. On the basis of the informational analysis, the neuro-connections of the brain regions associated to the main characteristics of the cognitive centres are highlighted, showing the anatomic and neuro-functional relation between the distinct components of the brain and the specific operating body regions. These connections describe in terms of information the brain-body neuro-activities as informational specific circuits, composed by the info-operational subsystems managed by the brain, and sensors, transducer and execution elements. Conclusion: The components and connections mind-body stipulated by the Informational Model of Consciousness are supported by the neurologic/neuroscience evidence. (shrink)

Those arguing for the existence of non-propositional content appeal to emotions for support, although there has been little engagement in those debates with developments in contemporary theory of emotion, specifically in connection with the kind of mental states that emotional experiences are. Relatedly, within emotion theory, one finds claims that emotional experiences per se have non-propositional content without detailed argument. This paper argues that the content of emotional experience is propositional in a weak sense, associated with aspectual (...) experience and correctness conditions. Furthermore, it provides an interpretation of purely-objectual emotional experiences which satisfies this weak view of propositional content. (shrink)

I argue for the thesis (UL) that there are certain logical abilities that any rational creature must have. Opposition to UL comes from naturalized epistemologists who hold that it is a purely empirical question which logical abilities a rational creature has. I provide arguments that any creatures meeting certain conditions—plausible necessary conditions on rationality—must have certain specific logical concepts and be able to use them in certain specific ways. For example, I argue that any creature able to grasp theories must (...) have a concept of conjunction subject to the usual introduction and elimination rules. I also deal with disjunction, conditionality and negation. Finally, I put UL to work in showing how it could be used to define a notion of logical obviousness that would be well suited to certain contexts—e.g. radical translation and epistemic logic—in which a concept of obviousness is often invoked. (shrink)

Je défends ici la nécessité, et ébauche une première version, d’une théorie iconique des propositions. Selon celle-ci, les propositions sont comme les objets de représentation, ou similaires à eux. Les propositions, suivant cette approche, sont des propriétés que l’esprit instancie lorsqu’il modélise le monde. Je connecte cette théorie aux récents développements de la littérature académique sur les propositions, ainsi qu’à une branche de recherches en sciences cognitives, qui explique certains types de représentations mentales en termes d’iconicité. I motivate the need (...) for, and then sketch, an iconic theory of propositions according to which propositions are like or similar to their objects of representation. Propositions on this theory are properties that the mind instantiates when it models the world. I connect the theory to recent developments in the propositions literature as well as to a strain of cognitive science that explains some kinds of mental representation in terms of iconicity. (shrink)

Entailment in propositional Gödel logics can be defined in a natural way. While all infinite sets of truth values yield the same sets of tautologies, the entailment relations differ. It is shown that there is a rich structure of infinite-valued Gödel logics, only one of which is compact. It is also shown that the compact infinite-valued Gödel logic is the only one which interpolates, and the only one with an r.e. entailment relation.

In this paper I apply the concept of _inter-Model Inconsistency in Set Theory_ (MIST), introduced by Carolin Antos (this volume), to select positions in the current universe-multiverse debate in philosophy of set theory: I reinterpret H. Woodin’s _Ultimate L_, J. D. Hamkins’ multiverse, S.-D. Friedman’s hyperuniverse and the algebraic multiverse as normative strategies to deal with the situation of de facto inconsistency toleration in set theory as described by MIST. In particular, my aim is to situate these positions on the (...) spectrum from inconsistency avoidance to inconsistency toleration. By doing so, I connect a debate in philosophy of set theory with a debate in philosophy of science about the role of inconsistencies in the natural sciences. While there are important differences, like the lack of threatening explosive inferences, I show how specific philosophical positions in the philosophy of set theory can be interpreted as reactions to a state of inconsistency similar to analogous reactions studied in the philosophy of science literature. My hope is that this transfer operation from philosophy of science to mathematics sheds a new light on the current discussion in philosophy of set theory; and that it can help to bring philosophy of mathematics and philosophy of science closer together. (shrink)

First-person and third-person perspectives are different items of human consciousness. Feeling the taste of a fruit or being consciously part of a group eating fruits call for different perspectives of consciousness. The latter is about objective reality (third-person data). The former is about subjective experience (first-person data) and cannot be described entirely by objective reality. We propose to look at how these two perspectives could be rooted in an evolutionary origin of human consciousness, and somehow be connected. Our starting point (...) is a scenario describing how evolution could have transformed a non self-conscious auto-representation into a conscious self-representation (Menant 2006). The scenario is based on the performance of inter-subjectivity existing among non human primates (Gardenfors 2006). A key item of the scenario is the identification of the auto-representation of a subject with the representations that the subject has of her conspecifics, the latter feeding the former with the meaning: “existing in the environment”. So during evolution, pre-human primates were brought to perceive their auto-representation as existing in the environment. Such process could have generated the initial elements of a conscious self-representation. We take this scenario as providing a possible rooting of human consciousness in evolution. We develop here a part of this scenario by expliciting the inward and outward components of the non self-conscious auto-representation. Inward components are about proprioception and interoception (thirst, pain, …). Outward components cover the sensory information relative to the perception of the body (seen feet, … ) and of its effects on the environment. We consider that the initial elements of a conscious self-representation have been applied to both inward and outward components of the auto-representation. We propose that the application to inward components made possible some first-person information, and that the application to outward components brought up third-person information. Relations between the two perspectives are highlighted. Such approach can root first-person and third-person perspectives in the same slot of human evolution. We conclude by a summary of the above and introduce a possible application of this approach to the concepts of bodily self and of pre-reflexive self-consciousness (Legrand, 2006). (shrink)

THE aim of this paper is to refute Hume's contention that there cannot be logically necessary connections between successive events. I intend to establish, in other words, not 'Logically necessary connections do exist between successive events', but instead the rather more modest proposition: 'It may be, it is possible, as far as we can ever know for certain, that logically necessary connections do exist between successive events.' Towards the end of the paper I shall say something about the implications of (...) rejecting Hume's contention. (shrink)