The Joint International Conference on Logic Programming, sponsored by the Association for Logic Programming, is a major forum for presentations of research, applications, and implementations in this important area of computer science. Logic programming is one of the most promising steps toward declarative programming and forms the theoretical basis of the programming language Prolog and its various extensions. Logic programming is also fundamental to work in artificial intelligence, where it has been used for nonmonotonic and commonsense (...) reasoning, expert systems implementation, deductive databases, and applications such as computer-aided manufacturing. Krzysztof R. Apt is project leader at the Centre for Mathematics and Computer Science in Amsterdam and part-time Professor in Computer Science at the University of Amsterdam. Topics covered: Theory Foundations. Programming Languages. Implementation. Programming Methodologies and Tools. Applications. Deductive Databases. Artificial Intelligence. Parallelism. (shrink)

Described by the philosopher A.J. Ayer as a work of 'great originality and power', this book revolutionized contemporary thinking on science and knowledge. Ideas such as the now legendary doctrine of 'falsificationism' electrified the scientific community, influencing even working scientists, as well as post-war philosophy. This astonishing work ranks alongside _The Open Society and Its Enemies_ as one of Popper's most enduring books and contains insights and arguments that demand to be read to this day.

I investigate the consequences of Nietzsche's perspectivism for notions of truth and objectivity, and show how the metaphor of visual perspective motivates an epistemology that avoids self-referential difficulties. Perspectivism's claim that every view is only one view, applied to itself, is often supposed to preclude the perspectivist's ability to offer reasons for her epistemology. Nietzsche's arguments for perspectivism depend on “internal reasons”, which have force not only in their own perspective, but also within the standards of alternative perspectives. Internal reasons (...) allow a perspectivist argument against dogmatism without presupposing aperspectival criteria for theory choice. Nietzsche also offers “internal” conceptions of truth and objectivity which reduce them to a matter of meeting our epistemic standards. This view has pluralistic implications, which conflict with common sense, but it is nevertheless consistent and plausible. Nietzsche's position is similar to Putnam's recent internalism, and this is due to their common Kantian heritage. (shrink)

Karl Raimund Poppers (1902-1994) Hauptwerk, die Logik der Forschung (1934), gilt als Grundlagenwerk des kritischen Rationalismus. Der kritische Rationalismus zeigt, warum unser Wissen fehlbar ist und versteht den Erkenntnisfortschritt als Resultat von Hypothesenbildung und -widerlegung. Der Sammelband orientiert sich an der Gliederung der Logik der Forschung. Seine Beiträge kommentieren die jeweiligen Themen nach aktueller Forschungslage.

1. Matn-i Asās al-iqtibās -- 2. Taʻlīqah.

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.

Type theory is a fast-evolving field at the crossroads of logic, computer science and mathematics. This gentle step-by-step introduction is ideal for graduate students and researchers who need to understand the ins and outs of the mathematical machinery, the role of logical rules therein, the essential contribution of definitions and the decisive nature of well-structured proofs. The authors begin with untyped lambda calculus and proceed to several fundamental type systems culminating in the well-known and powerful Calculus of Constructions. The (...) book also covers the essence of proof checking and proof development, and the use of dependent type theory to formalize mathematics. The only prerequisites are a good knowledge of undergraduate algebra and analysis. Carefully chosen examples illustrate the theory throughout. Each chapter ends with a summary of the content, some historical context, suggestions for further reading and a selection of exercises to help readers familiarize themselves with the material. (shrink)

This book presents new results in computability theory, a branch of mathematical logic and computer science that has become increasingly relevant in recent years. The field's connections with disparate areas of mathematical logic and mathematics more generally have grown deeper, and now have a variety of applications in topology, group theory, and other subfields. This monograph establishes new directions in the field, blending classic results with modern research areas such as algorithmic randomness. The significance of the book lies (...) not only in the depth of the results contained therein, but also in the fact that the notions the authors introduce allow them to unify results from several subfields of computability theory. (shrink)

Anselm’s ontological argument for the existence of God is examined. It is concluded that Anselm errs in assuming the greatest "thing" must be a sentient being. The existence of God, then, is not established by Anselm’s argument, and is concluded to be unlikely for other reasons as well, one being that a perfected sentient being would be a logical impossibility. An afterlife and personal immortality are not precluded however; these goals could be reached by future scientific means. For now cryonics (...) is advocated as a means to reach a more advanced future when death may be physically overcome. (shrink)

Informal construction -- Formal construction -- Limiting results.

Hadith, authorities, early works to 1800.

As COVID-19 and its variants spread across Australia at differing paces and intensity, the country’s response to the risk of infection and contagion revealed an intensification of bordering practices as a form of risk mitigation with disparate impacts on different segments of the Australian community. Australia’s international border was closed for both inbound and outbound travel, with few exceptions, while states and territories, Indigenous communities, and local government areas were subject to a patchwork of varying restrictions. By focusing on borders (...) at various levels, our research traces how the logics of medico-legal bordering have filtered down from the international to the intra-national, and indeed, into hyper-local spaces. This is not just apparent in the COVID-19 moment but in previous pandemics of 1918 to 1919 influenza and smallpox, in which practices of quarantine and lockdowns were both unevenly distributed and implemented on multiple scales of social organization. An interdisciplinary approach between history and law reveals that human movement during pandemic times in Australia has been regulated in a manner that sees mobility as a risk to public health capable of mitigation through the strict enforcement of borders as a technology of both confinement and exclusion. (shrink)

An Adequate theory of meaning and truth is semantically important. Such a theory necessarily includes in its analysis nonentities, items that do not exist. So what is semantically, and hence logically, important is bound to include nonentities. In virtue of the modifier ‘semantically“, the first premiss is analytic, and it is comparatively uncontroversial. By contrast the second premise of the syllogism, which we want to stick to, is decidedly controversial. So too is the thesis – which implies the inadequacy of (...) classical logical theories – that there are a great many natural language statements, statements an adequate theory should be able to treat of, which cannot be analysed logically, and semantically, without the equivalent of an appeal to nonentities. Defence of the thesis has been somewhat piecemeal, taking the form that all the theories so far offered which try to dispense with nonentities break down or run into insuperable difficulties, difficulties which are readily surmounted given appropriate talk about nonentities. In what follows we shall outline more general sorts of argument for the thesis, designed to show that no theory which dispenses with nonentities as objects of discourse can do justice to the data. (shrink)

This paper outlines three broad ways one might think about logical correctness: the Realist approach, the One-Language approach and my own Neo-Carnapian view. Although the realist and one-language views have dominated the philosophy of logic in recent years, I argue against them, favouring of the Neo-Carnapian approach.

We generalize two well-known model-theoretic characterization theorems from propositional modal logic to first-order modal logic. We first study FML-definable frames and give a version of the Goldblatt–Thomason theorem for this logic. The advantage of this result, compared with the original Goldblatt–Thomason theorem, is that it does not need the condition of ultrafilter reflection and uses only closure under bounded morphic images, generated subframes and disjoint unions. We then investigate Lindström type theorems for first-order modal logic. We (...) show that FML has the maximal expressive power among the logics extending FML which satisfy compactness, bisimulation invariance and the Tarski union property. (shrink)

In this work, the author has fashioned out of the logical and linguistic theses of his earlier books a full-scale but readily intelligible account of moral argument.

Most scholars who write on social contract and classical natural law perceive an irreconcilable tension between them. Social contract theory is widely considered the political-theoretic concomitant of modern philosophy. Against the regnant view, The Social Contract in the Ruins, argues that all attempts to ground political authority and obligation in agreement alone are logically self-defeating. Political authority and obligation require an antecedent moral ground. But this moral ground cannot be constructed by human agreement or created by sheer will-human or divine. (...) All accounts of morality as constructed or made collapse into self-referential incoherence. Only an uncreated, real good can coherently ground political authority and obligation or the proposition that rightful government depends on the consent of the governed. Government by consent requires classical natural law for its very coherence. (shrink)

theories. What was Freud thinking, when, and why and what were the major influences which shaped his ideas? We follow the inner movement of his theory construction, its meaning and coherence, as well as his conceptual logic and personal directions concerning his evolving views of the reciprocal interactions between mind and body, the motivational force of instinctual drives, and the dominant role of sexuality rooted in evolutionary biology in human development, behaviour, and the creation of neurotic disturbances. We follow (...) Freud's construction and sequential reconstructions of his theoretical models concerning the nature, dynamics, and principles of unconscious mental functioning, including his changing concepts on the nature and purpose of dreams. We trace his changing views on the role of deferred action of early childhood experiences and the determining role of unconscious fantasy, psychic reality, in the formation of adult character structure and neuroses. Through such historical analysis this book provides grounding for a meaningful understanding of Freud's familiar concepts: id, ego, superego, and the Oedipus complex. We explore what these concepts meant to Freud, why he conceived them, and what functions they served in his theory of mind. This is the perfect book for students and trainees wanting to learn more about the development of Freud's ideas, as well as for established psychoanalysts and psychotherapists interested in expanding their knowledge of Freud's theories. (shrink)

While in principle probabilistic logics might be applied to solve a range of problems, in practice they are rarely applied at present. This is perhaps because they seem disparate, complicated, and computationally intractable. However, we shall argue in this programmatic paper that several approaches to probabilistic logic into a simple unifying framework: logically complex evidence can be used to associate probability intervals or probabilities with sentences.

In this paper a formalized logic of propositions, PA1, is presented. It is proven consistent and its relationships to traditional logic, to PM ([15]), to subjunctive (including contrary-to-fact) implication and to the “paradoxes” of material and strict implication are developed. Apart from any intrinsic merit it possesses, its chief significance lies in demonstrating the feasibility of a general logic containing theprinciple of subjunctive contrariety, i.e., the principle that ‘Ifpwere true thenqwould be true’ and ‘Ifpwere true thenqwould be (...) false’ are incompatible. (shrink)

Undergraduate medical ethics education currently focuses on ethical concepts and reasoning. This paper uses an intern’s story of an ethically challenging situation to argue that this emphasis is problematic in terms of ensuring students’ ethical practice as junior doctors. The story suggests that it is aligning their actions with the values that they reflectively embrace that can present difficulties for junior doctors working in the pressures of the hospital environment, rather than reasoning to an ethically appropriate action. I argue that (...) junior doctors need skills for implementing their ethical decisions and that these ought to form a central component of undergraduate medical ethics education. (shrink)

A Leibniz class is a class of logics closed under the formation of term-equivalent logics, compatible expansions, and non-indexed products of sets of logics. We study the complete lattice of all Leibniz classes, called the Leibniz hierarchy. In particular, it is proved that the classes of truth-equational and assertional logics are meet-prime in the Leibniz hierarchy, while the classes of protoalgebraic and equivalential logics are meet-reducible. However, the last two classes are shown to be determined by Leibniz conditions consisting of (...) meet-prime logics only. (shrink)

A notion of interpretation between arbitrary logics is introduced, and the poset$\mathsf {Log}$of all logics ordered under interpretability is studied. It is shown that in$\mathsf {Log}$infima of arbitrarily large sets exist, but binary suprema in general do not. On the other hand, the existence of suprema of sets of equivalential logics is established. The relations between$\mathsf {Log}$and the lattice of interpretability types of varieties are investigated.