In this article, I outline a logic of design of a system as a specific kind of conceptual logic of the design of the model of a system, that is, the blueprint that provides information about the system to be created. In section two, I introduce the method of levels of abstraction as a modelling tool borrowed from computer science. In section three, I use this method to clarify two main conceptual logics of information inherited from (...) modernity: Kant’s transcendental logic of conditions of possibility of a system, and Hegel’s dialectical logic of conditions of in/stability of a system. Both conceptual logics of information analyse structural properties of given systems. Strictly speaking, neither is a conceptual logic of information about the conditions of feasibility of a system, that is, neither is a logic of information as a logic of design. So, in section four, I outline this third conceptual logic of information and then interpret the conceptual logic of design as a logic of requirements, by introducing the relation of “sufficientisation”. In the conclusion, I argue that the logic of requirements is exactly what we need in order to make sense of, and buttress, a constructionist approach to knowledge. (shrink)

Accurate and precise trajectory tracking is crucial for a quadrotor to operate in disturbed environments. This paper presents a novel tracking hybrid controller for a quadrotor UAV that combines the Adaptive and Fuzzy logic controller. The Adaptive fuzzy controller is implemented to govern the behavior of two degrees of freedom quadrotor UAV. The proposed controller allows controlling the movement of UAVs to track a given trajectory in a 2D vertical plane. The Fuzzy Logic system provides an automatic adjustment (...) of the Adaptive parameters to reduce tracking errors and improve the quality of the controller. The results showed perfect behavior for the control law to control a quadrotor trajectory tracking task. To show the effectiveness of the intelligent controller, simulation results are given to confirm the advantages of the proposed control method, compared with Fuzzy and Proportional integral derivative (PID) control methods. (shrink)

The purpose of this paper is to review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS) .

Purpose – To review and discuss Luciano Floridi’s 2019 book The Logic of Information: A Theory of Philosophy as Conceptual Design, the latest instalment in his philosophy of information (PI) tetralogy, particularly with respect to its implications for library and information studies (LIS). Design/methodology/approach – Nine scholars with research interests in philosophy and LIS read and responded to the book, raising critical and heuristic questions in the spirit of scholarly dialogue. Floridi responded to these questions. Findings – (...) Floridi’s PI, including this latest publication, is of interest to LIS scholars, and much insight can be gained by exploring this connection. It seems also that LIS has the potential to contribute to PI’s further development in some respects. Research implications – Floridi’s PI work is technical philosophy for which many LIS scholars do not have the training or patience to engage with, yet doing so is rewarding. This suggests a role for translational work between philosophy and LIS. Originality/value – The book symposium format, not yet seen in LIS, provides forum for sustained, multifaceted and generative dialogue around ideas. (shrink)

One of the primary, if not most critical, difficulties in the design and implementation of autonomous systems is the black-boxed nature of the decision-making structures and logical pathways. How human values are embodied and actualised in situ may ultimately prove to be harmful if not outright recalcitrant. For this reason, the values of stakeholders become of particular significance given the risks posed by opaque structures of intelligent agents (IAs). This paper explores how decision matrix algorithms, via the belief-desire-intention model (...) for autonomous vehicles, can be designed to minimize the risks of opaque architectures. Primarily through an explicit orientation towards designing for the values of explainability and verifiability. In doing so, this research adopts the Value Sensitive Design (VSD) approach as a principled framework for the incorporation of such values within design. VSD is recognized as a potential starting point that offers a systematic way for engineering teams to formally incorporate existing technical solutions within ethical design, while simultaneously remaining pliable to emerging issues and needs. It is concluded that the VSD methodology offers at least a strong enough foundation from which designers can begin to anticipate design needs and formulate salient design flows that can be adapted to the changing ethical landscapes required for utilisation in autonomous vehicles. (shrink)

Gillian Russell has recently proposed counterexamples to such elementary argument forms as Conjunction Introduction and Identity. These purported counterexamples involve expressions that are sensitive to linguistic context—for example, a sentence which is true when it appears alone but false when embedded in a larger sentence. If they are genuine counterexamples, it looks as though logical nihilism—the view that there are no valid argument forms—might be true. In this paper, I argue that the purported counterexamples are not genuine, on the grounds (...) that they equivocate. Having defused the threat of logical nihilism, I argue that the kind of linguistic context sensitivity at work in Russell’s purported counterexamples, if taken seriously, far from leading to logical nihilism, reveals new, previously undreamt-of valid forms. By way of proof of concept I present a simple logic, Solo-Only Propositional Logic, designed to capture some of them. Along the way, some interesting subtleties about the fallacy of equivocation are revealed. (shrink)

Does rationality require logical omniscience? Our best formal theories of rationality imply that it does, but our ordinary evaluations of rationality seem to suggest otherwise. This paper aims to resolve the tension by arguing that our ordinary evaluations of rationality are not only consistent with the thesis that rationality requires logical omniscience, but also provide a compelling rationale for accepting this thesis in the first place. This paper also defends an account of apriori justification for logical beliefs that is designed (...) to explain the rational requirement of logical omniscience. On this account, apriori justification for beliefs about logic has its source in logical facts, rather than psychological facts about experience, reasoning, or understanding. This account has important consequences for the epistemic role of experience in the logical domain. In a slogan, the epistemic role of experience in the apriori domain is not a justifying role, but rather an enabling and disabling role. (shrink)

This paper introduces two languages and associated logics designed to afford perspicuous representations of a range of natural language arguments involving adverbs and the like: first-order logic with basic adverbs (FOL-BA) and first-order logic with scoped adverbs (FOL-SA). The guiding logical idea is that an adverb can come between a term and the rest of the statement it is a part of, resulting in a logically stronger statement. I explain various interesting challenges that arise in the attempt to (...) implement the guiding idea, and provide solutions for some but not all of them. I conclude by outlining some directions for further research. (shrink)

Sentences about logic are often used to show that certain embedding expressions are hyperintensional. Yet it is not clear how to regiment “logic talk” in the object language so that it can be compositionally embedded under such expressions. In this paper, I develop a formal system called hyperlogic that is designed to do just that. I provide a hyperintensional semantics for hyperlogic that doesn’t appeal to logically impossible worlds, as traditionally understood, but instead uses a shiftable parameter that (...) determines the interpretation of the logical connectives. I argue this semantics compares favorably to the more common impossible worlds semantics, which faces difficulties interpreting propositionally quantified logic talk. (shrink)

Can we design a perfect democratic decision procedure? Condorcet famously observed that majority rule, our paradigmatic democratic procedure, has some desirable properties, but sometimes produces inconsistent outcomes. Revisiting Condorcet’s insights in light of recent work on the aggregation of judgments, I show that there is a conflict between three initially plausible requirements of democracy: “robustness to pluralism”, “basic majoritarianism”, and “collective rationality”. For all but the simplest collective decision problems, no decision procedure meets these three requirements at once; at (...) most two can be met together. This “democratic trilemma” raises the question of which requirement to give up. Since different answers correspond to different views about what matters most in a democracy, the trilemma suggests a map of the “logical space” in which different conceptions of democracy are located. It also sharpens our thinking about other impossibility problems of social choice and how to avoid them, by capturing a core structure many of these problems have in common. More broadly, it raises the idea of “cartography of logical space” in relation to contested political concepts. (shrink)

Hyperlogic is a hyperintensional system designed to regiment metalogical claims (e.g., “Intuitionistic logic is correct” or “The law of excluded middle holds”) into the object language, including within embedded environments such as attitude reports and counterfactuals. This paper is the first of a two-part series exploring the logic of hyperlogic. This part presents a minimal logic of hyperlogic and proves its completeness. It consists of two interdefined axiomatic systems: one for classical consequence (truth preservation under a classical (...) interpretation of the connectives) and one for “universal” consequence (truth preservation under any interpretation). The sequel to this paper explores stronger logics that are sound and complete over various restricted classes of models as well as languages with hyperintensional operators. (shrink)

Gravitation is interpreted to be an “ontomathematical” force or interaction rather than an only physical one. That approach restores Newton’s original design of universal gravitation in the framework of “The Mathematical Principles of Natural Philosophy”, which allows for Einstein’s special and general relativity to be also reinterpreted ontomathematically. The entanglement theory of quantum gravitation is inherently involved also ontomathematically by virtue of the consideration of the qubit Hilbert space after entanglement as the Fourier counterpart of pseudo-Riemannian space. Gravitation can (...) be also interpreted as purely mathematical or logical “force” or “interaction” as a corollary from its ontomathematical (rather than physical) realization. The ontomathematical approach to gravitation is implicit in general relativity equating it to operators in pseudo-Riemannian space obeying the Einstein field equation and also well-known by the “geometrization of physics”. Quantum mechanics shares the same by the separable complex Hilbert space and defining “physical quantity” by the Hermitian operators on it. One can interpret special Minkowski space involved by special relativity and the qubit Hilbert space of quantum information as Fourier counterparts immediately noticing that general relativity means gravitation as the Fourier counterpart of non-Hermitian operators implying non-unitarity and the violation of energy conservation and thus destroying Pauli’s particle paradigm. Since the Standard model obeys it, this explains the impossibility of “quantum gravitation” in any framework conservatively generalizing the Standard model so that it would include gravitation along with electromagnetic, weak, and strong interactions. Einstein’s geometrization of gravitation can be continued into a purely mathematical theory of it following Euclid’s realization for geometry to be exhaustively built in a deductive and axiomatic way as well as Riemann’s parametrization of all the class of Euclidean and non-Euclidean geometries by “space curvature”, then being generalized to Minkowski space as the operators on pseudo-Riemannian space as the Einstein field equation means gravitation. The transition from mathematical gravitation to logical one can rely on the historical lesson of the pair of Lobachevski’s and Riemann’s approaches now “reversely”, i.e., from the latter to the former. Logical gravitation is linkable to Hegel’s dialectical logic and ontological dialectics abandoning their interpretations as a new zero logic substituting classical propionyl logic. The approach of ontomathematics generalizing that of ontology, traceable even to Aristotle’s reformation of Plato’s doctrine, needs Hegel’s doctrine to be formalized as a first-order logic naturally containing Boolean algebra, isomorphic to both classical propositional logic and set theory being the class of all first-order logics, as a sub-logic along with Peano arithmetic as another sub-logic. The first-order logic at issue is called Hilbert arithmetic and elaborated in detail in other papers. It allows for both self-foundation of mathematics to be internally proved as complete and furthermore, quantum mechanics reinterpreted as quantum information to be included by the qubit Hilbert space interpretable in turn as a dual and physical counterpart of Hilbert arithmetic in a narrow sense, that is, both counterparts constitute Hilbert arithmetic in a wide sense, being mathematical and physical simultaneously and thus overcoming the Cartesian dualism of “body” gapped from “mind” by an abyss. Then, the proper philosophical interpretation of gravitation to be the fundamental ontomathematical force or interaction overcomes the ridiculous belief of the Big Bang wrongly alleged to be a scientific theory. Ontomathematical gravitation suggests an omnipresent and omnitemporal medium of “God’s” creation “ex nihilo” following only the natural necessity of quantum-information conservation particularly and locally manifested as energy conservation. (shrink)

The Symbolic Logic Study Guide is designed to accompany the widely used symbolic logic textbook Language, Proof and Logic (LPL), by Jon Barwise and John Etchemendy (CSLI Publications 2003). The guide has two parts. The first part contains condensed, essential lecture notes, which streamline and systematize the first fourteen chapters of the book into seven teaching sections, and thus provide a clear, well-designed roadmap for the understanding of the text. The second part consists of twelve sample quizzes (...) and solutions. The Symbolic Logic Study Guide is essential for all instructors and students who use LPL in their symbolic logic classes. (shrink)

The present article delves into the extension of Knuth’s fundamental Boolean logic table to accommodate the complexities of indeterminate truth values through the integration of neutrosophic logic (Smarandache & Christianto, 2008). Neutrosophic logic, rooted in Florentin Smarandache’s groundbreaking work on Neutrosophic Logic (cf. Smarandache, 2005, and his other works), introduces an additional truth value, ‘indeterminate,’ enabling a more comprehensive framework to analyze uncertainties inherent in computational systems. By bridging the gap between traditional boolean operations and the (...) indeterminacy present in various real-world scenarios, this extension redefines logic tables, introducing neutrosophic operators that capture nuances beyond the binary realm. Through a thorough exploration of neutrosophic logic's principles and its implications in computational paradigms, this study proposes a novel approach to logic design that accommodates uncertain, imprecise, and incomplete information. This paradigm shift in logic tables not only broadens the spectrum of computing methodologies but also holds promise in fields such as decision-making systems and data analytics. This article amalgamates insights from over twelve key references encompassing seminal works in boolean logic, neutrosophic logic, and their applications in diverse scientific and computational domains, aiming to pave the way for a more robust and adaptable logic framework in computation. (shrink)

In the last decades Human-Computer Interaction (HCI) has started to focus attention on “persuasive technologies” having the goal of changing users’ behavior and attitudes according to a predefined direction. In this talk we show how some of the techniques employed in such technologies trigger some well known cognitive biases by adopting a strategy relying on logical fallacies (i.e. forms of reasoning which are logically invalid but psychologically persuasive). In particular, we will show how the mechanisms reducible to logical fallacies are (...) used to design web and mobile interfaces in domains ranging from the e-commerce to the jihadist propaganda. The final part of the talk will be devoted to point out the potential ethical dangers related to the misuse of these techniques in the design of persuasive technologies. (shrink)

In this paper, a Magnetic Levitation (MAGLEV) train is designed with a first degree of freedom electromagnetbased totally system that permits to levitate vertically up and down. Fuzzy logic, PID and MRAS controllers are used to improve the Magnetic Levitation train passenger comfort and road handling. A Matlab Simulink model is used to compare the performance of the three controllers using step input signals. The stability of the Magnetic Levitation train is analyzed using root locus technique. Controller output response (...) for different time period and change of air gap with different time period is analyzed for the three controllers. Finally the comparative simulation and experimental results demonstrate the effectiveness of the presented fuzzy logic controller. (shrink)

In my presentation I argue for the utility of a philosophical counseling method, called logic-based therapy (LBT), in the treatment of addicted populations. In the context of addiction treatment LBT could be also classified as a philosophical psychotherapy. Philosophical psychotherapy can be understood as an umbrella term for interventions designed to treat mental health disorders, with theoretical foundations that are philosophical. Philosophical psychotherapy would be distinct from philosophical counseling, as the latter does not directly treat mental health disorders. I (...) suggest that LBT has utility beyond philosophical counseling and is a viable intervention in the treatment of certain mental health disorders, like substance use disorders. I provide a brief overview of LBT and then discuss a LBT case study with a client suffering diagnosed with a substance use disorder. In the case study the client was advised to apply the moral philosophy of Friedrich Nietzsche as an uplifting philosophical framework to counteract his unproductive worldview and fallacious thinking. Considering that there is an ostensibly low efficacy rate for the treatment of addiction, articulating the value of philosophical psychotherapies in the context of addiction treatment can assist in the development of novel philosophically-based addiction treatment and recovery-oriented programs––thus expanding the treatment and recovery options available for those seeking recovery from addiction. (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)

The chapter provides an overview on what it means to be in a world that is uncertain, e.g., how under conditions of limited understanding any activity is an activity that designs and constructs, and how designing objects, spaces, and situations relates to the (designed) meta-world of second-order cybernetics. Designers require a framework that is open, but one that supplies ethical guidance when ‘constructing’ something new. Relating second-order design thinking to insights in philosophy and aesthetics, the chapter argues that second-order (...) cybernetics provides a response to this ethical challenge and essentially it entails a poetics of designing. //// 'A Poetics of Designing' is part of the first book-length collection of texts in Design Cybernetics. It introduces the subject from the point of view of aesthetics. Importantly, the chapter argues that second-order cybernetics circumvents the necessity for a muse inspired artist or genius as a mediator between higher spirits and life, in favour of artists and designers who have true agency. //// Cybernetics is often associated with AI, which is, however, only one of the branches that developed on the basis of the interdisciplinary research begun in the 1940s and entitled cybernetics. I hope the chapter contributes to a better understanding of the second-order cybernetics that has been conceived in close relationship with art and design from the late 60s onwards. (shrink)

This is the 3rd edition. Although a number of new technological applications require classical deductive computation with non-classical logics, many key technologies still do well—or exclusively, for that matter—with classical logic. In this first volume, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing – a.k.a. formal languages and automata theory – and classical deduction with the classical first-order predicate (...) calculus with a view to computational implementations, namely in automated theorem proving and logic programming. The present third edition improves on the previous ones by providing an altogether more algorithmic approach: There is now a wholly new section on algorithms and there are in total fourteen clearly isolated algorithms designed in pseudo-code. Other improvements are, for instance, an emphasis on functions in Chapter 1 and more exercises with Turing machines. (shrink)

This article provides an analysis of Johannes Clauberg’s intentions in writing his Logica vetus et nova (1654, 1658). Announced before his adherence to Cartesianism, his Logica was eventually developed in order to provide Cartesian philosophy with a Scholastic form, embodying a complete methodology for the academic disciplines based on Descartes’ rules and a medicina mentis against philosophical prejudices. However, this was not its only function: thanks to the rules for the interpretation of philosophical texts it encompassed, Clauberg’s Logica was meant (...) to provide a general hermeneutics designed to put an end to the quarrels raised by the dissemination of Cartesianism. Such quarrels, according to Clauberg, were caused by the misinterpretation of Descartes’ texts in Revius’ Methodi cartesianae consideratio theologica (1648) and Statera philosophiae cartesianae (1650) and in Lentulus’ Nova Renati Descartes sapientia (1651), which criticized the apparent lack of a logical theory in Descartes’ philosophy and its supposed inconsistencies. Clauberg answers their criticisms by giving a clear account of Descartes’ logical theory and by undermining the interpretative criteria they assumed, in light of a general theory of error. Polemics over Cartesian philosophy, in this way, favored the development of a comprehensive Cartesian methodology for academic disciplines and of the first hermeneutics for philosophical texts. (shrink)

In 2001, W. Carnielli and Marcos considered a 3-valued logic in order to prove that the schema ϕ ∨ (ϕ → ψ) is not a theorem of da Costa’s logic Cω. In 2006, this logic was studied (and baptized) as G'3 by Osorio et al. as a tool to define semantics of logic programming. It is known that the truth-tables of G'3 have the same expressive power than the one of Łukasiewicz 3-valued logic as well (...) as the one of Gödel 3-valued logic G3. From this, the three logics coincide up-to language, taking into acccount that 1 is the only designated truth-value in these logics. -/- From the algebraic point of view, Canals-Frau and Figallo have studied the 3-valued modal implicative semilattices, where the modal operator is the well-known Moisil-Monteiro-Baaz Δ operator, and the supremum is definable from this. We prove that the subvariety obtained from this by adding a bottom element 0 is term-equivalent to the variety generated by the 3-valued algebra of G'3. The algebras of that variety are called G'3-algebras. From this result, we obtain the equations which axiomatize the variety of G'3-algebras. Moreover, we prove that this variety is semisimple, and the 3-element and the 2-element chains are the unique simple algebras of the variety. Finally an extension of G'3 to first-order languages is presented, with an algebraic semantics based on complete G'3-algebras. The corresponding soundness and completeness theorems are obtained. (shrink)

There seems to be a widespread conviction — evidenced, for example, in the work of Mackie, Dawkins and Sober — that it is Darwinian rather than Humean considerations which deal the fatal logical blow to arguments for intelligent design. I argue that this conviction cannot be well-founded. If there are current logically decisive objections to design arguments, they must be Humean — for Darwinian considerations count not at all against design arguments based upon apparent cosmological fine-tuning. I (...) argue, further, that there are good Humean reasons for atheists and agnostics to resist the suggestion that apparent design — apparent biological design and/or apparent cosmological fine-tuning — establishes (or even strongly supports) the hypothesis of intelligent design. (shrink)

This paper discusses critically what simulation models of the evolution ofcooperation can possibly prove by examining Axelrod’s “Evolution of Cooperation” and the modeling tradition it has inspired. Hardly any of the many simulation models of the evolution of cooperation in this tradition have been applicable empirically. Axelrod’s role model suggested a research design that seemingly allowed to draw general conclusions from simulation models even if the mechanisms that drive the simulation could not be identified empirically. But this research (...) class='Hi'>design was fundamentally flawed, because it is not possible to draw general empirical conclusions from theoretical simulations. At best such simulations can claim to prove logical possibilities, i.e. they prove that certain phenomena are possible as the consequence of the modeling assumptions built into the simulation, but not that they are possible or can be expected to occur in reality I suggest several requirements under which proofs of logical possibilities can nevertheless be considered useful. Sadly, most Axelrod-style simulations do not meet these requirements. I contrast this with Schelling’s neighborhood segregation model, thecore mechanism of which can be retraced empirically. (shrink)

In this paper we consider the logics L(i,n) obtained from the (n+1)-valued Lukasiewicz logics L(n+1) by taking the order filter generated by i/n as the set of designated elements. In particular, the conditions of maximality and strong maximality among them are analyzed. We present a very general theorem that provides sufficient conditions for maximality between logics. As a consequence of this theorem, it is shown that L(i,n) is maximal w.r.t. CPL whenever n is prime. Concerning strong maximality (i.e. maximality w.r.t. (...) rules instead of only axioms), we provide algebraic arguments in order to show that the logics L(i,n) are not strongly maximal w.r.t. CPL, even for n prime. Indeed, in such case, we show that there is just one extension between L(i,n) and CPL obtained by adding to L(i,n) a kind of graded explosion rule. Finally, using these results, we show that the logics L(i,n) with n prime and i/n < 1/2 are ideal paraconsistent logics. (shrink)

This study focuses on undergraduate students' ability to unpack informally written mathematical statements into the language of predicate calculus. Data were collected between 1989 and 1993 from 61students in six small sections of a “bridge" course designed to introduce proofs and mathematical reasoning. We discuss this data from a perspective that extends the notion of concept image to that of statement image and introduces the notion of proof framework to indicate the top-level logical structure of a proof. For simplified informal (...) calculus statements, just 8.5% of unpacking attempts were successful; for actual statements from calculus texts, this dropped to 5%. We infer that these students would be unable to reliably relate informally stated theorems with the top-level logical structure of their proofs and hence could not be expected to construct proofs or evaluate their validity. (shrink)

My paper moves from Kant's taxonomy for the arguments for the existence of God. After providing a brief survey of Kant's account, I claim that contemporary arguments from design fit Kant's characterization of the physico-theological argument. Then, in the second section, I deal with the logical frame of the argument from design. In the third section I introduce Berkeley's divine language argument (DLA), in order to demonstrate that DLA is an argument from design. Consequently, in the fourth (...) section, I give a refutation of Hooker's and Kline's reading of DLA. Finally, in the last section, I take Berkeley's DLA as a paradigmatic case of the argument from design, showing a fundamental difficulty the argument endorses. (shrink)

Currently available systems of action deontic logic are not designed to model procedures to assess the conduct of an agent which take into account the intentions of the agent and the circumstances in which she is acting. Yet, procedures of this kind are essential to determine what counts as culpable not doing. In light of this, we design an action logic, AL, in which it is possible to distinguish actions that are objectively possible for an agent, viz. (...) there are no objective impediments for the agent to do them, and actions that, besides being objectively possible, are compatible with the setting or intentions of the agent. (shrink)

Gives two pared-down versions of the argument from design, which may prove more persuasive as to a Creator, discusses briefly the mathematics underpinning disbelief and nonbelief and its misuse and some proper uses, moves to why the full argument is needed anyway, viz., to demonstrate Providence, offers a theory as to how miracles (open and hidden) occur, viz. the replacement of any particular mathematics underlying a natural law (save logic) by its most appropriate nonstandard variant. -/- Note: This (...) is an extended abstract; there are no present plans to complete it. (shrink)

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)

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)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued (...) first order logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Lockdowns, or modern quarantines, involve the use of novel restrictive non-pharmaceutical interventions (NPIs) to suppress the transmission of COVID-19. In this paper, I aim to critically analyze the emerging history and philosophy of lockdowns, with an emphasis on the communication of health evidence and risk for informing policy decisions. I draw a distinction between evidence-based and modeling-based decision-making. I argue that using the normative framework of evidence-based medicine would have recommended against the use of lockdowns. I first review the World (...) Health Organization’s evidence-based pandemic preparedness plans for respiratory viruses. I then provide a very brief history of COVID-19 modeling, which was cited as justification for the use of lockdowns in the U.K., the U.S., and much of the world. I focus on the so-called Imperial College model designed by Neil Ferguson et al. as well as the so-called Oxford model designed by José Lourenço et al. I analyze the evidence-based pandemic response known as ‘mitigation’, and I compare it with Ferguson et al.’s experimental strategy known as ‘suppression’. I summarize the strengths and weaknesses of these strategies based on their diametric aims and each model’s parametric assumptions. Based on my critical analysis of the suppression strategy, I attempt to expose what has been called the ‘logic of lockdowns’, which Sunetra Gupta of the Oxford model group has suggested is flawed. Finally, I consider Trisha Greenhalgh’s objection to evidence-based policy based on the precautionary principle, and I attempt to offer a response. I conclude with a brief narrative review of the emerging randomized evidence on restrictive NPIs, which seems to support my claim that mitigation was the strategy that would have been recommended by evidence-based medicine. If this is true, then COVID-19 modeling may serve as an important reminder of the enduring lesson of evidence-based medicine: that one should always ‘Trust the Evidence!’ for better health policy. (shrink)

According to strong pluralist theories of truth, ‘true’ designates different properties depending on which sentences it’s applied to. An influential objection to strong pluralism claims it can’t make sense of logically complex sentences whose components have different truth-properties. For example, if ‘true’ designates correspondents for ‘Tabby is a cat’, and it designates coherence for ‘Tabby is beautiful’, what does it designate for ‘Tabby is a beautiful cat’ (Tappolet 1997)? Will Gamester (2019) has proposed a novel pluralist theory meant to avoid (...) the problem. The theory construes ‘true’ as designating a different property for each possible logical structure, and he has challenged monists to identify shortcomings of the theory in virtue of its pluralism. This paper answers Gamester’s challenge and identifies three such shortcomings. (1) The theory can’t make sense of the idea that all true conjunctions share the property of having true conjuncts, in virtue of which they are true. (2) The theory imposes unmotivated syntactic constraints on the language in which the theory of truth is formulated. (3) Avoiding the second shortcoming requires arbitrary choices among equally good candidates for “the” logical form of sentences and hence the designation of ‘true’ as applied to them. (shrink)

This paper presents an original dialectical logic symbol system designed to transcend the limitations of traditional logical symbols in capturing subjectivity, qualitative aspects, and contradictions inherent in the human mind. By introducing new symbols, such as “ὄ” (being) and “⌀” (nothing), and arranging them based on principles of symmetry, the system’s operations capture complex dialectical relationships essential to both Hegelian philosophy and Buddhist thought. The operations of this system are primarily structured around the categories found in Hegel’s Logic, (...) and it allows users to incorporate their own subjectivity into the logical processes, opening up new possibilities in the philosophy of subjectivity. This symbol system also has the potential to help us explore fundamental questions of language and to precisely describe processes of consciousness transformation through symbols. This form of logic offers a new, irreducible tool for qualitative methods, and it will spark a new philosophical reflection on its relationship with traditional logic and mathematical symbols. (shrink)

In this paper, I consider a family of three-valued regular logics: the well-known strong and weak S.C. Kleene’s logics and two intermedi- ate logics, where one was discovered by M. Fitting and the other one by E. Komendantskaya. All these systems were originally presented in the semantical way and based on the theory of recursion. However, the proof theory of them still is not fully developed. Thus, natural deduction sys- tems are built only for strong Kleene’s logic both with (...) one (A. Urquhart, G. Priest, A. Tamminga) and two designated values (G. Priest, B. Kooi, A. Tamminga). The purpose of this paper is to provide natural deduction systems for weak and intermediate regular logics both with one and two designated values. (shrink)

According to EJ Lowe, diachronic necessity and synchronic necessity are logically independent. Diachronic possibility concerns what could happen to an object over time and therefore concerns future possibilities for that object given its past history. Synchronic possibility concerns what is possible for an object in the present or at a past present moment. These are logically independent, given certain assumptions. While it may true that because I am 38, it is impossible diachronically for me to be 30 (at least once (...) we restrict the degree of relevant possibility), it is possible, given that at some point in the past, I may have been conceived slightly earlier than I was, that I am now 37. Likewise, it is possible diachronically for me to be somewhere other than where I am, but given that one object cannot be in different places at the same time, it is impossible for me now to be somewhere other than where I am, and this is true at each past point in my history too. There are, then, two axis upon which to distinguish what is and is not possible: tensed possibilities and possibilities of degree, which include nomic, metaphysical, and logical necessities, among others. I examine the interactions between these possibilities and I come to the conclusion that logical necessity is not in fact logical necessity simpliciter. Whether something is logically necessary depends upon tensed possibilities. I argue that while synchronic logical necessity entails diachronic logical necessity, the reverse entailment does not hold. I explore the consequences of this for certain philosophical debates in semantics including the concept of rigid designation, and descriptive names. (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)

The theory of granular partitions is designed to capture in a formal framework important aspects of the selective character of common-sense views of reality. It comprehends not merely the ways in which we can view reality by conceiving its objects as gathered together not merely into sets, but also into wholes of various kinds, partitioned into parts at various levels of granularity. We here represent granular partitions as triples consisting of a rooted tree structure as first component, a domain satisfying (...) the axioms of Extensional Mereology as second component, and a mapping (called ’projection’) of the first into the second as a third component. We define ordering relations among granular partitions the resulting structures are called partition frames. We then introduce an axiomatic theory which sentences are interpreted in partition frames. (shrink)

The article examines the principles of Giancarlo De Carlo’s design approach. It pays special attention to his critique of the modernist functionalist logic, which was based on a simplified understanding of users. De Carlo′s participatory design approach was related to his intention to replace of the linear design process characterising the modernist approaches with a non-hierarchical model. Such a non-hierarchical model was applied to the design of the Nuovo Villaggio Matteotti in Terni among other projects. (...) A characteristic of the design approach applied in the case of the Nuovo Villaggio Matteotti is the attention paid to the role of inhabitants during the different phases of the design process. The article explores how De Carlo’s “participatory design” criticised the functionalist approaches of pre-war modernist architects. It analyses De Carlo’s theory and describes how it was made manifest in his architectural practice—particularly in the design for the Nuovo Villaggio Matteotti and the master plan for Urbino—in his teaching and exhibition activities, and in the manner his buildings were photographs and represented through drawings and sketches. The work of Giancarlo De Carlo and, especially, his design methods in the case of the Nuovo Villaggio Matteotti can help us reveal the myths of participatory design approaches within the framework of their endeavour to replace the representation of designers by a representation of users. The article relates the potentials and limits of De Carlo’s participatory design approach to more contemporary concepts such as “negotiated planning”, “co-production”, and “crossbenching”. The article also intends to explore whether there is consistency between De Carlo’s theory of participation and its application. (shrink)

Conceptual Analysis and Design (mCAD) is an information and cognitive technology for knowledge and systems engineering. A conceptual system for a complex knowledge domain contains thousands of linked concepts, necessary in the engineering and management of big and complex systems. Naturally evolved conceptual systems usually contain conceptual gaps and have multiple logical fallacies. mCAD addresses these issues by axiomatic deduction of concepts. This article is a concise overview of Conceptual Analysis and Design, covering its foundations, technological aspects, and (...) notable applications. (shrink)

Trivalence is quite natural for deontic action logic, where actions are treated as good, neutral or bad.We present the ideas of trivalent deontic logic after J. Kalinowski and its realisation in a 3-valued logic of M. Fisher and two systems designed by the authors of the paper: a 4-valued logic inspired by N. Belnap’s logic of truth and information and a 3-valued logic based on nondeterministic matrices. Moreover, we combine Kalinowski’s idea of trivalence with (...) deontic action logic based on boolean algebra. (shrink)

Rosenkranz (2021) devised two bimodal epistemic logics: an idealized one and a realistic one. The former is shown to be sound with respect to a class of neighborhood frames called i-frames. Rosenkranz designed a specific i-frame able to invalidate a series of undesired formulas, proving that these are not theorems of the idealized logic. Nonetheless, an unwanted formula and an unwanted rule of inference are not invalidated. Invalidating the former guarantees the distinction between the two modal operators characteristic of (...) the logic, while invalidating the latter is crucial in order to deal with the problem of logical omniscience. In this paper, I present an i-frame able to invalidate all the undesired formulas already invalidated by Rosenkranz, together with the missing formula and rule of inference. (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)

Basic Formal Ontology (BFO) is a top-level ontology used in hundreds of active projects in scientific and other domains. BFO has been selected to serve as top-level ontology in the Industrial Ontologies Foundry (IOF), an initiative to create a suite of ontologies to support digital manufacturing on the part of representatives from a number of branches of the advanced manufacturing industries. We here present a first draft set of axioms and definitions of an IOF upper ontology descending from BFO. The (...) axiomatization is designed to capture the meanings of terms commonly used in manufacturing and is designed to serve as starting point for the construction of the IOF ontology suite. (shrink)

My dissertation explores the ways in which Rudolf Carnap sought to make philosophy scientific by further developing recent interpretive efforts to explain Carnap’s mature philosophical work as a form of engineering. It does this by looking in detail at his philosophical practice in his most sustained mature project, his work on pure and applied inductive logic. I, first, specify the sort of engineering Carnap is engaged in as involving an engineering design problem and then draw out the complications (...) of design problems from current work in history of engineering and technology studies. I then model Carnap’s practice based on those lessons and uncover ways in which Carnap’s technical work in inductive logic takes some of these lessons on board. This shows ways in which Carnap’s philosophical project subtly changes right through his late work on induction, providing an important corrective to interpretations that ignore the work on inductive logic. Specifically, I show that paying attention to the historical details of Carnap’s attempt to apply his work in inductive logic to decision theory and theoretical statistics in the 1950s and 1960s helps us understand how Carnap develops and rearticulates the philosophical point of the practical/theoretical distinction in his late work, offering thus a new interpretation of Carnap’s technical work within the broader context of philosophy of science and analytical philosophy in general. (shrink)

In this article I present some characteristics of logics and semantics of an uncertain world. I confront two-valued and fuzzy logic. I use Kafka’s novel Process as an example, which is designed as an uncertain context with words which are rigid designators without rigid meaning. That produces an uncertain world of logical and semantical relations. In presentation of problems I introduce basic concepts of Frege’s, Wittgenstein’s, Tarsky’s, Searle’s, Quine’s and Davidson’s philosophy of language. I differ the logical and semantical (...) identification of identity. I differ reference and inference, or representation and identification as two components which are fundamental for the identification of identity. I found this difference on the role of logical unification and granulation of predicates in the structure of thought and semantical unification and granulation of attributes in the structure of statements and their relation to ontology of context. Through the confrontation of the logical and semantical unification and granulation I find that the limits of logic are not also the limits of language. The semantical unification goes over the highest genre and below the lowest species. That enables the extra-logical, non-scientifical, con-fessional, pro-phetical, artistic, and ordinary use of language. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input (...) set of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)