The idea that approximate exactness is the most we can and should expect scientific theories to yield underlies the formation and application of the multi-valued logic of approximation discussed in this paper. In this logic, inexactness is controlled and minimized by means of uniquely designed deductions. We show how the notion of equality is handled within this logic and we apply it to certain principles and interpretations of quantum theory.

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search including proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences.

The use of wireless sensor networks and the Internet of things to detect forest fire outbreaks may help to reduce the response time and avoid natural disasters. This work proposes the deployment of WSN to enhance the real-time monitoring of dynamic variables such as polluting gases, temperature or the presence of fire flames by infrared. In addition, the activation of forest fire alerts if environmental status may involve evidence of a recent fire outbreak. A fuzzy-based controller is implemented to manage (...) the uncertainty related to estimating forest fire occurrence and dynamic update of fuzzy sets is developed to distinguish usual and unusual environmental conditions of every monitored forest area. Merkle trees, AES and hash functions are considered to protect the integrity of environmental data. (shrink)

Two principal sources of imprecision in legal drafting (vagueness and ambiguity) are identified and illustrated. Virtually all of the ambiguity imprecision encountered in legal discourse is ambiguity in the language used to express logical structure, and virtually all of the imprecision resulting is inadvertent. On the other hand, the imprecision encountered in legal writing that results from vagueness is frequently, if not most often, included there deliberately; the drafter has considered it and decided that the vague language best accomplishes (...) the purpose at hand. This paper focuses on the use of some defined terminology for minimizing inadvertent ambiguity in the logical structure of legal discourse, where desired by the drafter. The current set of signaled structural definitions that are included in the A-Hohfeld language are first set forth and their use is illustrated in an extensive example from the treaty establishing the European Economic Community. The use of definitions in legal writing is widespread, butaddressed almost exclusively to controlling the vagueness of substantive legal terms; they are seldom used for structural purposes. Furthermore, their use in American legislative drafting is unsignaled. Here, attention is devoted to the relatively-neglected domain in legal discourse of imprecisely expressed logical structure, and the remedy offered, where desired by the drafter, is a set of signaled structuraldefinitions for use in controlling such imprecision. (shrink)

In this paper I propose and motivate a logic of the interdefined concepts of making true and control, understood as intensional propositional operators to be indexed to an agent. While bearing a resemblance to earlier logics in the tradition, the motivations, semantics, and object language theory differ on crucial points. Applying this logic to widespread formal theories of agency, I use it as a framework to argue against the ubiquitous assumption that the strongest actions or options available to a (...) given agent must always be pairwise incompatible. The conclusion is that this assumption conflicts with failures of higher order control of agents over their degree or precision of control, failures exhibited by such imperfect agents as ourselves. I discuss models in this setting for understanding such imperfectly self-controlling agents. In an appendix, I prove several relevant results about the logic described, including soundness and completeness both for it and for certain natural extensions. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism (2nd Edition), Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

We show that it is possible to base fuzzy control on fuzzy logic programming. Indeed, we observe that the class of fuzzy Herbrand interpretations gives a semantics for fuzzy programs and we show that the fuzzy function associated with a fuzzy system of IF-THEN rules is the fuzzy Herbrand interpretation associated with a suitable fuzzy program.

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of (...) a semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

Science is about evaluation, persuasion and logic. In scientific debate, scientists collectively evaluate theories by persuading each other in regard to epistemological qualities such as deduction and fact. There is, however, a flaw intrinsic to evaluation-by-persuasion: an individual can attempt and even succeed in persuading others by asserting that their reasoning is logical when it is not. This is a problem since, from an epistemological perspective, it is not always transparent nor obvious when a persuasive assertion is actually deductively (...) warranted. Empirical research upon reasoning, indeed, supports the notion that assertions are often strongly persuasive for reasons other than their logic. The unreliability of the link between persuasion and logic raises an important methodological issue: how do scientists debate in a manner such that claimed but false “logical” arguments are ignored, and only warranted arguments get to determine theory preference? This need for soundness in debate is a particularly important epistemological concern in cases where the deductive qualities of persuasive argument are not overt, and so cannot be directly checked --such as when they are founded upon Bayesianism probabilistic coherence. The argument presented here is that scientists make the qualities of probabilistic and nonprobabilistic inference sound (and so warranted) through how they organize their debate. Scientists, I argue, abide by “epistemological quality control practices” that limit the persuasive power of unsound arguments upon theory evaluation. Examples of such debate quality control practices are publicness, clarity, openness to criticism, and the collective promotion of attempts at theory conjecture and refutation. Methodologically, these quality control practices are extralogical since they do not directly provide scientific inferences with additional logical warrantedness. They function instead in science to generate an epistemological evaluative environment in which persuasiveness is due, and only due, to logic (i.e. sound). Their methodological role is therefore to make what is warranted de papyri (in our principles of rationality – epistemologically competence) also what is persuasive in evaluation and debate de cognitio (in our exercise of such principles – epistemologically performance). Several limitations exist upon the soundness of Bayesian inferential coherence – surreptitious revision, logical omniscience, uncertain evidence, old evidence, and new hypotheses. Bayesianism, as a result, can only exist if it is pursued in a debate that is regulated by quality control practices over its inferences (for instance, practices that ensure there is autonomy of inference, diligence of inference, probity of evidence, auditability of inference and assiduousness of conjecture). In this context, one can reinterpret Popper’s concern with criticism, openness, refutation and conjecture, as deriving not (as he thought) directly from the needs of logic, but, indirectly, from the need of scientists to create epistemological soundness. (shrink)

In this paper, a timed modal logic L c is presented for the specification and verification of real-time systems. Several important results for L c are discussed. First we address the model checking problem and we show that it is an EXPTIME-complete problem. Secondly we consider expressiveness and we explain how to express strong timed bisimilarity and how to build characteristic formulas for timed automata. We also propose a compositional algorithm for L c model checking. Finally we consider several (...) class='Hi'>control problems for which L c can be used to check controllability. (shrink)

This book is a specialized monograph on the development of the mathematical and computational metatheory of reductive logic and proof-search, areas of logic that are becoming important in computer science. A systematic foundational text on these emerging topics, it includes proof-theoretic, semantic/model-theoretic and algorithmic aspects. The scope ranges from the conceptual background to reductive logic, through its mathematical metatheory, to its modern applications in the computational sciences. Suitable for researchers and graduate students in mathematical, computational and philosophical logic, and in (...) theoretical computer science and artificial intelligence, this is the latest in the prestigous world-renowned Oxford Logic Guides, which contains Michael Dummet's Elements of intuitionism, Dov M. Gabbay, Mark A. Reynolds, and Marcelo Finger's Temporal Logic Mathematical Foundations and Computational Aspects, J. M. Dunn and G. Hardegree's Algebraic Methods in Philosophical Logic, H. Rott's Change, Choice and Inference: A Study of Belief Revision and Nonmonotonic Reasoning, and P. T. Johnstone's Sketches of an Elephant: A Topos Theory Compendium: Volumes 1 and 2. (shrink)

We investigate properties of monadic purely negational fragment of Intuitionistic Control Logic ). This logic arises from Intuitionistic Propositional Logic ) by extending language of \ by additional new constant for falsum. Having two different falsum constants enables to define two forms of negation. We analyse implicational relations between negational monadic formulae and present a poset of non equivalent formulae of this fragment of \.

The thesis of this paper is that scientific method is to be thought of as a complex many-leveled regulatory hierarchy of principles, interacting with theory also viewed as a complex many-leveled hierarchy. This conception of method is illustrated in particular through one episode in the contemporary development of plasma physics, and related to others. It provides for method-theory interaction and for the development of method itself as science develops.

Rather than approaching the question of the constructive or therapeutic character of Hegel’s Logic through a global consideration of its argument and its relation to the rest of Hegel’s system, I want to come at the question by considering a specific thread that runs through the argument of the Logic, namely the question of the proper understanding of power or control. What I want to try to show is that there is a close connection between therapeutic and constructive elements (...) in Hegel’s treatment of power. To do so I will make use of two deep criticisms of Hegel’s treatment from Michael Theunissen. First comes Theunissen’s claim that in Hegel’s logical scheme, reality is necessarily dominated by the concept rather than truly reciprocally related to it. Then I will consider Theunissen’s structurally analogous claim that for Hegel, the power of the concept is the management of the suppression of the other. Both of these claims are essentially claims about the way in which elements of the logic of reflection are modified and yet continue to play a role in the logic of the concept. (shrink)

Philosophers, scientists, and other researchers have increasingly characterized humanity as having reached an epistemic and technical stage at which “we can control our own evolution.” Moral–philosophical analysis of this outlook reveals some problems, beginning with the vagueness of “we.” At least four glosses on “we” in the proposition “we, humanity, control our evolution” can be made: “we” is the bundle of all living humans, a leader guiding the combined species, each individual acting severally, or some mixture of these (...) three involving a market interpretation of future evolutionary processes. While all of these glosses have difficulties under philosophical analysis, how we as a species handle our fate via technical developments is all-important. I propose our role herein should be understood as other than controllers of our evolution. (shrink)

To improve the accuracy and timeliness of the trajectory tracking control of the driverless racing car during the race, this paper proposes a track tracking control method that integrates the rear wheel differential drive and the front wheel active steering based on optimal control theory and fuzzy logic method. The model of the lateral track tracking error of the racing car is established. The model is linearized and discretized, and the quadratic optimal steering control problem is (...) constructed. Taking advantage of the differential drive of dual-motor-driven racing car, the dual motors differential drive fuzzy controller is designed and integrated driving with active steering control. Simulation analysis and actual car verification show that this integrated control method can ensure that the car tracks different race tracks well and improve the track tracking control accuracy by nearly 30%. (shrink)

We investigate monadic fragments of Intuitionistic Control Logic, which is obtained from Intuitionistic Propositional Logic by extending language of IPL by a constant distinct from intuitionistic constants. In particular we present the complete description of purely negational fragment and show that most of monadic fragments are finite.

Fuzzy logic has become an important tool for a number of different applications ranging from the control of engineering systems to artificial intelligence. In this concise introduction, the author presents a succinct guide to the basic ideas of fuzzy logic, fuzzy sets, fuzzy relations, and fuzzy reasoning, and shows how they may be applied. The book culminates in a chapter which describes fuzzy logic control: the design of intelligent control systems using fuzzy if-then rules which make use (...) of human knowledge and experience to behave in a manner similar to a human controller. Throughout, the level of mathematical knowledge required is kept basic and the concepts are illustrated with numerous diagrams to aid in comprehension. As a result, all those curious to know more about fuzzy concepts and their real-world application will find this a good place to start. (shrink)

Biomedical research is increasingly a matter of the navigation through large computerized information resources deriving from functional genomics or from the biochemistry of disease pathways. To make such navigation possible, controlled vocabularies are needed in terms of which data from different sources can be unified. One of the most influential developments in this regard is the so-called Gene Ontology, which consists of controlled vocabularies of terms used by biologists to describe cellular constituents, biological processes and molecular functions, organized into hierarchies (...) via the relation of class subsumption. Here we seek to provide a rigorous account of the logic of classification that underlies GO and similar biomedical ontologies. Drawing on Aristotle, we develop a system of axioms and definitions for the treatment of biological classes and instances. (shrink)

During the production process, production companies need to monitor the finished products and ensure their quality, which imposes on them the appointment of inspectors for auditing, and this appointment costs the company amounts that affect the general profit, so it strives to make this cost as low as possible and that the audit process is carried out with high accuracy because in case that the finished products do not conform to the basic specifications of the product, the company is required (...) to pay a fine. In this research, we will formulate the text of the problem appropriately for such a case and then we will build the appropriate mathematical model through which we can obtain the lowest possible cost of inspection, and we will present the study using classical values and neutrosophic values, and we will demonstrate them through an example that shows us the difference between them. (shrink)

The author demonstrates that certain forms of irrationality - incontinent action and self-deception - which many philosophers have rejected as being logically or psychologically impossible, are indeed possible.

AI systems are bringing an augmentation of human capabilities to shape the world. They may also drag a replacement of human conscience in large chunks of life. AI systems can be designed to leave moral control in human hands, to obstruct or diminish that moral control, or even to prevent it, replacing human morality with pre-packaged or developed ‘solutions’ by the ‘intelligent’ machine itself. Artificial Intelligent systems (AIS) are increasingly being used in multiple applications and receiving more attention (...) from the public and private organisations. The purpose of this article is to offer a mapping of the technological architectures that support AIS, under the specific focus of the moral agency. Through a literature research and reflection process, the following areas are covered: a brief introduction and review of the literature on the topic of moral agency; an analysis using the BDI logic model (Bratman 1987); an elemental review of artificial ‘reasoning’ architectures in AIS; the influence of the data input and the data quality; AI systems’ positioning in decision support and decision making scenarios; and finally, some conclusions are offered about regarding the potential loss of moral control by humans due to AIS. This article contributes to the field of Ethics and Artificial Intelligence by providing a discussion for developers and researchers to understand how and under what circumstances the ‘human subject’ may, totally or partially, lose moral control and ownership over AI technologies. The topic is relevant because AIS often are not single machines but complex networks of machines that feed information and decisions into each other and to human operators. The detailed traceability of input-process-output at each node of the network is essential for it to remain within the field of moral agency. Moral agency is then at the basis of our system of legal responsibility, and social approval is unlikely to be obtained for entrusting important functions to complex systems under which no moral agency can be identified. (shrink)

What kinds of evidence reliably support predictions of effectiveness for health and social care interventions? There is increasing reliance, not only for health care policy and practice but also for more general social and economic policy deliberation, on evidence that comes from studies whose basic logic is that of JS Mill's method of difference. These include randomized controlled trials, case–control studies, cohort studies, and some uses of causal Bayes nets and counterfactual-licensing models like ones commonly developed in econometrics. The (...) topic of this paper is the 'external validity' of causal conclusions from these kinds of studies. We shall argue two claims. Claim, negative: external validity is the wrong idea; claim, positive: 'capacities' are almost always the right idea, if there is a right idea to be had. If we are right about these claims, it makes big problems for policy decisions. Many advice guides for grading policy predictions give top grades to a proposed policy if it has two good Mill's-method-of difference studies that support it. But if capacities are to serve as the conduit for support from a method-of-difference study to an effectiveness prediction, much more evidence, and much different in kind, is required. We will illustrate the complexities involved with the case of multisystemic therapy, an internationally adopted intervention to try to diminish antisocial behaviour in young people. (shrink)

This contribution to the “antidepressant debate” focuses on the validity of randomized controlled trials. We argue that: randomized controlled trials do everything possible to methodologically stamp out high placebo response rates rather than reveal the clinical implications, assessing a psychoactive drug’s effects greatly exceeds the purpose of a randomized controlled trial, requiring substantial investigation on normal volunteers, made-up psychiatric diagnostic categories destroy the purpose and logic of the randomized controlled trial as a medical experiment, and adverse drug reactions remain under-studied, (...) under-recognized, and under-appreciated, in parallel with the muting of subjects’ voice and the reliance on surrogate measures of efficacy. The standard psychopharmacotherapy trial has lost virtually all clinical and scientific relevance, and needs complete revamping. The backdrop for the discussion is American biopsychiatry’s insistence that personal difficulties must be viewed as the expression of idiopathic somatic diseases, and the pharmaceutical industry’s dominance of the entire drug treatment research enterprise. (shrink)

This book constitutes the outcome of an international conference held at the Otto-Mobes-Volkswirtschaftsschule, Graz-Stifting( Austria), from June 16 to 22, 1974. The conference was initiated by a project group working on determinants and controls of social science development at the In stitute for Advanced Studies and Scientific Research in Vienna and or ganized by the editors of this volume. It was held under the auspices of the Austrian Ministry of Science and Research. The main topics of the conference were those (...) at the forefront of the 'state of argumentation' (to borrow from one of our contributors) in philosophy and sociology of science ever since the controversy between Thomas S. Kuhn and Sir Karl R. Popper has sharpened our awareness for the methodological and substantial presuppositions involved with questions of growth and development in science. Let us give two examples of those topics. The borderline between sociology of science and philo sophy of science has become more and more unclear; while the work of at least some philosophers of science comes to have an empirical flavour, sociologists of science are increasingly apt to include logical and methodo logical components of the research process as their objects of examina tion. Papers included in this volume testify to both tendencies. (shrink)

We summarize the known methods of producing a non-supercompact strongly compact cardinal and describe some new variants. Our Main Theorem shows how to apply these methods to many cardinals simultaneously and exactly control which cardinals are supercompact and which are only strongly compact in a forcing extension. Depending upon the method, the surviving non-supercompact strongly compact cardinals can be strong cardinals, have trivial Mitchell rank or even contain a club disjoint from the set of measurable cardinals. These results improve (...) and unify Theorems 1 and 2 of [5], due to the first author. (shrink)

This study is called the "greatest juristic volume of the twentieth century." No ordinary text book. At least ten volumes rolled into one. Above all, a lawyer's book, also an economist's book, a philosopher's book, a social scientist's book, a historian's book & a librarian's book.

The logic of the commons is applied to the U.S. labor pool. lt is argued that the labor pool is an “active” commons, a commons in whichthe resource as weil as the users of the resource can change voluntarily. For this commons to be tended properly, technical solutions are ineffective and inappropriate; both employer and employee must have trust in the mechanisms that tie them together. Collaborative control is given as a possible framework for making the morality shift necessary (...) to avoid ultimate tragedy. (shrink)

The goal of the Department of Defense Net-Centric Data Strategy is to improve data sharing throughout the DoD. Data sharing is a critical element of interoperability in the emerging system-of-systems. Achieving interoperability requires the elimination of two types of data heterogeneity: differences of syntax and differences of semantics. This paper builds a path toward semantic uniformity through application of a disciplined approach to ontology. An ontology is a consensus framework representing the types of entities within a given domain and the (...) relations between them. The construction of an ontology begins when a Community of Interest (COI) identifies its authoritative data sources (ADS), which are usually manifest in relevant doctrinal publications, glossaries, data dictionaries, and logical data models. The identified terms are then defined in relation to a common logical framework that has been designed to ensure interoperability with other ontologies created on the basis of the same strategy. As will be described, the Command and Control (C2) Ontology will include representations of a substantial number of entities within the Command and Control (C2) domain. If domain ontologies (e.g. Strike and Counterinsurgency) semantically align with the C2 Ontology, then a substantial barrier to systems interoperability is thereby crossed. (shrink)

A clear account of the principles of fuzzy logic-based design, from a computer/electronics engineering perspective. This pedagogical work incorporates current fuzzy logic techniques, emphasizing hardware/software design for fuzzy systems and fuzzy logic development tools.

The benefits of family planning for those who desire it, and the possibilities of coercion against those who do not, are well-known aspects of international population policies. Family planning technologies, more than simply a means for preventing conception, are involved as identity artefacts in the construction of bodies and in the reproduction of power relations. As such, modern contraceptives, organized by and implemented through, donor-funded programmes constitute a discursive apparatus through which scattered hegemonies are disseminated. Women's use of family planning, (...) traditional and modern, allows them to counter the expectations of these hegemonies at some times, and to embody them at others. Both service providers and clients, construct identities, referenced through women's bodies, using the discourses of international population control and family planning. This paper uses data collected in Tanzania to understand how notions of modernity in the family planning programme construct Tanzanian female bodies as ‘traditional’ and ‘modern’, how these discursive inequalities reflect and compound material disparities and how these logics come into play in the ways that women construct themselves and each other. (shrink)

The first beginning logic text to employ the tree method--a complete formal system of first-order logic that is remarkably easy to understand and use--this text allows students to take control of the nuts and bolts of formal logic quickly, and to move on to more complex and abstract problems. The tree method is elaborated in manageable steps over five chapters, in each of which its adequacy is reviewed; soundness and completeness proofs are extended at each step, and the decidability (...) proof is extended at the step from truth functions to the logic of nonoverlapping quantifiers with a single variable, after which undecidability is demonstrated by example. The first three chapters are bilingual, with arguments presented twice, in logical notation and in English. The last three chapters consider the discoveries defining the scope and limits of formal methods that marked logic’s coming of age in the 20th century: Godel’s completeness and incompleteness theorems for first and second-order logic, and the Church-Turing theorem on the undecidability of first-order logic. This new edition provides additional problems, solutions to selected problems, and two new Supplements: Truth-Functional Equivalence reinstates material on that topic from the second edition that was omitted in the third, and Variant Methods, in which John Burgess provides a proof regarding the possibility of modifying the tree method so that it will always find a finite model when there is one, and another, which shows that a different modification—once contemplated by Jeffrey--can result in a dramatic speed--up of certain proofs. (shrink)

We present a general approach to quantified modal logics that can simulate most other approaches. The language is based on operators indexed by terms which allow to express de re modalities and to control the interaction of modalities with the first-order machinery and with non-rigid designators. The semantics is based on a primitive counterpart relation holding between n-tuples of objects inhabiting possible worlds. This allows an object to be represented by one, many, or no object in an accessible world. (...) Moreover by taking as primitive a relation between n-tuples we avoid some shortcoming of standard individual counterparts. Finally, we use cut-free labelled sequent calculi to give a proof-theoretic characterisation of the quantified extensions of each first-order definable propositional modal logic. In this way we show how to complete many axiomatically incomplete quantified modal logics. (shrink)

Why is it that we think today so very differently about distributive and retributive justice? Why is the notion of desert so neglected in our thinking about distributive justice, while it remains fundamental in almost every account of retributive justice? I wish to take up this relatively neglected issue, and put forth two proposals of my own, based upon the way control functions in the two spheres.