The Genuine Process Logic described here (abbreviation: GPL) places the object-bound process itself at the center of formalism. It should be suitable for everyday use, i.e. it is not primarily intended for the formalization of computer programs, but instead, as a counter-conception to the classical state logics. The new and central operator of the GPL is an action symbol replacing the classical state symbols, e.g. of equivalence or identity. The complete renunciation of object-language state expressions also results (...) in a completely new metalinguistic framework, both regarding the axioms and the expressive possibilities of this system. A mixture with state logical terms is readily possible. (shrink)

Ezumezu, a prototype African logic, developed by Jonathan Chimakonam as a framework which mediates thought, theory and method in the African place, is according to him, extendable and applicable in places non-African too. This seems to underscore the universal character of the logic. I interrogate, in this piece, the logic to see if it truly mediates thought, theory and method in Yorùbá ontology on the one hand, and process ontology on the other hand. Through critical analysis, (...) I discern that each of these thought systems operate beyond the principles of classical logic and this is one of the factors that have vitiated their appreciation and comprehension. Upon critical reflection, however, these thought systems seem to follow the principles of Ezumezu logic hence my aim – to disclose how the logic undergirds theory and method for each of those systems. Keywords: African Philosophy, Ezumezu Logic, Jonathan Chimakonam, Process Ontology, Yorùbá Ontology. (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)

Companies committed to corporate social responsibility should ensure that their managers possess the appropriate competencies to effectively manage the CSR adaptation process. The literature provides insights into the individual competencies these managers need but fails to prioritize them and adequately contextualize them in a manner that makes them meaningful in practice. In this study, we contextualized the competencies within the different job roles CSR managers have in the CSR adaptation process. We interviewed 28 CSR managers, followed by a (...) survey to explore the relative importance of the competencies within each job role. Based on our analysis, we identified six distinct managerial roles, including strategic, coordinating, and stimulating roles. Next, we identified per role key individual CSR-related competencies as prioritized by the respondents. Our results show that the context, as indicated in this study by CSR managers’ job roles, indeed influenced the importance of particular CSR-related competencies, because each role seems to require a different combination and prioritization of these competencies. Moreover, the results suggest that the relative importance of these competencies within each role may be driven by business logic rather than an idealistic logic. The results are presented as a competence profile which can serve as a reflection tool and as a frame of reference to further develop the competence profile for CSR managers. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

The assumption that natural selection alone is sufficient to explain not only which traits get fixed in a population/species, but also how they develop, has been questioned since Darwin’s times, and increasingly in the last decades. Alternative theories, linked to genetic and phenotypic processes, or to the theory of complex systems, have been proposed to explain the rise of the phenotypic variety upon which natural selection acts. In this article, we illustrate the current state of the issue and we propose (...) a logical space based on phenotypic robustness that allows a classification of evolutionary phenomena and can provide a framework for unifying all these accounts. (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)

In his new book, Logical Form, Andrea Iacona distinguishes between two different roles that have been ascribed to the notion of logical form: the logical role and the semantic role. These two roles entail a bifurcation of the notion of logical form. Both notions of logical form, according to Iacona, are descriptive, having to do with different features of natural language sentences. I agree that the notion of logical form bifurcates, but not that the logical role is merely descriptive. In (...) this paper, I focus on formalization, a process by which logical form, on its logical role, is attributed to natural language sentences. According to some, formalization is a form of explication, and it involves normative, pragmatic, as well as creative aspects. I present a view by which formalization involves explicit commitments on behalf of a reasoner or an interpreter, which serve the normative grounds for the evaluation of a given text. In previous work, I proposed the framework of semantic constraints for the explication of logical consequence. Here, I extend the framework to include formalization constraints. The various constraints then serve the role of commitments. I discuss specific issues raised by Iacona concerning univocality, co-reference and equivocation, and I show how our views on these matters diverge as a result of our different starting assumptions. (shrink)

Judaic Logic is an original inquiry into the forms of thought determining Jewish law and belief, from the impartial perspective of a logician. Judaic Logic attempts to honestly estimate the extent to which the logic employed within Judaism fits into the general norms, and whether it has any contributions to make to them. The author ranges far and wide in Jewish lore, finding clear evidence of both inductive and deductive reasoning in the Torah and other books of (...) the Bible, and analyzing the methodology of the Talmud and other Rabbinic literature by means of formal tools which make possible its objective evaluation with reference to scientific logic. The result is a highly innovative work – incisive and open, free of clichés or manipulation. Judaic Logic succeeds in translating vague and confusing interpretative principles and examples into formulas with the clarity and precision of Aristotelean syllogism. Among the positive outcomes, for logic in general, are a thorough listing, analysis and validation of the various forms of a-fortiori argument, as well as a clarification of dialectic logic. However, on the negative side, this demystification of Talmudic/Rabbinic modes of thought (hermeneutic and heuristic) reveals most of them to be, contrary to the boasts of orthodox commentators, far from deductive and certain. They are often, legitimately enough, inductive. But they are also often unnatural and arbitrary constructs, supported by unverifiable claims and fallacious techniques. Many other thought-processes, used but not noticed or discussed by the Rabbis, are identified in this treatise, and subjected to logical review. Various more or less explicit Rabbinic doctrines, which have logical significance, are also examined in it. In particular, this work includes a formal study of the ethical logic (deontology) found in Jewish law, to elicit both its universal aspects and its peculiarities. With regard to Biblical studies, one notable finding is an explicit formulation (which, however, the Rabbis failed to take note of and stress) of the principles of adduction in the Torah, written long before the acknowledgement of these principles in Western philosophy and their assimilation in a developed theory of knowledge. Another surprise is that, in contrast to Midrashic claims, the Tanakh (Jewish Bible) contains a lot more than ten instances of qal vachomer (a-fortiori) reasoning. In sum, Judaic Logic elucidates and evaluates the epistemological assumptions which have generated the Halakhah (Jewish religious jurisprudence) and allied doctrines. Traditional justifications, or rationalizations, concerning Judaic law and belief, are carefully dissected and weighed at the level of logical process and structure, without concern for content. This foundational approach, devoid of any critical or supportive bias, clears the way for a timely reassessment of orthodox Judaism (and incidentally, other religious systems, by means of analogies or contrasts). Judaic Logic ought, therefore, to be read by all Halakhists, as well as Bible and Talmud scholars and students; and also by everyone interested in the theory, practise and history of logic. (shrink)

The reasoning process of analogy is characterized by a strict interdependence between a process of abstraction of a common feature and the transfer of an attribute of the Analogue to the Primary Subject. The first reasoning step is regarded as an abstraction of a generic characteristic that is relevant for the attribution of the predicate. The abstracted feature can be considered from a logic-semantic perspective as a functional genus, in the sense that it is contextually essential for (...) the attribution of the predicate, i.e. that is pragmatically fundamental (i.e. relevant) for the predica-tion, or rather the achievement of the communicative intention. While the transfer of the predicate from the Analogue to the analogical genus and from the genus to the Primary Subject is guaranteed by the maxims (or rules of inference) governing the genus-species relation, the connection between the genus and the predicate can be complex, characterized by various types of reasoning patterns. The relevance relation can hide implicit arguments, such as an implicit argument from classification , an evaluation based on values, consequences or rules, a causal relation, or an argument from practical reasoning. (shrink)

JOHN CORCORAN AND WAGNER SANZ, Disbelief Logic Complements Belief Logic. Philosophy, University at Buffalo, Buffalo, NY 14260-4150 USA E-mail: [email protected] Filosofia, Universidade Federal de Goiás, Goiás, GO 74001-970 Brazil E-mail: [email protected] -/- Consider two doxastic states belief and disbelief. Belief is taking a proposition to be true and disbelief taking it to be false. Judging also dichotomizes: accepting a proposition results in belief and rejecting in disbelief. Stating follows suit: asserting a proposition conveys belief and denying conveys disbelief. (...) Traditional logic implicitly focused on logical relations and processes needed in expanding and organizing systems of beliefs. Deducing a conclusion from beliefs results in belief of the conclusion. Deduction presupposes consequence: one proposition is a consequence of a set of a propositions if the latter logically implies the former. The role of consequence depends on its being truth-preserving: every consequence of a set of truths is true. This paper, which builds on previous work by the second author, explores roles of logic in expanding and organizing systems of disbeliefs. Aducing a conclusion from disbeliefs results in disbelief of the conclusion. Aduction presupposes contrequence: one proposition is a contrequence of a set of propositions if the set of negations or contradictory opposites of the latter logically implies that of the former. The role of contrequence depends on its being falsity-preserving: every contrequence of a set of falsehoods is false. A system of aductions that includes, for every contrequence of a given set, an aduction of the contrequence from the set is said to be complete. Historical and philosophical discussion is illustrated and enriched by presenting complete systems of aductions constructed by the second author. One such, a natural aduction system for Aristotelian categorical propositions, is based on a natural deduction system attributed to Aristotle by the first author and others. ADDED NOTE: Wagner Sanz reconstructed Aristotle’s logic the way it would have been had Aristole focused on constructing “anti-sciences” instead of sciences: more generally, on systems of disbeliefs. (shrink)

What would a Jewish process theology look like if it also adopted the a priori principles of rabbinic Judaism - among them, the authority of Torah given on Sinai, an historically particular revelation of divine instruction for a particular people, and the authority of the Oral Torah, an historically evolving hermeneutic, according to which that revelation becomes normative practice for communities of observant Jews? I trust this would not be a naturalism, since it would be a theology that found (...) its grammar or regulative logic in a textual hermeneutic rather than in an account of the orders of perception and imagination. It would not, for the same token, be an anti-naturalism, but rather a theology for which the distinction between natural and super- or non-natural was not definitional. For such a theology, for example, the world out there would belong to the order of creation (maaseh bereshit), rather than to "nature." This would mean that, since God creates through words, language (at least some sort of language) and world would be intimately connected rather than extrinsic phenomena, It would mean, furthermore, that for language to "know" the world would not be surprising and that something like a form of realism would not be out of the question, While it would presuppose the authority of divine speech and even of some human interpretations of it, this other-than natural theology would not, as naturalists might suppose, present a heteronomous conception of divine law, If the distinction nature/not nature would not be definitive for this theology, neither would those of autonomy/heteronomy, body/spirit, this world/other world, This theology would present its own variety of neutral monism; in this case, however, the undifferentiated plenum would be termed a plenum of undifferentiated signification (or pure semiosis), of which undifferentiated feeling (or pure experience) was an instance; "prehension" would be another term for interpretation, Max Kadushin was the first and, as far as I know, the only Jewish thinker to articulate a process theology in the service of what he considered the behavioral or halakhic authority of classical rabbinic literature. In this paper, I examine Kadushin's work as the foundation of a rabbinic text process theology, I assume, from the outset, that such a theology may complement a Jewish natural process theology and that a Jewish process theology, in general, would appear as a process of dialogue between textual- andnatural-process theologies. (shrink)

The anti-exceptionalist debate brought into play the problem of what are the relevant data for logical theories and how such data affects the validities accepted by a logical theory. In the present paper, I depart from Laudan's reticulated model of science to analyze one aspect of this problem, namely of the role of logical data within the process of revision of logical theories. For this, I argue that the ubiquitous nature of logical data is responsible for the proliferation of (...) several distinct methodologies for logical theories. The resulting picture is coherent with the Laudanean view that agreement and disagreement between scientific theories take place at different levels. From this perspective, one is able to articulate other kinds of divergence that considers not only the inferential aspects of a given logical theory, but also the epistemic aims and the methodological choices that drive its development. (shrink)

Manfred Eigen employs the terms language and communication to explain key recombination processes of DNA as well as to explain the self-organization of human language and communication: Life processes as well as language and communication processes are governed by the logic of a molecular syntax, which is the exact depiction of a principally formalizable reality. The author of the present contribution demonstrates that this view of Manfred Eigen’s cannot be sufficiently substantiated and that it must be supplemented by an (...) approach based on linguistic pragmatics. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, (...) since they do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

2nd edition. Many-valued logics are those logics that have more than the two classical truth values, to wit, true and false; in fact, they can have from three to infinitely many truth values. This property, together with truth-functionality, provides a powerful formalism to reason in settings where classical logic—as well as other non-classical logics—is of no avail. Indeed, originally motivated by philosophical concerns, these logics soon proved relevant for a plethora of applications ranging from switching theory to cognitive modeling, (...) and they are today in more demand than ever, due to the realization that inconsistency and vagueness in knowledge bases and information processes are not only inevitable and acceptable, but also perhaps welcome. The main modern applications of (any) logic are to be found in the digital computer, and we thus require the practical knowledge how to computerize—which also means automate—decisions (i.e. reasoning) in many-valued logics. This, in turn, necessitates a mathematical foundation for these logics. This book provides both these mathematical foundation and practical knowledge in a rigorous, yet accessible, text, while at the same time situating these logics in the context of the satisfiability problem (SAT) and automated deduction. The main text is complemented with a large selection of exercises, a plus for the reader wishing to not only learn about, but also do something with, many-valued logics. (shrink)

The current resurgence of interest in cognition and in the nature of cognitive processing has brought with it also a renewed interest in the early work of Husserl, which contains one of the most sustained attempts to come to grips with the problems of logic from a cognitive point of view. Logic, for Husserl, is a theory of science; but it is a theory which takes seriously the idea that scientific theories are constituted by the mental acts of (...) cognitive subjects. The present essay begins with an exposition of Husserl's act-based conception of what a science is, and goes on to consider his account of the role of linguistic meanings, of the ontology of scientific objects, and of evidence and truth. The essay concentrates almost exclusively on the Logical Investigations of 1900/01. This is not only because this work, which is surely Husserl's single most important masterpiece, has been overshadowed first of all by his Ideas I and then later by the Crisis. It is also because the Investigations contain, in a peculiarly clear and pregnant form, a whole panoply of ideas on logic and cognitive theory which either simply disappeared in Husserl's own later writings or became obfuscated by an admixture of that great mystery which is 'transcendental phenomenology'. (shrink)

A general framework for translating various logical systems is presented, including a set of partial unary operators of affirmation and negation. Despite its usual reading, affirmation is not redundant in any domain of values and whenever it does not behave like a full mapping. After depicting the process of partial functions, a number of logics are translated through a variety of affirmations and a unique pair of negations. This relies upon two preconditions: a deconstruction of truth-values as ordered and (...) structured objects, unlike its mainstream presentation as a simple object; a redefinition of the Principle of Bivalence as a set of four independent properties, such that its definition does not equate with normality. (shrink)

This paper makes a novel linkage between the multiple-computations theorem in philosophy of mind and Landauer’s principle in physics. The multiple-computations theorem implies that certain physical systems implement simultaneously more than one computation. Landauer’s principle implies that the physical implementation of “logically irreversible” functions is accompanied by minimal entropy increase. We show that the multiple-computations theorem is incompatible with, or at least challenges, the universal validity of Landauer’s principle. To this end we provide accounts of both ideas in terms of (...) low-level fundamental concepts in statistical mechanics, thus providing a deeper understanding of these ideas than their standard formulations given in the high-level terms of thermodynamics and cognitive science. Since Landauer’s principle is pivotal in the attempts to derive the universal validity of the second law of thermodynamics in statistical mechanics, our result entails that the multiple-computations theorem has crucial implications with respect to the second law. Finally, our analysis contributes to the understanding of notions, such as “logical irreversibility,” “entropy increase,” “implementing a computation,” in terms of fundamental physics, and to resolving open questions in the literature of both fields, such as: what could it possibly mean that a certain physical process implements a certain computation. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and (...) control the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (shrink)

Epistemologists have begun paying attention to the phenomenon of _core cognition_ from developmental psychology. Core cognition posits innate automatic cognitive modules that enable children to quickly grasp and learn certain concepts. A key element of core cognition is sometimes named _core knowledge_ because it encodes the constraints, parameters, and concepts that are required for core cognition modules to function. Until now, no successful epistemological account of it has been presented, and it is difficult to integrate into standard accounts of epistemology (...) given that it is only implicitly believed, not accessible to explicit cognitive processing, and innate. In this paper I propose an account of the epistemology of core cognition, focussing on the epistemic status of this core knowledge. I argue that, rather than being knowledge, or some ordinary justified belief, it consists of Wittgensteinian _hinge certainties_. These are the implicit presupposition that we need for our epistemology to function. I illustrate the argument with the core cognition of causality. Finally, I propose that even though core knowledge consists of unjustified hinges, we are epistemically entitled to trust them to be accurate. (shrink)

Neuroscience has studied deductive reasoning over the last 20 years under the assumption that deductive inferences are not only de jure but also de facto distinct from other forms of inference. The objective of this research is to verify if logically valid deductions leave any cerebral electrical trait that is distinct from the trait left by non-valid deductions. 23 subjects with an average age of 20.35 years were registered with MEG and placed into a two conditions paradigm (100 trials for (...) each condition) which each presented the exact same relational complexity (same variables and content) but had distinct logical complexity. Both conditions show the same electromagnetic components (P3, N4) in the early temporal window (250–525 ms) and P6 in the late temporal window (500–775 ms). The significant activity in both valid and invalid conditions is found in sensors from medial prefrontal regions, probably corresponding to the ACC or to the medial prefrontal cortex. The amplitude and intensity of valid deductions is significantly lower in both temporal windows (p = 0.0003). The reaction time was 54.37% slower in the valid condition. Validity leaves a minimal but measurable hypoactive electrical trait in brain processing. The minor electrical demand is attributable to the recursive and automatable character of valid deductions, suggesting a physical indicator of computational deductive properties. It is hypothesized that all valid deductions are recursive and hypoactive. (shrink)

It is here proposed an analysis of symbolic and sub-symbolic models for studying cognitive processes, centered on emergence and logical openness notions. The Theory of logical openness connects the Physics of system/environment relationships to the system informational structure. In this theory, cognitive models can be ordered according to a hierarchy of complexity depending on their logical openness degree, and their descriptive limits are correlated to Gödel-Turing Theorems on formal systems. The symbolic models with low logical openness describe cognition by means (...) of semantics which fix the system/environment relationship, while the sub-symbolic ones with high logical openness tends to seize its evolutive dynamics. An observer is defined as a system with high logical openness. In conclusion, the characteristic processes of intrinsic emergence typical of “bio-logic” - emerging of new codes-require an alternative model to Turing- computation, the natural or bio-morphic computation, whose essential features we are going here to outline. (shrink)

Intermediary metabolism molecules are orchestrated into logical pathways stemming from history (L-amino acids, D-sugars) and dynamic constraints (hydrolysis of pyrophosphate or amide groups is the driving force of anabolism). Beside essential metabolites, numerous variants derive from programmed or accidental changes. Broken down, variants enter standard pathways, producing further variants. Macromolecule modification alters enzyme reactions specificity. Metabolism conform thermodynamic laws, precluding strict accuracy. Hence, for each regular pathway, a wealth of variants inputs and produces metabolites that are similar to but not (...) the exact replicas of core metabolites. As corollary, a shadow, paralogous metabolism, is associated to standard metabolism. We focus on a logic of paralogous metabolism based on diversion of the core metabolic mimics into pathways where they are modified to minimize their input in the core pathways where they create havoc. We propose that a significant proportion of paralogues of well-characterized enzymes have evolved as the natural way to cope with paralogous metabolites. A second type of denouement uses a process where protecting/deprotecting unwanted metabolites - conceptually similar to the procedure used in the laboratory of an organic chemist - is used to enter a completely new catabolic pathway. (shrink)

For the OK, there is in fact no opposition between the logical and the material or the spiritual: reality is a formless logical substance. Representation is morphogenesis and the terms 'material' and 'spiritual' only denote categories of morphogenesis. Our constant experience shows us that spiritual and material interact. The border between understanding and becoming, between meaning and act, which seems trivial to us, is elusive when we try to approach it. For example: when the subject follows the object of his (...) attention with his gaze, where to draw the line between material and spiritual ? Representation is morphogenesis and the OK uses the term 'horizon', not to separate the material from the spiritual, but to distinguish the formless from the representable, the unspeakable from the speakable. For the OK the speakable is not 'something else' than the unspeakable, it is a mode of order: The rainbow is not 'an other thing' than rain, light, sun, the walk that brought me here and now, my sense of vision, my culture etc ... all this unspeakable set of logical interdependencies from which emerges, for me subject, the meaning of the rainbow. And above all, this horizon is not 'in my mind'. The ordaining of the unspeakable is not carried out 'by my understanding'. The emergence of the meaning from the unspeakable logic is not happening 'in' and 'by' my mind. On the contrary, it is a process of pure logic*, a progressive aglomeration of interdependance, which makes the subject emerge as a representation of the world and of his own existence. The logical transcends the Existing. This is the key to understanding this article: We have not left the Garden of Eden. The representation is not 'overhanging' the world, it is 'the' world. Representation is not "grasping form" but "morphogenesis", not as "attribution of form" but as "necessary ordering mode of logical reality". Common sense (including science and logic) does not represent reality, it emerges from it in the form of modes of order of reality, of logic. My representation of this white stone is not 'something else' than the unspeakable logic from which the meaning of 'white stone' emerges for me, it is only a mode of order. There are no "other things" than the things which represent themselves in me and which are modes of order. The Existing is representation. Existence is a mode of order *. The amorphous logical "substance" precedes (transcends) its representation. The logical transcends logic. (shrink)

The main research goal of the work is to study the notion of co-topos, its correctness, properties and relations with toposes. In particular, the dualization process proposed by proponents of co-toposes has been analyzed, which transforms certain Heyting algebras of toposes into co-Heyting ones, by which a kind of paraconsistent logic may appear in place of intuitionistic logic. It has been shown that if certain two definitions of topos are to be equivalent, then in one of them, (...) in the context of a subobject classifier, there should be a neutral label for the generic subobject, or if the label "true" appears instead, it carries no additional properties or assumptions. It has been shown that a natural isomorphism occurring in one of the definitions of topos need not be an isomorphism of the corresponding algebraic structures on the sets, so that a co-Heyting algebraic structure can be defined on the set of characteristic morphisms, which moreover will also be natural. The analyzes suggest that the notion of co-topos may be considered correct. However, it should be strongly emphasized that although the possibility of defining the notion of co-topos has been shown, its further full consequences should be very carefully examined, which can severely limit its logical applications. (shrink)

Standard epistemic logic actually formalizes folk-psychology. The problem of logical omniscience shows that this logic is not adequate in a cognitivist setting. In order to describe realistic information-processing believers, we need both an ontology of particulars and a hyper-intensional taxonomy of representations. From this point of view, sub-structural logics, which do not overlook the syntaxic details of the processing of information, are an interesting alternative to possible worlds semantics.

It is a received view that Kant’s formal logic (or what he calls “pure general logic”) is thoroughly intensional. On this view, even the notion of logical extension must be understood solely in terms of the concepts that are subordinate to a given concept. I grant that the subordination relation among concepts is an important theme in Kant’s logical doctrine of concepts. But I argue that it is both possible and important to ascribe to Kant an objectual notion (...) of logical extension according to which the extension of a concept is the multitude of objects falling under it. I begin by defending this ascription in response to three reasons that are commonly invoked against it. First, I explain that this ascription is compatible with Kant’s philosophical reflections on the nature and boundary of a formal logic. Second, I show that the objectual notion of extension I ascribe to Kant can be traced back to many of the early modern works of logic with which he was more or less familiar. Third, I argue that such a notion of extension makes perfect sense of a pivotal principle in Kant’s logic, namely the principle that the quantity of a concept’s extension is inversely proportional to that of its intension. In the process, I tease out two important features of the Kantian objectual notion of logical extension in terms of which it markedly differs from the modern one. First, on the modern notion the extension of a concept is the sum of the objects actually falling under it; on the Kantian notion, by contrast, the extension of a concept consists of the multitude of possible objects—not in the metaphysical sense of possibility, though—to which a concept applies in virtue of being a general representation. While the quantity of the former extension is finite, that of the latter is infinite—as is reflected in Kant’s use of a plane-geometrical figure (e.g., circle, square), which is continuum as opposed to discretum, to represent the extension in question. Second, on the modern notion of extension, a concept that signifies exactly one object has a one-member extension; on the Kantian notion, however, such a concept has no extension at all—for a concept is taken to have extension only if it signifies a multitude of things. This feature of logical extension is manifested in Kant’s claim that a singular concept (or a concept in its singular use) can, for lack of extension, be figuratively represented only by a point—as opposed to an extended figure like circle, which is reserved for a general concept (or a concept in its general use). Precisely on account of these two features, the Kantian objectual extension proves vital to Kant’s theory of logical quantification (in universal, particular and singular judgments, respectively) and to his view regarding the formal truth of analytic judgments. (shrink)

The post-Kantians were inspired by Kant’s Critique of Judgment to forge a new synthesis of natural philosophy, art and history that would overcome the dualisms and gulfs within Kant’s philosophy. Focusing on biology and showing how Schelling reworked and transformed Kant’s insights, it is argued that Schelling was largely successful in laying the foundations for this synthesis, although he was not always consistent in building on these foundations. To appreciate this achievement, it is argued that Schelling should not be interpreted (...) as an idealist but as a process metaphysician; as he claimed, overcoming the oppositions between idealism and realism, spiritualism and materialism. It is also argued that as a process metaphysician, Schelling not merely defended an organic view of nature but developed a theory of emergence and a new conception of life relevant to current theoretical and philosophical biology. This interpretation provides a defense of process metaphysics as the logical successor to Kant’s critical philosophy and thereby as the most defensible tradition of philosophy up to the present. It provides the foundations for post-reductionist science, reconciling the sciences, the arts and the humanities, and provides the basis for a more satisfactory ethics and political philosophy. Most importantly, it overcomes the nihilism of European civilization, providing the foundations for a global ecological civilization. (shrink)

This essay presents a philosophical and computational theory of the representation of de re, de dicto, nested, and quasi-indexical belief reports expressed in natural language. The propositional Semantic Network Processing System (SNePS) is used for representing and reasoning about these reports. In particular, quasi-indicators (indexical expressions occurring in intentional contexts and representing uses of indicators by another speaker) pose problems for natural-language representation and reasoning systems, because--unlike pure indicators--they cannot be replaced by coreferential NPs without changing the meaning of the (...) embedding sentence. Therefore, the referent of the quasi-indicator must be represented in such a way that no invalid coreferential claims are entailed. The importance of quasi-indicators is discussed, and it is shown that all four of the above categories of belief reports can be handled by a single representational technique using belief spaces containing intensional entities. Inference rules and belief-revision techniques for the system are also examined. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

I take advantage of two recent results: 1) the recognition of an alternative theoretical organization to the deductive-axiomatic one; it is characterized by a sequence of four logical steps belonging to intuitionist logic; 2) the recognition of the logical content of Cusanus’ philosophical works; also this content pertains to intuitionist logic, which Cusanus anticipated by even identifying some its logical laws. Many Cusanus’ books present the alternative theoretical organization; whose yet he did not apply in a clear way (...) its last two steps, the ad absurdum arguing and the application of the principle of sufficient reason. For this reason in the last books his thinking transcended to a metaphysical level. Hegel’s philosophy of logic shares Cusanus’ philosophical effort for exiting out classical logic. He seems to have assumed Cusanus’ anticipation of the new theoretical organization; all goes as if Hegel wanted to improve Cusanus’ poor method, by introducing a process of additions of two negations which however does not agree with the intuitionist logic. Moreover, Hegel presupposes, like Cusanus in his last years, the free application of the principle of sufficient reason to the entire subject of his philosophy of logic without awareness of the logical constraints to which is subject a correct application of this principle; hence, he introduced a metaphysical arguing which according to modern mathematical logic has no consistent content. Also Hegel’s supposed prolongation of Cusanus’ logical discoveries was an essentially metaphysical view. (shrink)

Logic has its roots in the study of valid argument, but while traditional logicians worked with natural language directly, modern approaches first translate natural arguments into an artificial language. The reason for this step is that some artificial languages now have very well developed inferential systems. There is no doubt that this is a great advantage in general, but for the study of natural reasoning it is a drawback that the original linguistic forms get lost in translation. An alternative (...) approach would be to develop a general theory of the natural logic behind human reasoning and human information processing by studying formal logics that operate directly on linguistic representations. That this is possible we will try to make plausible in this paper. It will turn out that one level of representation, that of Logical Form, can meaningfully be identified with the language of an existing and well-understood logic, a restricted form of the theory of types. It is not difficult to devise inference systems for this language, and it is thus possible to study reasoning systems that are based directly on language. (shrink)

This paper shows how to derive nested calculi from labelled calculi for propositional intuitionistic logic and first-order intuitionistic logic with constant domains, thus connecting the general results for labelled calculi with the more refined formalism of nested sequents. The extraction of nested calculi from labelled calculi obtains via considerations pertaining to the elimination of structural rules in labelled derivations. Each aspect of the extraction process is motivated and detailed, showing that each nested calculus inherits favorable proof-theoretic properties (...) from its associated labelled calculus. (shrink)

This paper deals with the study of the nature of mind, its processes and its relations with the other filed known as logic, especially the contribution of most notable contemporary analytical philosophy Ludwig Wittgenstein. Wittgenstein showed a critical relation between the mind and logic. He assumed that every mental process is logical. Mental field is field of space and time and logical field is a field of reasoning (inductive and deductive). It is only with the advancement in (...) logic, we are today in the era of scientific progress and technology. Logic played an important role in the cognitive part or we can say in the ‗philosophy of mind‘ that this branch is developed only because of three crucial theories i.e. rationalism, empiricism, and criticism. In this paper, it is argued that innate ideas or truth are equated with deduction and acquired truths are related with induction. This article also enhance the role of language in the makeup of the world of mind, although mind and the thought are the terms that are used by the philosophers synonymously but in this paper they are taken and interpreted differently. It shows the development in the analytical tradition subjected to the areas of mind and logic and their critical relation. (shrink)

The starting point of this paper is the idea that linguistic representation is the result of a global process: a process of interaction of a community of cognitive-linguistic agents, with one another and with the environment. I maintain that the study of truth, meaning and related notions should be addressed without losing perspective of this process, and I oppose the ‘static’ or ‘analytic’ approach, which is fundamentally based on our own knowledge of the conventional meaning of words (...) and sentences, and the ability of using them that we have as competent speakers. I argue that the analytic perspective is responsible for five recurring difficulties in truthmaker theory: (1) the lack of attention to the difference of explanatory role between the distinct notions proposed as primary truthbearer; (2) the adscription of purely extra-linguistic truthmakers to ‘synthetic truths’, ignoring the contribution of the linguistic factor; (3) the adscription of purely linguistic truthmakers to ‘logical’ and ‘analytic truths’, ignoring the contribution of the worldly factor; (4) the difficulties in the search for minimal truthmakers; (5) the problems in the treatment of ‘negative facts’ and of other ‘logically complex facts’. I do not provide an account of how to solve these difficulties, but I do show how the ‘process model’ helps to clear up confusion regarding them. (shrink)

Charles S. Peirce (1839-1914) made relevant contributions to deductive logic, but he was primarily interested in the logic of science, and more especially in what he called 'abduction' (as opposed to deduction and induction), which is the process whereby hypotheses are generated in order to explain the surprising facts. Indeed, Peirce considered abduction to be at the heart not only of scientific research, but of all ordinary human activities. Nevertheless, in spite of Peirce's work and writings in (...) the field of methodology of research, scarce attention has been paid to the logic of discovery over the last hundred years, despite an impressive development not only of scientific research but also of logic. -/- Having this in mind, the exposition is divided into five parts: 1) a brief presentation of Peirce, focusing on his work as a professional scientist; 2) an exposition of the classification of inferences by the young Peirce: deduction, induction and hypothesis; 3) a sketch of the notion of abduction in the mature Peirce; 4) an exposition of the logic of surprise; and finally, by way of conclusion, 5) a discussion of this peculiar ability of guessing understood as a rational instinct. -/- . (shrink)

The recent debate on hypercomputation has raised new questions both on the computational abilities of quantum systems and the Church-Turing Thesis role in Physics.We propose here the idea of “effective physical process” as the essentially physical notion of computation. By using the Bohm and Hiley active information concept we analyze the differences between the standard form (quantum gates) and the non-standard one (adiabatic and morphogenetic) of Quantum Computing, and we point out how its Super-Turing potentialities derive from an incomputable (...) information source in accordance with Bell’s constraints. On condition that we give up the formal concept of “universality”, the possibility to realize quantum oracles is reachable. In this way computation is led back to the logic of physical world. (shrink)

Philosophers such as Nietzsche, Heidegger, Derrida, Deleuze and Gendlin pronounce that difference must be understood as ontologically prior to identity. They teach that identity is a surface effect of difference, that to understand the basis of logico-mathematical idealities we must uncover their genesis in the fecundity of differentiation. In this paper, I contrast Heidegger’s analyses of the present to hand logico-mathematical object, which he discuses over the course of his career in terms of the ‘as’ structure, temporalization and enframing , (...) with the approaches of Gendlin and Deleuze, supplementing this discussion with Husserl’s investigations of mathematical idealities. Deleuze and Gendlin distinguish between the representational power a logical pattern has in itself, apart from its virtual generative source, to exactly repeat itself, and the way this self-same pattern is generated and changed by the larger situational texture within which it is embedded. In so doing, they misconstrue the empty, meaningless temporalization of logical calculation as the explicitly preserving carrying-through of already instituted implicit sense. For Heidegger, by contrast, logical inference is less a supplement to or development of implicit experience than a narrowing of its scope , a deficient mode of handiness. Experiencing something as present to hand extension modifies the relevant usefulness of ‘as’ structured comportment by stripping away what is meaningful in our relation with beings, and in the process stripping away its intelligibility. Thus, contrary to the assertions of Deleuze and Gendlin, extensive repetition does not carry through intelligible, relevant meaning, it dissolves understanding into the nihilism of empty calculation. (shrink)

Against the separation of metaphysics and science advocated for by Plato and his followers and against the rejection of metaphysics in favour of science the Logical Positivists, this work argues that 'a new link' between metaphysics and science is all the more necessary for man to better understand nature. This is precisely what Whitehead's process metaphysics purports to do. But why is 'a new link' necessary It is necessary because Aristotle and his followers already established a link 'an old (...) link' by making metaphysics the foundation of all the sciences. Yet, Aristotelian metaphysics is a substance based metaphysics while Whitehead's metaphysics takes process and especially the category of relation seriously. Whitehead's Process metaphysics prioritizes process over permanence, becoming over being, relation over substance. Why does Whitehead have such preference for process metaphysics over classical metaphysics The answer, as shall be shown in this paper, lies in science with the demise of Newtonian science and the rise of Einsteinian science based on the theory of relativity. In an era when the concept of depassement de la metaphysique has become such a dominant feature of modern and postmodern thought, it is therefore our point of interest to find out why Whitehead who situates himself within this period takes up metaphysics as the foundation of his philosophizing Why does Whitehead embark on reconciling science and metaphysics when all his contemporaries are dissociating themselves from the former These questions will be the main concern of my research in this paper. (shrink)

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

This thesis introduces the "method of structural refinement", which serves as a means of transforming the relational semantics of a modal and/or constructive logic into an 'economical' proof system by connecting two proof-theoretic paradigms: labelled and nested sequent calculi. The formalism of labelled sequents has been successful in that cut-free calculi in possession of desirable proof-theoretic properties can be automatically generated for large classes of logics. Despite these qualities, labelled systems make use of a complicated syntax that explicitly incorporates (...) the semantics of the associated logic, and such systems typically violate the subformula property to a high degree. By contrast, nested sequent calculi employ a simpler syntax and adhere to a strict reading of the subformula property, making such systems useful in the design of automated reasoning algorithms. However, the downside of the nested sequent paradigm is that a general theory concerning the automated construction of such calculi (as in the labelled setting) is essentially absent, meaning that the construction of nested systems and the confirmation of their properties is usually done on a case-by-case basis. The refinement method connects both paradigms in a fruitful way, by transforming labelled systems into nested (or, refined labelled) systems with the properties of the former preserved throughout the transformation process. To demonstrate the method of refinement and some of its applications, we consider grammar logics, first-order intuitionistic logics, and deontic STIT logics. The introduced refined labelled calculi will be used to provide the first proof-search algorithms for deontic STIT logics. Furthermore, we employ our refined labelled calculi for grammar logics to show that every logic in the class possesses the effective Lyndon interpolation property. (shrink)

Human cognitive process as a combination of the triad Knower - Knowing - Known and the language learning process as a combination of the triad Subject -Verb - Object will be understood in the light of ancient Indian wisdom as revealed in the Upanishads and will be presented. -/- A physics awareness of Advaita (No Two) concept will be used to model human mental processes such as – Knowing / Learning, Perception / Thinking / Logic, Understanding / (...) Experiencing / Awareness of meaning of a sentence. This awareness will further be used to prepare a flow-chart / block-diagram involving gross energy -transformations in human cognitive process. -/- This awareness will be corresponded to the awareness of Sri Aurobindo and Sri Ramana Maharshi on human consciousness. Implications of this model to natural language comprehension field of artificial intelligence will be presented combining with the ideas of connectionism. -/- . (shrink)

The assumption that known physical laws are sufficient for explaining mental phenomena is flawed from the outset. Qualities such as phenomenal redness do not exist within the known physical laws so by definition they are incomplete. Now assuming a new law was added that could explain how some physical property or vibration causes or is associated with phenomenal redness it would not be enough because it still wouldn’t explain how different qualities are bound together into a subjective unity. Assuming more (...) additional laws could now explain the popping into existence of subjective selves this also would still not be enough because a subjective self that cannot be directly observed nor indirectly observed via its effects vanishes into non-existence. This implies that subjective selves must have causal efficacy. But this would require still additional physical laws or perhaps an accommodated interpretation of quantum physics because there is no current understanding of how a mind can change the probability distribution of matter. But even if an expanded quantum physics was understood this would still not be enough because no general law can determine the indexical fact that I am me and you are you. -/- Then the hard problem of consciousness is real, non-trivial and when taken seriously appears to be actually separate problems. 1. How are qualia generated from purely physical activity? This appears to be a strictly deterministic process. 2. The so called binding problem. That is how is that I hear a sound and see a visual scene and feel a bodily sensation, all separate modalities that are unrelated, and yet I experience them all at the same time? 3. Can it be that I am causally efficacious? It certainly seems that the actual feelings of pain and pleasure serve some real purpose. Since conscious entities can never be directly observed and are only known through their effects, if they have no effects they disappear altogether. 4. The so called problem of indexicality. That is why I am me and not you. This seems to be a real fact above and beyond any objective fact. Eliminative materialism ignores the empirical evidence that phenomenal qualities exist and in doing so attains logical consistency. Other forms of emergence that try to explain qualia and give it a meaning while being restricted to physical closure are illogical. I explore these hard problems and arrive at a justification for a panpsychic interactive dualism. (shrink)

Barbour shows that time does not exist in the physical world, and similar conclusions are reached by others such as Deutsch, Davies and Woodward. Every possible configuration of a physical environment simply exists in the universe. The system is objectively static. Observation, however, is an inherently transtemporal phenomenon, involving actual or effective change of the configuration, collapse. Since, in a static environment, all possible configurations exist, transtemporal reality is of the logical type of a movie. The frame of a movie (...) film is of one logical type, an element of a set of frames, the movie, itself of a second logical type. In a static no-collapse universe, the configurations are of the first logical type, transtemporal reality of the second. To run, the movie requires iteration, a third logical type. Phenomenal consciousness is subjectively experienced as of this third logical type with regard to physical configurations. Everett's formulation clearly describes the transtemporal reality of an observer, which follows the physical in the linear dynamics, but departs from it on observation, giving rise to the the appearance of collapse, and the alternation of dynamics defined in the standard von Neumann-Dirac formulation. Since there is no physical collapse, his formulation is disputed. Given an iterator of the third logical type, the appearance of collapse is simply evidence of iteration. Chalmers demonstrates that phenomenal consciousness is of this logical type, an emergent property of the unitary system as a whole. Given an iterative function of this nature, one contextual to the physical configurations, paradoxes of time are resolved. Subjectively, meaning from the perspective of the iterative process, time passes in an objectively static universe, and the appearance of collapse is effected. (shrink)

Cognitive scientists used to deem reasoning either as a higher cognitive process based on the manipulation of abstract rules or as a higher cognitive process that is stochastic rather than involving abstract rules. I maintain that these different perspectives are closely intertwined with a theoretical and methodological endorsement of either cognitivism or connectionism. Cognitivism and connectionism represent two prevailing and opposed paradigms in cognitive science. I aim to extoll the virtues of connectionist models of enthymematic reasoning by following (...) means: via the phenomenon of creative enthymeme, viz. the inference where one cannot even articulate the missing premise, I introduce a connectionist mechanism of pattern recognition as underlying expertise; via Gestalt switch or Gestalt click, I demonstrate how differences in pattern recognition of an expert and a novice can be construed as qualitatively different, and not merely a matter of faster reasoning. (shrink)

As presented in the early work, 'Revolution in Poetic Language,' Julia Kristeva’s 'subject-in-process' can be interpreted as a semiotic alternative to older conceptions of the philosophical subject.This discussion of Kristeva’s early work will attempt to demonstrate that new interpretations of Fregean logic and Freudian psychoanalysis radically displace the traditional subject. This act of displacement allows Kristeva to employ Hegelian dialectics to introduce a “textual” conception of meaning of experience. As a consequence, the Kristevan semiotexte offers a basis for (...) both understanding and misunderstanding in which language mediates between semiotic meaning and cultural practices. The conclusion of the paper maintains that Kristeva's unique formulation of the semiotexte re-defines human subjectivity in relation to the existing world. (shrink)

In this paper, I present a conception of meaning in natural language that I call the ‘process model’. According to this conception, meaning must be regarded as the result of a process of interaction in a community of cognitive-linguistic agents, with one another and with the environment. Drawing on this understanding, I argue that the study of meaning should no longer focus on logical analysis, but rather on an empirical perspective similar to the one in the other social (...) sciences. I briefly compare this view with semantic Platonism, as well as with Wittgenstein’s and Quine’s approaches to meaning. Finally, I outline a way in which this approach could be applied to two current problems in the philosophy of language: the treatment of linguistic vagueness and the definition of truth. The treatment of all these questions is very cursory, as a sort of travel guide for a future more detailed research. (shrink)

This article argues against Bowman Clarke's attempt to eliminate futurity from the God of Process.