In this paper, I will present a Fitch–style natural deduction proof theory for modal paralogics (modal logics with gaps and/or gluts for negation). Besides the standard classical subproofs, the presented proof theory also contains modal subproofs, which express what would follow from a hypothesis, in case it would be true in some arbitrary world.

In this paper, I will characterize a new class of inconsistency-adaptive logics, namely inconsistency-adaptive modal logics. These logics cope with inconsistencies in a modal context. More specifically, when faced with inconsistencies, inconsistency-adaptive modal logics avoid explosion, but still allow the derivation of sufficient consequences to adequately explicate the part of human reasoning they are intended for.

Computers have far to go to match human strengths, and our estimates will depend on analogy and extrapolation. Fortunately, these are grounded in the first bit of the journey, now behind us. Thirty years of computer vision reveals that 1 MIPS can extract simple features from real-time imagery--tracking a white line or a white spot on a mottled background. 10 MIPS can follow complex gray-scale patches--as smart bombs, cruise missiles and early self-driving vans attest. 100 MIPS can follow moderately unpredictable (...) features like roads--as recent long NAVLAB trips demonstrate. 1,000 MIPS will be adequate for coarse-grained three-dimensional spatial awareness--illustrated by several mid-resolution stereoscopic vision programs, including my own. 10,000 MIPS can find three-dimensional objects in clutter--suggested by several "bin-picking" and high-resolution stereo-vision demonstrations, which accomplish the task in an hour or so at 10 MIPS. The data fades there--research careers are too short, and computer memories too small, for significantly more elaborate experiments. (shrink)

Hans Joas is one of the foremost social theorists in Germany today. Based on Joas’s celebrated study of George Herbert Mead, this work reevaluates the contribution of American pragmatism and European philosophical anthropology to theories of action in the social sciences. Joas also establishes direct ties between Mead’s work and approaches drawn from German traditions of philosophical anthropology. Joas argues for adding a third model of action to the two predominant models of rational and normative action—one that emphasizes the (...) creative character of human action. This model encompasses the other two, allowing for a more comprehensive theory of action. Joas elaborates some implications of his model for theories of social movements and social change and for the status of action theory in sociology in the face of competition from theories advanced by Luhmann and Habermas. The problem of action is of crucial importance in both sociology and philosophy, and this book—already widely debated in Germany—will add fresh impetus to the lively discussions current in the English-speaking world. (shrink)

This book is available either individually, or as part of the specially-priced Arguments of the Philosphers Collection.

Albert approaches critical rationalism as an alternative to other philosophical standpoints dominant in Germany: the conceptions of the Frankfurt School, hermeneutical thinking as represented by Gadamer, analytic philosophy, and logical empiricism. The author's purpose is to find a way out of the foundationalism of classical philosophy without falling back on the skeptical views so prevalent in today's philosophical thinking. Originally published in 1985. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the (...) distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

Hans Kamp; IV*—Free Choice Permission, Proceedings of the Aristotelian Society, Volume 74, Issue 1, 1 June 1974, Pages 57–74, https://doi.org/10.1093/aristoteli.

Undersøgelser af sammenhængen mellem tysk filosofi og nazismens teorier med særlig vægt på Martin Heidegger (1889-1976).

Chronology of Einstein's mistakes -- I will resign the game -- A lovely time in Berne -- And yet it moves -- If I have seen farther -- A storm broke loose in my mind -- Motions of inanimate, small, suspended bodies -- What is the light quantum? -- The argument is jolly and beguiling -- Suddenly I had an idea -- The theory is of incomparable beauty -- The world is a madhouse -- Does God play dice? -- The (...) graveyard of disappointed hopes -- Post-mortem. (shrink)

Philosophy, Socrates declared, is the art of dying. This book underscores that it is also the art of learning to live and share the earth with those who have come before us. Burial, with its surrounding rituals, is the most ancient documented cultural-symbolic practice: all humans have developed techniques of caring for and communicating with the dead. The premise of Being with the Dead is that we can explore our lives with the dead as a cross-cultural existential a priori out (...) of which the basic forms of historical consciousness emerge. Care for the dead is not just about the symbolic handling of mortal remains; it also points to a necropolitics, the social bond between the dead and living that holds societies together—a shared space or polis where the dead are maintained among the living. Moving from mortuary rituals to literary representations, from the problem of ancestrality to technologies of survival and intergenerational communication, Hans Ruin explores the epistemological, ethical, and ontological dimensions of what it means to be with the dead. His phenomenological approach to key sources in a range of fields gives us a new perspective on the human sciences as a whole. (shrink)

The central aim of this paper is to present a Boolean algebraic approach to the classical Aristotelian Relations of Opposition, namely Contradiction and (Sub)contrariety, and to provide a 3D visualisation of those relations based on the geometrical properties of Platonic and Archimedean solids. In the first part we start from the standard Generalized Quantifier analysis of expressions for comparative quantification to build the Comparative Quantifier Algebra CQA. The underlying scalar structure allows us to define the Aristotelian relations in Boolean terms (...) and to propose a 3D visualisation by transforming a cube into an octahedron. In part two, the architecture of the CQA is shown to carry over, both to the classical quantifiers of Predicate Calculus and to the modal operators—which are given a Generalized Quantifier style re-interpretation. In this way we provide an algebraic foundation for Blanché’s Aristotelian hexagon as well as a 3D alternative to his 2D star-like visualisation. In a final part, a richer scalar structure is argued to underly the realm of Modality, thus generalizing the 3D algebra with eight (2 3 ) operators to a 4D algebra with sixteen (2 4 ) operators. The visual representation of the latter structure involves a transformation of the hypercube to a rhombic dodecahedron. The resulting 3D visualisation allows a straightforward embedding, not only of the classical Blanché star of Aristotelian relations or the paracomplete and paraconsistent stars of Béziau (Log Investig 10, 218–232, 2003) but also of three additional isomorphic Aristotelian constellations. (shrink)

This essay traces the roots of Wittgenstein’s Pyrrhonism to Mauthner, and argues that Wittgenstein’s later views moved even closer to those of Mauthner, although Wittgenstein never became as thoroughgoing a Pyrrhonian as Mauthner had been. It is argued that Mauthner’s neo-Pyrrhonian view of language was “responsible for the linguistic turn in Wittgenstein’s thinking and thereby indirectly also for the whole linguistic turn in 20th-century analytic philosophy”.

Hans Kamp; XIII*—Context, Thought and Communication, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 239–262, https://doi.org/10.

Exploration and colonization of the universe await, but Earth‐adapted biological humans are ill equipped to respond to the challenge. Machines have gone farther and seen more, limited though they presently are by insect‐like behavioral inflexibility.

The unprecedented opportunities for experiments in complexity presented by the first modern computers in the late 1940's raised hopes in early computer scientists (eg. John von Neumann and Alan Turing) that the ability to think, our greatest asset in our dealings with the world, might soon be understood well enough to be duplicated. Success in such an endeavor would extend mankind's mind in the same way that the development of energy machinery extended his muscles.

In recent years the mushrooming power, functionality and ubiquity of computers and the Internet have outstripped early forecasts about technology's rate of advancement and usefulness in everyday life. Alert pundits now foresee a world saturated with powerful computer chips, which will increasingly insinuate themselves into our gadgets, dwellings, apparel and even our bodies.

Hans Kamp; XIII*—Context, Thought and Communication, Proceedings of the Aristotelian Society, Volume 85, Issue 1, 1 June 1985, Pages 239–262, https://doi.org/10.

Approach to quantum field theory -- Scalar field theory -- Quantum electrodynamics -- Perspectives.

Extensive measurement is called weak if the axioms allow two objects to have the same scale value without being indifferent with respect to the order. Necessary and/or sufficient conditions for such representations are given. The Archimedean and the non-Archimedean case are dealt with separately.

The last few years have been good for time machines. Kip Thorne's renowned general relativity group at Caltech invented a new quantum gravitational approach to building a time gate, and, in an international collaboration, gave a plausible rebuttal of "grandfather paradox" arguments against time travel. Another respected group suggested time machines that exploit quantum mechanical time uncertainty. The technical requirements for these suggestions exceed our present capabilities, but each new approach seems less onerous than the last. There is hope yet (...) that time travel will eventually become possible, even cheap. (shrink)

Folk psychology is under threat - that is to say - our everyday conception that human beings are agents who experience the world in terms of sights, sounds, tastes, smells and feelings and who deliberate, make plans, and generally execute actions on the basis of their beliefs, needs and wants - is under threat. This threat is evidenced in intellectual circles by the growing attitude amongst some cognitive scientists that our common sense categories are in competition with connectionist theories and (...) modern neuroscience. It is often thought that either folk psychology or modern cognitive science must go. It is in these terms that the battle lines of today's philosophy of mind are drawn. (shrink)

This paper describes some components of a working system which drives a vehicle through cluttered real world environments under computer control, guided by images perceived through an onboard television camera. The emphasis is on reliable and fast low level visual techniques which determine the existence and location of objects in the world, but do not identify them. They include an interest operator for choosing distinctive regions in images, a correlator for finding matching regions in similar images, a geometric camera solver (...) which determines camera displacement and distance to objects from motion stereo information and an automatic distortion corrector which compensates for camera imperfections. (shrink)

Exploration and colonization of the universe awaits, but earth-adapted biological humans are ill-equipped to respond to the challenge. Machines have gone farther and seen more, limited though they presently are by insect-like behavioral inflexibility. As they become smarter over the coming decades, space will be theirs. Organizations of robots of ever increasing intelligence and sensory and motor ability will expand and transform what they occupy, working with matter, space and time. As they grow, a smaller and smaller fraction of their (...) territory will be undeveloped frontier. Competitive success will depend more and more on using already available matter and space in ever more refined and useful forms. The process, analogous to the miniaturization that makes today's computers a trillion times more powerful than the mechanical calculators of the past, will gradually transform all activity from grossly physical homesteading of raw nature, to minimum-energy quantum transactions of computation. The final frontier will be urbanized, ultimately into an arena where every bit of activity is a meaningful computation: the inhabited portion of the universe will transformed into a cyberspace. (shrink)