I propose that an irreducible property of physical space — consistency — is the origin of logic. I propose that an inconsistent space is inconceivable and that this inconceivability can be recognized as the force behind logical propositions. The implications of this argument are briefly explored and then applied to address two paradoxes: Zeno of Elea’s paradox regarding the race between Achilles and the Tortoise, and Lewis Carroll’s paradox regarding the Tortoise’s conversation with Achilles after the race. I conclude (...) that Achilles would have won on both accounts, in the race and the argument, by invoking the consistency of space as the foundation of both movement across space and logical argument. (shrink)

I argue for a kind of logical pluralism on the basis of a difficulty with defining the meaning of negation in the framework of Dummett's and Prawitz' proof-theoretic semantics.

In this article I attempt to overcome extant obstacles in deriving fundamental, objective and logically deduced definitions of personhood and their rights, by introducing an a priori paradigm of beings and morality. I do so by drawing a distinction between entities that are sought as ends and entities that are sought as means to said ends. The former entities, I offer, are the essence of personhood and are considered precious by observers possessing a logical system of valuation. The latter entities (...) – those sought only as a means to an end – I term ‘materials.’ Materials are sought for their conditional value: Important for achieving sought ends, they are not considered precious in and of themselves. A normative system for how this dichotomy of entities should interact is consequently derived and introduced. This paradigm has applicability for modern humanism and beyond. Assuming societal technological progression whereby human bodies and their surrounding infrastructures continue to evolve and integrate, the distinction between beings and their supporting materials, and a moral code for their interactions, will become ever more relevant. (shrink)

What is the rational response when confronted with a set of propositions each of which we have some reason to accept, and yet which taken together form an inconsistent class? This was, in a nutshell, the problem addressed by the Jaina logicians of classical India, and the solution they gave is, I think, of great interest, both for what it tells us about the relationship between rationality and consistency, and for what we can learn about the logical basis of (...) philosophical pluralism. The Jainas claim that we can continue to reason in spite of the presence of inconsistencies, and indeed construct a many-valued logical system tailored to the purpose. My aim in this paper is to offer a new interpretation of that system and to try to draw out some of its philosophical implications. (shrink)

That every expression of language that is {true on the basis of its meaning expressed using language} must have a connection by truth preserving operations to its {meaning expressed using language} is a tautology. The accurate model of the actual world is expressed using formal language and formalized natural language.

1. The primary evidence and motivation for externalism in the philosophy of mind is provided by the semantic facts that support direct reference theories of names, indexi- cal pronouns, and natural kind terms. But many externalists have forgotten their sem- antic roots, or so I shall contend here. I have become convinced of this by a common reaction among externalists to the main argument of my 1991 paper AAnti-Individual- ism and Privileged Access.@ In that argument, I concluded that externalism is (...) incompat- ible with the principle that we can have privileged, non-empirical knowledge of the contents of our own thoughts. The reaction in question amounts to a dismissive denial of one of my argument=s main premises. This premise, which I defended at length in the paper, is that an externalist thesis regarding a cognitive property should hold that possession of the property by a person _logically_, or _conceptually_, implies the existence of objects external to that person. (shrink)

Philosophers of logic are particularly interested in understanding the aims, epistemology, and methodology of logic. This raises the question of how the philosophy of logic should go about these enquires. According to the practice-based approach, the most reliable method we have to investigate the methodology and epistemology of a research field is by considering in detail the activities of its practitioners. This holds just as true for logic as it does for the recognised empirical and abstract (...) sciences. If we wish to systematically understand the aims and epistemology of logic, we are best placed achieving this by looking at what logicians do, rather than reflecting upon the nature of logic itself. In this entry, we outline the motivations for a practice-based approach towards the philosophy of logic and highlight its advantages over more “top-down” approaches, which attempt to infer conclusions about the nature of logic and its methodology on the basis of traditional assumptions about knowledge, metaphysics, or logic itself. We end by addressing several prominent concerns raised against the practice-based approach. (shrink)

The purpose of this paper is to examine the status of logic from a metaphysical point of view – what is logic grounded in and what is its relationship with metaphysics. There are three general lines that we can take. 1) Logic and metaphysics are not continuous, neither discipline has no bearing on the other one. This seems to be a rather popular approach, at least implicitly, as philosophers often skip the question altogether and go about their (...) business, be it logic or metaphysics. However, it is not a particularly plausible view and it is very hard to maintain consistently, as we will see. 2) Logic is prior to metaphysics and has metaphysical implications. The extreme example of this kind of approach is the Dummettian one, according to which metaphysical questions are reducible to the question of which logic to adopt. 3) Metaphysics is prior to logic, and your logic should be compatible with your metaphysics. This approach suggests an answer to the question of what logic is grounded in, namely, metaphysics. Here I will defend the third option. (shrink)

In recent decades, perspectivism has developed into an independent epistemological research program. Perspectivism is based on the idea of perspective as an attempt to elucidate an object from a multitude of factors. Perspectivists are concerned with reconstructing and explaining these factors, identifying the conditioning of epistemic acts, using concepts such as “position”/“point of view,” “gaze,” “angle of view,” “horizon,” “focus,” “picture,” “relativity,” and “context”. Although these concepts are part of the perspectivist's toolkit, their content and interrelationship have not yet been (...) critically and comprehensively analyzed. The purpose of this article is to clarify the conceptual basis of perspectivism as an epistemological program, which began in the works of F. Kaulbach (1990) and W. Stegmaier (2008). For this purpose, a systematic conceptual analysis will be carried out, a detailed presentation of the logical content of perspectivist notions and their reduction into a single coherent model, which can become the conceptual basis of perspectivism. Perspectivist concepts constitute a “population” or matrix of the concept “epistemic situation”. Being consistently expounded and correlated in a conceptual model, they can be used as a tool for a detailed analysis of epistemic situations and their results (theories, positions, views, etc.). The final part of the article will formulate a number of significant implications of the new programmatic understanding of perspectivism: the status of perspectivist concepts, the distinction of perspectivism from similar epistemological programs, and the challenges for its further development. (shrink)

The problem of building an effective system of interconnected and purposeful innovative changes in business management is solved in the article. The main purpose of the research is to improve the model of business excellence on the basis of interconnected and purposeful innovative changes in business management. Critical analysis of literature sources and approaches to solving the problem of building a perfect model of business emphasizes the diversity of applied methodological approaches and methods of management innovation. However, in terms (...) of business technologicalization, necessity to accelerate information exchange, development of innovation and, at the same time, development of new threats, the need on the basis of strategizing, intellectualization of management, partnership, compliance with the challenges of the external environment, communication efficiency, leadership transformation, balancing intermediate and final results, there is a need to transform business and management on the basis of strategizing, intellectualization of management, partnership interaction, compliance with the challenges of the external environment, communication efficiency, transformation of leadership, balancing intermediate and final results. Relevance of solving of this scientific issue is that the timely use of innovative tools and management methods in the implementation of strategic intentions and goals forms a high adaptability of companies to transformation processes occurring in their external and internal environment under the influence of digital technologies in business processes. The scientific-theoretical and methodological basis of the study were the following methods: abstract-logical and comparative analysis – to generalize theoretical approaches and confirm the practical importance of solving the problem of building a model of providing business excellence on the basis of interconnected and focused innovative changes in business management; system analysis and modelling – method of building a model of business excellence based on managerial innovation; system-analytical – method of balancing the interaction of the components providing business excellence; generalization – when drawing conclusions based on research results. The object of research is a system of interconnected and purposeful innovative changes in business management. The results of solving the problem of building a model of business excellence while balancing the interaction of the components of such provision and implementation of the process of digital transformation of the business model. The results of the research have practical value for business entities that seek to increase the effectiveness of interconnected and purposeful innovative changes in business management. (shrink)

This paper takes the Status Loss Theory (introduced and explained in the first "How Humor Works" paper), and applies it to 40 real-world examples, including memes, radio and TV shows, movie and comic book tropes, song parodies, humor sayings, stand-up comedy cliches, known psychological quirks of humor, and more, to demonstrate the theory's potential to function as the first clear, complete, logical, and simple basis for defining, studying, and understanding humor in all of its forms.

The paper explores the logical structure of Rawlsian justice principles in order to see whether their justificatory or explanatory conditions are unproblematic. To facilitate this purpose, drawing on readers of Rawls, the author shows that the Aristotelian principle is used to explain the principles of rational choice, particularly the principle of inclusiveness. Then, on the basis of the Aristotelian principle, Rawls justifies his conclusion, via the principles of rational choice and the theory of primary goods. After figuring out the (...) logical structure of justice as fairness, the author deals with the central objective of the paper, where he exposes some problems suffered by the motivational basis of the principles of justice. The foundation on which Rawls grounds his principles of justice is problematic, and consequently, they remain as matters of contention as of today. (shrink)

Tarski "proved" that there cannot possibly be any correct formalization of the notion of truth entirely on the basis of an insufficiently expressive formal system that was incapable of recognizing and rejecting semantically incorrect expressions of language. -/- The only thing required to eliminate incompleteness, undecidability and inconsistency from formal systems is transforming the formal proofs of symbolic logic to use the sound deductive inference model.

This articles explores the mereological foundation of truthmaker semantics. Building upon Kit Fine’s abstract theory of part in [16], we engage in an exploration of the mereological assumptions that determine the construction of truthmaker semantics. Our approach yields semantics for a diverse range of logics, including substructural logics such as the associative Lambek calculus, as well as the logics of analytic containment. Furthermore, we elucidate the philosophical implications that arise from this pioneering approach.

Western Buddhists often believe and proclaim that metaphysical speculation is irrelevant to Buddhist ethics or practice. This view is problematic even with respect to early Buddhism, and cannot be sustained regarding later Indian Buddhists. In Śāntideva’s famous Bodhicaryāvatāra, multiple claims about the nature of reality are premises for conclusions about how human beings should act; that is, metaphysics logically entails ethics for Śāntideva, as it does for many Western philosophers. This article explores four key arguments that Śāntideva makes from metaphysics (...) to ethics: actions are determined by their causes, and therefore we should not get angry; the body is reducible to its component parts, and therefore we should neither protect it nor lust after other bodies; the self is an illusion, and therefore we should be altruistic; all phenomena are empty, and therefore we should not be attached to them. The exploration of these arguments together shows us why metaphysical claims can matter a great deal for Buddhist ethics, practice and liberation. (shrink)

People in many parts of the world link morality with God and see good ethical values as an important benefit of theistic belief. A recent survey showed that Americans, for example, distrust atheists more than any other group listed in the survey, this distrust stemming mainly from the conviction that only believers in God can be counted on to respect morality. I argue against this widespread tendency to see theism as the friend of morality. I argue that our most serious (...) moral obligations -- the foundations of what can be called “ordinary morality ” -- remain in place only if God doesn’t exist. In recent years, some atheists have reacted to society’s distrust of them by claiming that atheism accommodates ordinary morality just as well as theism does. The truth is even stronger: only atheism accommodates ordinary morality. Logically speaking, morality is not common ground between theists and atheists. Morality depends on atheism. (shrink)

In the final book of Logical Investigations from 1901, Husserl develops a theory of knowledge based on the intentional structure of consciousness. While there is some textual evidence that Husserl considered this to entail a critique of Kantian philosophy, he did not elaborate substantially on this. This paper reconstructs the covert critique of Kant’s theory of knowledge which LI contains. With respect to Kant, I discuss three core aspects of his theory of knowledge which, as Husserl’s reflections on Kant indicate, (...) Husserl was familiar with. These are the cooperation of two faculties for the justification of beliefs; the concept of a priori structures of knowledge Kant operated with; and the delivered transcendental proof of these structures. Regarding Logical Investigations, I first briefly outline the intentional structure of consciousness as presented in the fifth book and then turn to the theory of knowledge in the sixth book. I then clarify, partially on the basis of manuscripts and lecture notes, the covert critique of the three core aspects of Kant’s theory which the sixth book contains. (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)

This article challenges the prevailing interpretations of Hegel's account of the concept "contradiction" in the Science of Logic by arguing that it is concerned with the principle of Hegel's method rather than with the classical law of non-contradiction. I first consider Hegel's Doctrine of Essence in view of Kant's discussion of the concepts of reflection in the first Critique. On this basis, I examine Hegel's account of the logical principles based on the concepts "identity," "opposition," and "contradiction." Finally, (...) I point out how the principle Hegel derives from the concept of contradiction actually informs his own method. (shrink)

The market capitalization of an enterprise is one of the key indicators characterizing the degree of influence of financial and non-financial instruments on its volumes and dynamics. Establishing the relationship between such instruments and metrics of equity and cash flows best delineates the plane of their direct impact on stimulating market capitalization. This is aimed at ensuring the implementation of effective management measures in the context of optimizing the use of equity and cash flows. The aim of the study was (...) to establish how the influence of indicators of financial and non-financial instruments on equity and cash flows forms a relevant basis for making management decisions to increase enterprise market capitalization. During the research, the following methods were used: summarization and grouping, multiple linear regression, direct ranking method, establishment of cause-and-effect relationships, logical generalization, and analytical method. As a result of the study, the toolkit for increasing the market capitalization of the enterprise from the standpoint of its grouping in terms of financial and non-financial plane was clarified. It was found that among the 36 analyzed indicators of the impact on equity and cash flows of the studied machine-building enterprises in Ukraine during the period 2010-2021, the most significant are bank lending, investment and technical metals, research and development costs, foreign scientific and technical services received, production investments, work-in-progress, and accounts payable for products, goods, and services. The results were transformed into a model of ranked instruments for stimulating the market capitalization of machine-building enterprises, which demonstrates the degree and directions of the influence of indicators of financial and non-financial instruments on the dynamics of equity and cash flows, which ensures the formation of an information database for making decisions on the further use of such instruments. The structuring of the toolkit serves as the basis for forming a system of management decisions containing practical recommendations within each group of instruments aimed at optimizing market capitalization through increased equity and cash flows of the enterprise. The obtained results will be beneficial to financial analysts of enterprises in preparing databases for making financial and non-financial decisions. (shrink)

Axel Honneth reconstructs Hegel’s social and political philosophy on the basis of the concept of recognition. For Honneth, recognition is a constitutive relation between individuals that is in principle symmetrical. By conceiving recognition through symmetry, Honneth effectively bans the inclusion of power within recognitive relation. He thus regards the relations of power as cases of non-recognition or misrecognition. In this paper, I develop an alternative theory of the constitutive relation between individuals for Hegel, one that is based on the (...) asymmetrical relation of power. To this aim, I focus on the chapter of “determinations of reflection” in the Science of Logic. Through a close analysis of Hegel’s Logic, I argue that the most fundamental form of relation between individuals is the relation of opposition, that individuals are solely constituted in and through the relation of opposition, and that the relation of opposition is essentially asymmetrical. Together, these claims establish... (shrink)

With Hegel’s metaphysics attracting renewed attention, it is time to address a long-standing criticism: Scholars from Marx to Popper and Habermas have worried that Hegel’s metaphysics has anti-individualist and authoritarian implications, which are particularly pronounced in his Philosophy of History, since Hegel identifies historical progress with reason imposing itself on individuals. Rather than proposing an alternative non-metaphysical conception of reason, as Pippin or Brandom have done, this article argues that critics are broadly right in their metaphysical reading of Hegel’s central (...) concepts. However, they are mistaken about what Hegel’s approach entails, when one examines the specific types of states discussed by the philosopher in his Philosophy of History. Even on a traditional metaphysical reading, Hegel is not only non-authoritarian; he also makes a powerful argument concerning freedom, whereupon the freest society involves collective oversight and the shaping of social structures so as to ensure that they benefit everybody. (shrink)

We present a framework for epistemic logic, modeling the logical aspects of System 1 and System 2 cognitive processes, as per dual process theories of reasoning. The framework combines non-normal worlds semantics with the techniques of Dynamic Epistemic Logic. It models non-logically-omniscient, but moderately rational agents: their System 1 makes fast sense of incoming information by integrating it on the basis of their background knowledge and beliefs. Their System 2 allows them to slowly, step-wise unpack some of (...) the logical consequences of such knowledge and beliefs, by paying a cognitive cost. The framework is applied to three instances of limited rationality, widely discussed in cognitive psychology: Stereotypical Thinking, the Framing Effect, and the Anchoring Effect. (shrink)

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic pathology suffered by at (...) least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

The theological teachings of John Philoponus are important for several reasons: a) to see the real achievements and influences of Aristotelian logic in regard to theology, b) to see the real consequences of not accepting hypostasis as relational and ontologically based and c) to assess the real consequences of such teachings for Triadology and Christology.

In his Science of Logic Hegel purports to give an account of a dialectical logic that generates the totality of being’s fundamental structures. This totality does not exhaust the richness of being, but it exhausts the basis of this richness. Any phenomenon, whether cognitive, scientific, social or political, is based upon some or all of those structures. The paper presents and examines the logic of a structure which pervades each and every phenomenon: the border(die Grenze). It (...) is analyzed as an advanced manifestation of “determinateness,” an even more primitive structure of being, which makes explicit its intrinsic connection with not-being. What is distinctive about Hegel’s analysis is that it establishes a logical character concerning the concept of “border” that precedes empirical observation and a connection with space. The aim of the paper is to reconstruct Hegel’s dialectic of the border in such a way as to make this logical character apparent and convincing to contemporary audience, who begin from the assumption that all discourse about border has an empirical basis and presupposes reference to space. It will be argued that, contrary to received opinion, the very phenomenon of “border” has certain universal and necessary features which explain its very possibility, are completely a priori and are established prior to any reference to space. A discussion about “borders” that excludes any a priori investigation into this phenomenon from its domain simply fails to illuminate its most important dimension: its logical core or, if you will, its universal and necessary attributes. (shrink)

Abu Nasr Muhammad Al-Farabi (870–950 AD), the second outstanding representative of the Muslim peripatetic after al Kindi (801–873 AD), was born in Turkestan about 870 AD. Al-Farabi’s studies commenced in Farab, then he travelled to Baghdad, where he studied logic with a Christian scholar named Yuhanna b. Hailan. Al-Farabi wrote numerous works dealing with almost every branch of science in the medieval world. In addition to a large number of books on logic and other sciences, he came to (...) be known as the “Second Teacher” (al-Mou’allim al-Thani), Aristotle being the first. One of Al-Farabi’s most important contributions was clarifying the func- tions of logic as follows: 1. He defined logic and compared it with grammar, and discussed the clas- sification and fundamental principles of science in a unique and useful manner. 2. He made the study of logic easier by dividing it into two categories: Takhayyul (idea) and Thubut (proof). 3. He believed that the objective of logic is to correct faults we may find in ourselves and in others, and faults that others find in us. 4. He said that if we do not comprehend logic, we must either have faith in all people, or mistrust all people, or differentiate between them. Such actions would be undertaken without a basis of evidence or experimen- tation. In this paper, I will analyse the functions of logic in Al-Farabi’s works, Enumeration of the Sciences, Book on the Syllogism, Book on Dialectic, Book on Demonstration and Ring Stones of Wisdom, in order to present his contributions in the field of logic. (shrink)

We propose an axiomatic approach to constructing the dynamics of systems, in which one the main elements 9e8 is the consciousness of a subject. The main axiom is the statements that the state of consciousness is completely determined by the results of measurements performed on it. In case of economic systems we propose to consider an offer of transaction as a fundamental measurement. Transactions with delayed choice, discussed in this paper, represent a logical generalization of incomplete transactions and allow for (...) a more rigorous approach to studying the properties of the algebra of economic measurements. Considering the behavior of an object as a sequence of actions and choices allows extending the obtained results to random systems, which include the subject's consciousness as one of its elements. The specifics, on which the description of fundamental measurements is based, allows easily transferring the formalism of Schwinger's theory of selective measurements (and the consequent quantum-mechanical formalism) to the economic and social systems. (shrink)

Husserl’s theory of fulfilment conceives of empty acts, such as symbolic thought, and fulfilling acts, such as sensory perceptions, in a strict parallel. This parallelism is the basis for Husserl’s semantics, epistemology, and conception of truth. It also entails that any true proposition can be known in principle, which Church and Fitch have shown to explode into the claim that every proposition is _actually_ known. I assess this logical challenge and discuss a recent response by James Kinkaid. While Kinkaid’s (...) proposal saves one direction of the parallel for semantics, it gives up the parallelism for truth. I spell out a different response which meshes naturally with Husserl’s account of meaning. If the parallelism is restricted to a class of basic propositions, the truth of non-basic propositions can be defined inductively, without leading to the paradox. I then discuss objections that have been raised against a similar proposal by Dummett. The result is that exegetically plausible and popular interpretations of Husserl’s correlationism are indeed challenged by Church and Fitch. But when taking into account the ‘logical adumbration’ of propositional blindspots, truth and possible fulfilment can be connected without paradox. (shrink)

It is commonly thought that such topics as Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason are disparate scientific physical or mathematical issues having little or nothing in common. I suggest that they are largely standard philosophical problems (i.e., language games) which were resolved by Wittgenstein over 80 years ago. -/- Wittgenstein also demonstrated the fatal error in regarding mathematics or language or our behavior in general as a unitary coherent logical ‘system,’ rather than as (...) a motley of pieces assembled by the random processes of natural selection. “Gödel shows us an unclarity in the concept of ‘mathematics’, which is indicated by the fact that mathematics is taken to be a system” and we can say (contra nearly everyone) that is all that Gödel and Chaitin show. Wittgenstein commented many times that ‘truth’ in math means axioms or the theorems derived from axioms, and ‘false’ means that one made a mistake in using the definitions, and this is utterly different from empirical matters where one applies a test. Wittgenstein often noted that to be acceptable as mathematics in the usual sense, it must be useable in other proofs and it must have real world applications, but neither is the case with Godel’s Incompleteness. Since it cannot be proved in a consistent system (here Peano Arithmetic but a much wider arena for Chaitin), it cannot be used in proofs and, unlike all the ‘rest’ of PA it cannot be used in the real world either. As Rodych notes “…Wittgenstein holds that a formal calculus is only a mathematical calculus (i.e., a mathematical language-game) if it has an extra- systemic application in a system of contingent propositions (e.g., in ordinary counting and measuring or in physics) …” Another way to say this is that one needs a warrant to apply our normal use of words like ‘proof’, ‘proposition’, ‘true’, ‘incomplete’, ‘number’, and ‘mathematics’ to a result in the tangle of games created with ‘numbers’ and ‘plus’ and ‘minus’ signs etc., and with -/- ‘Incompleteness’ this warrant is lacking. Rodych sums it up admirably. “On Wittgenstein’s account, there is no such thing as an incomplete mathematical calculus because ‘in mathematics, everything is algorithm [and syntax] and nothing is meaning [semantics]…” -/- I make some brief remarks which note the similarities of these ‘mathematical’ issues to economics, physics, game theory, and decision theory. -/- Those wishing further comments on philosophy and science from a Wittgensteinian two systems of thought viewpoint may consult my other writings -- Talking Monkeys--Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet--Articles and Reviews 2006-2019 3rd ed (2019), The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle 2nd ed (2019), Suicide by Democracy 4th ed (2019), The Logical Structure of Human Behavior (2019), The Logical Structure of Consciousness (2019, Understanding the Connections between Science, Philosophy, Psychology, Religion, Politics, and Economics and Suicidal Utopian Delusions in the 21st Century 5th ed (2019), Remarks on Impossibility, Incompleteness, Paraconsistency, Undecidability, Randomness, Computability, Paradox, Uncertainty and the Limits of Reason in Chaitin, Wittgenstein, Hofstadter, Wolpert, Doria, da Costa, Godel, Searle, Rodych, Berto, Floyd, Moyal-Sharrock and Yanofsky (2019), and The Logical Structure of Philosophy, Psychology, Sociology, Anthropology, Religion, Politics, Economics, Literature and History (2019). (shrink)

This article analyzes the historical development of the philosophical logic syntax from the standpoint of the unity of historical and logical methods. According to this perspective, there are three types of logical syntax: the elementary subject-predicate, the modified definitivespecificative, and the standard propositional-functional. These types are generalized in the grammatical and mathematical styles of logical syntax. The main attention is paid to two scientific revolutions in elementary subject-predicate syntax, which led to the emergence of modified definitive-specific and standard propositional-functional (...) syntaxes and created the syntactic conditions for the development of contemporary philosophical logic. The specifics of contemporary philosophical logic and the methodological possibilities of its application to philosophical discourse are studied. The article aims to reevaluate the undeservedly forgotten systems of philosophical logic of the continental tradition, created by such prominent representatives as Aristotle, G.W.F. Hegel, and E. Husserl, and to actualize these logics in the context of contemporary philosophical culture. The potential of the above-mentioned logics is not fully involved in the philosophical discourse of modernity, primarily because they primarily used an imperfect elementary subject-predicate syntax and modified definitive-specificative syntax as its slightly improved version. Both syntaxes have one thing in common: the grammatical style of sentence structure. Nevertheless, they also have one common flaw – a high dependence on grammar formalism. As a result, the interaction between these syntaxes and Frege’s standard propositional-functional syntax is impossible, because the latter is based on mathematical formalism, which operates on the philosophical logic of the analytic tradition. The article substantiates the way to solve this problem by constructing a modified subject-predicate syntax of contemporary philosophical logic. This syntax provides information interaction between Aristotle’s elementary subject-predicate syntax, and Frege’s standard propositional-functional syntax based on Hegel’s modified definitive-specificative syntax. The proposed solution to this problem can create new opportunities for complementarity and mutual enrichment between the philosophical logic of continental and analytical traditions. The theoretical basis for the construction and study of contemporary philosophical logic is a functional analysis of contemporary symbolic logic, which improves the grammatical analysis of traditional formal logic. Functional-grammatical analysis is a way to rehabilitate the philosophical logic of the continental tradition. The novelty of this paper lies in the substantiation of the modified subjectpredicate syntax of contemporary philosophical logic. It makes it possible to establish a dialogue between continental and analytical traditions, which is designed to promote the further development of philosophy. (shrink)

How do people reason about their opponent in turn-taking games? Often, people do not make the decisions that game theory would prescribe. We present a logic that can play a key role in understanding how people make their decisions, by delineating all plausible reasoning strategies in a systematic manner. This in turn makes it possible to construct a corresponding set of computational models in a cognitive architecture. These models can be run and fitted to the participants’ data in terms (...) of decisions, response times, and answers to questions. We validate these claims on the basis of an earlier game-theoretic experiment about the turn-taking game “Marble Drop with Surprising Opponent”, in which the opponent often starts with a seemingly irrational move. We explore two ways of segregating the participants into reasonable “player types”. The first way is based on latent class analysis, which divides the players into three classes according to their first decisions in the game: Random players, Learners, and Expected players, who make decisions consistent with forward induction. The second way is based on participants’ answers to a question about their opponent, classified according to levels of theory of mind: zero-order, first-order and second-order. It turns out that increasing levels of decisions and theory of mind both correspond to increasing success as measured by monetary awards and increasing decision times. Next, we use the logical language to express different kinds of strategies that people apply when reasoning about their opponent and making decisions in turn-taking games, as well as the ‘reasoning types’ reflected in their behavior. Then, we translate the logical formulas into computational cognitive models in the PRIMs architecture. Finally, we run two of the resulting models, corresponding to the strategy of only being interested in one’s own payoff and to the myopic strategy, in which one can only look ahead to a limited number of nodes. It turns out that the participant data fit to the own-payoff strategy, not the myopic one. The article closes the circle from experiments via logic and cognitive modelling back to predictions about new experiments. (shrink)

This article aims to introduce a new solution to the Logical Problem of the Trinity. This solution is provided by utilising a number of theses within the field of contemporary metaphysics in order to establish a conceptual basis for a novel account and model of the doctrine of the Trinity termed Monarchical Aspectivalism, which will provide the means for proposing an alternative reading of the Athanasian Creed that is free from any consistency problems.

The present paper deals thus with some fundamental agreements and disagreements between Peirce and James, on crucial issues such as perception and consciousness. When Peirce first read the Principles, he was sketching his theory of the categories, testing its applications in many fields of knowledge, and many investigations were launched, concerning indexicals, diagrams, growth and development. James's utterances led Peirce to make his own views clearer on a wide range of topics that go to the heart of the foundations of (...) psychology and that involve the relationship between perception and logic, between consciousness and the categories, between abstraction and the 'stream of thought'. The idea is to show that Peirce detected important discoveries and insights in the Principles, but felt that James could not make proper use of them because of logical confusions, and also because of his "clandestine" metaphysics. The point in this essay is thus not to look for remains of psychologism in Peirce's writings,13 but to look at Peirce's comments about James's psychology in an attempt to identify where and why Peirce amended James's views. Since the project to provide some insight on Peirce's extensive reading ofJames's Principles of Psycho/.ogy would deserve a full volume, I shall focus here on three occasions where Peirce explicidy commented on Jarnes's Principles. In the first section, I shall consider bis assessment of James's chapter on space, which was published as a series of articles in 1887, in Mind. I shall then turn to the 1891 review of the Principles in The Nation for important complements on perception as inference. In the third section, I shall deal with Peirce's manuscript "Questions on James's Principles"(Rl099). These "Questions" reveal a deep interest in psychological problems and suggest different ways along which Peirce's new advances in the field of the categories, of continuity, and abstraction could provide a proper basis for the philosophy of mind. (shrink)

The Logic of Causation: Definition, Induction and Deduction of Deterministic Causality is a treatise of formal logic and of aetiology. It is an original and wide-ranging investigation of the definition of causation (deterministic causality) in all its forms, and of the deduction and induction of such forms. The work was carried out in three phases over a dozen years (1998-2010), each phase introducing more sophisticated methods than the previous to solve outstanding problems. This study was intended as part (...) of a larger work on causal logic, which additionally treats volition and allied cause-effect relations (2004). The Logic of Causation deals with the main technicalities relating to reasoning about causation. Once all the deductive characteristics of causation in all its forms have been treated, and we have gained an understanding as to how it is induced, we are able to discuss more intelligently its epistemological and ontological status. In this context, past theories of causation are reviewed and evaluated (although some of the issues involved here can only be fully dealt with in a larger perspective, taking volition and other aspects of causality into consideration, as done in Volition and Allied Causal Concepts). Phase I: Macroanalysis. Starting with the paradigm of causation, its most obvious and strongest form, we can by abstraction of its defining components distinguish four genera of causation, or generic determinations, namely: complete, partial, necessary and contingent causation. When these genera and their negations are combined together in every which way, and tested for consistency, it is found that only four species of causation, or specific determinations, remain conceivable. The concept of causation thus gives rise to a number of positive and negative propositional forms, which can be studied in detail with relative ease because they are compounds of conjunctive and conditional propositions whose properties are already well known to logicians. The logical relations (oppositions) between the various determinations (and their negations) are investigated, as well as their respective implications (eductions). Thereafter, their interactions (in syllogistic reasoning) are treated in the most rigorous manner. The main question we try to answer here is: is (or when is) the cause of a cause of something itself a cause of that thing, and if so to what degree? The figures and moods of positive causative syllogism are listed exhaustively; and the resulting arguments validated or invalidated, as the case may be. In this context, a general and sure method of evaluation called ‘matricial analysis’ (macroanalysis) is introduced. Because this (initial) method is cumbersome, it is used as little as possible – the remaining cases being evaluated by means of reduction. Phase II: Microanalysis. Seeing various difficulties encountered in the first phase, and the fact that some issues were left unresolved in it, a more precise method is developed in the second phase, capable of systematically answering most outstanding questions. This improved matricial analysis (microanalysis) is based on tabular prediction of all logically conceivable combinations and permutations of conjunctions between two or more items and their negations (grand matrices). Each such possible combination is called a ‘modus’ and is assigned a permanent number within the framework concerned (for 2, 3, or more items). This allows us to identify each distinct (causative or other, positive or negative) propositional form with a number of alternative moduses. This technique greatly facilitates all work with causative and related forms, allowing us to systematically consider their eductions, oppositions, and syllogistic combinations. In fact, it constitutes a most radical approach not only to causative propositions and their derivatives, but perhaps more importantly to their constituent conditional propositions. Moreover, it is not limited to logical conditioning and causation, but is equally applicable to other modes of modality, including extensional, natural, temporal and spatial conditioning and causation. From the results obtained, we are able to settle with formal certainty most of the historically controversial issues relating to causation. Phase III: Software Assisted Analysis. The approach in the second phase was very ‘manual’ and time consuming; the third phase is intended to ‘mechanize’ much of the work involved by means of spreadsheets (to begin with). This increases reliability of calculations (though no errors were found, in fact) – but also allows for a wider scope. Indeed, we are now able to produce a larger, 4-item grand matrix, and on its basis find the moduses of causative and other forms needed to investigate 4-item syllogism. As well, now each modus can be interpreted with greater precision and causation can be more precisely defined and treated. In this latest phase, the research is brought to a successful finish! Its main ambition, to obtain a complete and reliable listing of all 3-item and 4-item causative syllogisms, being truly fulfilled. This was made technically feasible, in spite of limitations in computer software and hardware, by cutting up problems into smaller pieces. For every mood of the syllogism, it was thus possible to scan for conclusions ‘mechanically’ (using spreadsheets), testing all forms of causative and preventive conclusions. Until now, this job could only be done ‘manually’, and therefore not exhaustively and with certainty. It took over 72’000 pages of spreadsheets to generate the sought for conclusions. This is a historic breakthrough for causal logic and logic in general. Of course, not all conceivable issues are resolved. There is still some work that needs doing, notably with regard to 5-item causative syllogism. But what has been achieved solves the core problem. The method for the resolution of all outstanding issues has definitely now been found and proven. The only obstacle to solving most of them is the amount of labor needed to produce the remaining (less important) tables. As for 5-item syllogism, bigger computer resources are also needed. (shrink)

In order to reason in a non-trivializing way with contradictions, para- consistent logics reject some classically valid inferences. As a way of re- covering some of these inferences, Graham Priest ([Priest, 1991]) proposed to nonmonotonically strengthen the Logic of Paradox by allowing the se- lection of “less inconsistent” models via a comparison of their respective inconsistent parts. This move recaptures a good portion of classical logic in that it does not block, e.g., disjunctive syllogism, unless it is applied (...) to contradictory assumptions. In Priest’s approach the inconsistent parts of models are compared in an extensional way by considering their inconsis- tent objects. This distinguishes his system from the standard format of (inconsistency-)adaptive logics pioneered by Diderik Batens, according to which (atomic) contradictions validated in models form the basis of their comparison. A well-known problem for Priest’s extensional approach is its lack of the Strong Reassurance property, i.e., for specific settings there may be infinitely descending chains of less and less inconsistent models, thus never reaching a minimally inconsistent model. In this paper, we demonstrate that Strong Reassurance holds for the extensional approach under a cardinality-based comparison of the incon- sistent parts of models. Furthermore, we introduce and investigate the metatheory of the class of first-order nonmonotonic inconsistency-tolerant construct over the extensional or quantitative comparisons of their respec- tive models. Core model-theoretic properties for these logics, such as the Löwenheim-Skolem theorems, along with other nonmonotonic properties, are further studied. (shrink)

In the paper, certain rational postulates for protocols describing real communicating are introduced.These rational postulates, on the one hand, allow assigning a certain typology of real systems of interactions, which is consistent with the reality of epistemic argumentation in systems of communicating, and on the other one – defining rules of using argumentation in real situations. Moreover, the presented postulates for protocols characterize information networks and administering knowledge in real interactivity systems. Due to the epistemic character of the considerations, the (...) problem undertaken in the paper concerns working out fundamental assumptions that refer to building of epistemic logics. They allow establishing the correctness of the discourse defined by rational postulates of protocols of real communication. In the context of the presented problem there are the following two research questions distinguished: 1) How do we determine the rule of building of real dynamic epistemic logics? and 2) How should we define semantics for these logics? Within the framework of considerations relating to the research questions asked, certain epistemic operators, relativized to types of communicating, are introduced. Basic logical relations between using these operators are established for these operators. The relations are presented by a diagram called the square of epis temic operators. On the basis of these logical relations some axioms for real dynamic epistemic logics are presented. The semantics of real dynamic epistem ic logics is extended by the methods of lower and upper approximation of formula evaluating. This allows defining ‘approximation Kripke models’. The results of conceptualization of knowledge on real premises of epistemic argum entation presented in this paper can be applied to rhetoric in real systems of interaction. (shrink)

In this paper, I consider the basis for Kant's praise of Wolff's general logic as "the best we have." I argue that Wolff's logic was highly esteemed by Kant on account of its novel analysis of the three operations of the mind (tres operationes mentis), in the course of which Wolff formulates an argument for the priority of the understanding's activity of judging.

By separating the general concept of truth into syntactic truth and semantic truth, this article proposes a new theory of truth to explain several paradoxes like the Liar paradox, Card paradox, Curry’s paradox, etc. By revealing the relationship between syntactic /semantic truth and being-nothing-becoming which are the core concepts of dialectical logic, it is able to formalize dialectical logic. It also provides a logical basis for complexity theory by transferring all reasoning into a directed (cyclic/acyclic) graph which (...) explains both paradoxical and paradox-free reasoning. The different structure between cyclic graphs and acyclic graphs is the key to understanding paradoxes. By explaining the immanent between logic, paradox, and cellular automata, it also illustrates dialectical logic as ontology. (shrink)

In the paper, various notions of the logical semiotic sense of linguistic expressions – namely, syntactic and semantic, intensional and extensional – are considered and formalised on the basis of a formal-logical conception of any language L characterised categorially in the spirit of certain Husserl's ideas of pure grammar, Leśniewski-Ajdukiewicz's theory of syntactic/semantic categories and, in accordance with Frege's ontological canons, Bocheński's and some of Suszko's ideas of language adequacy of expressions of L. The adequacy ensures their unambiguous syntactic (...) and semantic senses and mutual, syntactic and semantic correspondence guaranteed by the acceptance of a postulate of categorial compatibility of syntactic and semantic (extensional and intensional) categories of expressions of L. This postulate defines the unification of these three logical senses. There are three principles of compositionality which follow from this postulate: one syntactic and two semantic ones already known to Frege. They are treated as conditions of homomorphism of partial algebra of L into algebraic models of L: syntactic, intensional and extensional. In the paper, they are applied to some expressions with quantifiers. Language adequacy connected with the logical senses described in the logical conception of language L is, obviously, an idealisation. The syntactic and semantic unambiguity of its expressions is not, of course, a feature of natural languages, but every syntactically and semantically ambiguous expression of such languages may be treated as a schema representing all of its interpretations that are unambiguous expressions. (shrink)

While many different mechanisms contribute to the generation of spatial order in biological development, the formation of morphogenetic fields which in turn direct cell responses giving rise to pattern and form are of major importance and essential for embryogenesis and regeneration. Most likely the fields represent concentration patterns of substances produced by molecular kinetics. Short range autocatalytic activation in conjunction with longer range “lateral” inhibition or depletion effects is capable of generating such patterns (Gierer and Meinhardt, 1972). Non-linear reactions are (...) required, and mathematical criteria were derived to design molecular models capable of pattern generation. The classical embryological feature of proportion regulation can be incorporated into the models. The conditions are mathematically necessary for the simplest two-factor case, and are likely to be a fair approximation in multi-component systems in which activation and inhibition are systems parameters subsuming the action of several agents. Gradients, symmetric and periodic patterns, in one or two dimensions, stable or pulsing in time, can be generated on this basis. Our basic concept of autocatalysis in conjunction with lateral inhibition accounts for self-regulatory biological features, including the reproducible formation of structures from near-uniform initial conditions as required by the logic of the generation cycle. Real tissue form, for instance that of budding Hydra, may often be traced back to local curvature arising within an initially relatively flat cell sheet, the position of evagination being determined by morphogenetic fields. Shell theory developed for architecture may also be applied to such biological processes. (shrink)

It is argued, on the basis of ideas derived from Wittgenstein's Tractatus and Husserl's Logical Investigations, that the formal comprehends more than the logical. More specifically: that there exist certain formal-ontological constants (part, whole, overlapping, etc.) which do not fall within the province of logic. A two-dimensional directly depicting language is developed for the representation of the constants of formal ontology, and means are provided for the extension of this language to enable the representation of certain materially necessary (...) relations. The paper concludes with a discussion of the relationship between formal logic, formal ontology, and mathematics. (shrink)

In this paper, we present an expansion of one of the well-known classical inventory management models, which is the static model of inventory management without a deficit and for a single substance, based on the neutrosophic logic, where we provide through this study a basis for dealing with all data, whether specific or undefined in the field of inventory management, as it provides safe environment to manage inventory without running into deficit , and give us an approximate ideal (...) volume of inventory. Since the ideal size is affected by the rate of demand for inventory, we present in this paper a study of the rate of demand for inventory when it is not precisely refined, and we find that the indeterminate values of the demand rate cannot be ignored, because they actually affect determining the ideal size of inventory and calculating its costs, thus affecting on the efficiency of the facility and achieve great profits for it. (shrink)

This paper accomplishes two goals. First, the essay elucidates Husserl’s descriptions of meaning consciousness from the 1901 Logical Investigations. I examine Husserl’s observations about the three ways we can experience meaning and I discuss his conclusions about the structure of meaning intentions. Second, the paper explores how Husserl reworked that 1901 theory in his 1913/14 Revisions to the Sixth Investigation. I explore how Husserl transformed his descriptions of the three intentions involved in meaningful experience. By doing so, Husserl not only (...) recognized intersubjective communication as the condition of possibility of linguistic meaning acts, but also transformed his account of the structure of both signitive and intuitive acts. In the conclusion, I cash out this analysis, by showing how, on the basis of these new insights, Husserl reconstructs his theory of fulfillment. (shrink)

Neutrosophy considers a proposition, theory, event, concept, or entity, "A" in relation to its opposite, "Anti A" and that which is not A, "Non-A", and that which is neither "A" nor "Anti-A", denoted by "Neut-A". Neutrosophy is the basis of neutrosophic logic, neutrosophic probability, neutrosophic set, and neutrosophic statistics.

This paper accomplishes two tasks. First, I examine in detail Edmund Husserl’s earliest philosophy of surrogates, as it is found in his 1890 “On the Logic of Signs ”. I analyze his psychological and logical investigations of surrogates, where the former is concerned with explaining how these signs function and the latter with how they do so reliably. His differentiation of surrogates on the basis of their genetic origins and degrees of necessity is discussed. Second, the historical importance (...) of this text is disclosed by showing how Semiotic serves as both the inspiration for, and the foil to, Husserl’s 1901 First Logical Investigation. Husserl not only adopts the idea that linguistic signs can function via association, but also maintains that such signs can motivate me to execute one of two experiences. The key difference between the texts is that Husserl abandons his theory of surrogates in 1901, instead holding that I can experience absent objects by means of empty intentions. The reasons why Husserl found it necessary to transform this tenet of his philosophy are discussed at length. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The logical (...) framework developed provides the basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

We present some ideas on logical process descriptions, using relations from the DIO (Drug Interaction Ontology) as examples and explaining how these relations can be naturally decomposed in terms of more basic structured logical process descriptions using terms from linear logic. In our view, the process descriptions are able to clarify the usual relational descriptions of DIO. In particular, we discuss the use of logical process descriptions in proving linear logical theorems. Among the types of reasoning supported by DIO (...) one can distinguish both (1) basic reasoning about general structures in reality and (2) the domain-specific reasoning of experts. We here propose a clarification of this important distinction between (realist) reasoning on the basis of an ontology and rule-based inferences on the basis of an expert’s view. (shrink)

In this paper, partly historical and partly theoretical, after having shortly outlined the development of the meta-ethics in the 1900?s starting from the Tractatus of Wittgenstein, I argue it is possible to sustain that emotivism and intuitionism are unsatisfactory ethical conceptions, while on the contrary, reason (intended in a logical-deductive sense) plays an effective role both in ethical discussions and in choices. There are some characteristics of the ethical language (prescriptivity, universalizability and predominance) that cannot be eluded (pain the non (...) significativity of the same language) by those who want to morally reason, i.e. by those who intend to regulate their own behaviour on the basis of knowledged and coherent principles. These characteristics can be found whether or not all possible ontological-metaphysics foundations of morals are taken into account. Furthermore the deontic logic systems allow the formalization of ethical theories and - at least in principle - a rigorous critical discussion of the same, but obviously nothing can be affirmed on the value of truth of the axioms of a system. In the deontic logic systems Hume?s law is assumed as an implicit result of inferential (conventional) rules and the acceptance of Hume?s law as a logical-linguistic thesis does not involve the cancellation of values (nihilism) or ethical relativism or indifferentism. (shrink)