Using the framework of categorical logic, this paper analyzes and streamlines Gabbay's semantical proof of the Craig interpolation theorem for intuitionistic predicate logic. In the process, an apparently new and interesting fact about the relation of coherent and intuitionistic logic is found.

Let C be a small Barr-exact category, Reg the category of all regular functors from C to the category of small sets. A form of M. Barr's full embedding theorem states that the evaluation functor e : C →[Reg, Set ] is full and faithful. We prove that the essential image of e consists of the functors that preserve all small products and filtered colimits. The concept of κ-Barr-exact category is introduced, for κ any infinite regular cardinal, and the natural (...) generalization to κ-Barr-exact categories of the above result is proved. The treatment combines methods of model theory and category theory. Some applications to module categories are given. (shrink)

We use a fundamental theorem of Vaught, called the covering theorem in [V] (cf. theorem 0.1 below) as well as a generalization of it (cf. Theorem $0.1^\ast$ below) to derive several known and a few new results related to the logic $L_{\omega_1\omega}$. Among others, we prove that if every countable model in a $PC_{\omega_1\omega}$ class has only countably many automorphisms, then the class has either $\leq\aleph_0$ or exactly $2^{\aleph_0}$ nonisomorphic countable members (cf. Theorem $4.3^\ast$) and that the class of countable (...) saturated structures of a sufficiently large countable similarity type is not $PC_{\omega_1\omega}$ among countable structures (cf. Theorem 5.2). We also give a simple proof of the Lachlan-Sacks theorem on bounds of Morley ranks ($\s 7$). (shrink)

We exhibit a bridge between the theory of cellular categories, used in algebraic topology and homological algebra, and the model-theoretic notion of stable independence. Roughly speaking, we show that the combinatorial cellular categories (those where, in a precise sense, the cellular morphisms are generated by a set) are exactly those that give rise to stable independence notions. We give two applications: on the one hand, we show that the abstract elementary classes of roots of Ext studied by Baldwin–Eklof–Trlifaj are stable (...) and tame. On the other hand, we give a simpler proof (in a special case) that combinatorial categories are closed under 2-limits, a theorem of Makkai and Rosický. (shrink)

In this paper I outline the PAIR account of joint attention as a perceptual-practical, affectively charged intentional relation. I argue that to explain joint attention we need to leave the received understanding of propositions and propositional attitudes and the picture of content connected to it behind and embrace the notions of subject mode and position mode content. I also explore the relation between joint attention and communication.

Versions and extensions of intuitionistic and modal logic involving biHeyting and bimodal operators, the axiom of constant domains and Barcan's formula, are formulated as structured categories. Representation theorems for the resulting concepts are proved. Essentially stronger versions, requiring new methods of proof, of known completeness theorems are consequences. A new type of completeness result, with a topos theoretic character, is given for theories satisfying a condition considered by Lawvere . The completeness theorems are used to conclude results asserting that certain (...) logics are conservatively interpretable in others. (shrink)

Abstract: Kant declares the judgment of beauty to be neither ‘objective’ nor ‘merely subjective’. This essay takes up the question of what this might mean and whether it can be taken seriously. It is often supposed that Kant's denials of ‘objectivity’ to the judgment of beauty express a rejection of realism about beauty. I suggest that Kant's thought is not to be understood in these terms—that it does not properly belong in the arena of debates about the constituents of ‘reality’—motivating (...) the suggestion by first considering a pair of opposing views on the question of whether Kant can be understood to develop a real alternative to realism about beauty at all. (shrink)

The Yoga Sutra of Patanjali is a classic Sanskrit treatise consisting of 195 “threads,” or aphorisms, describing the process of liberation through yoga. Although little is known about Patanjali (most scholars estimate that he lived in India circa 200–300 b.c.), his writings have long been recognized as a vital contribution to the philosophy and practice of yoga. This new, expert translation of the original Sanskrit text of Patanjali’s best-known work presents his seminal ideas and methods in accessible, plain-language English. Patanjali (...) organized the sutra into four parts: Samadhi (absorption), Sadhana (practice), Vibhuti (supernatural powers), and Kaivalya (liberation). Each represents a step in breaking free of our limited definition of consciousness and training the mind to achieve oneness with the universe. Geshe Michael Roach, one of the most respected teachers of Tibetan Buddhism in America and a renowned scholar of Sanskrit, provides authoritative commentary on each of the sutras. His notes and clarification are straightforward and highly readable, untainted by obscure, academic terminology or New Age jargon. The first edition of the Yoga Sutra to present a Buddhist perspective, this paperback original will be welcomed by students and spiritual seekers alike. (shrink)

Eldred offers a remedy to the consequences of ancient Greek misconceptions of time that are also entrenched in today’s mathematized physics. Here time is spatialized as the one-dimensionally linear ‘arrow of time’ for the sake of predicting and controlling movement. But such spatialized time distorts the phenomenon of time itself. An alternative, hermeneutic-phenomenological path begins with a pre-spatial concept of time that is genuinely three-dimensional. This paves the way for recasting who we are as humans in belonging, first of all, (...) to the free openness of 3D-temporality. This belonging enables temporally 3D-vision of the psyche that empowers us to see movement at all and reconcile its inherent contradictoriness. We are then also able to conceive ourselves no longer merely as internally cogitating, self-conscious subjects, but as engaged existentially in temporally 3D-interplay, mutually estimating and esteeming who we are. This unpredictable interplay is constrained, however, by being played out in the sociating medium of thingified value, the accumulative movement of thingified value having gained the upper hand in dictating our life-movements as well as our interplay with the earth. (shrink)

Der private, sehr gefahrdete Bucherbestand Friedrich Nietzsches gilt als ein besonders interessantes Beispiel einer Schriftstellerbibliothek des 19. Jahrhunderts.

Immanuel Kant's Critique of Judgment is widely recognized as a founding document of modern aesthetics, but its legacy has fallen into disrepute. In this book Katalin Makkai calls for the rediscovery of Kant's aesthetics, showing that its centerpiece, his investigation of the judgment of taste, paints a compelling portrait of our relationships with works of art that we love. At its heart is a scene of aesthetic encounter in which one feels oneself to be 'animated' - brought to life (...) - by an object, finding there to be something in one's experience of it, beyond what there is to know about it, that one wants to explore and articulate. Tracing Kant's insight that to judge is to reveal one's sense of what bears judging, and hence of what matters, Makkai situates Kant's aesthetics within his larger study, begun in the first Critique, of judgment's fundamental role in the life of the mind. (shrink)

The dissertation offers a study of Kant's aesthetic theory as it is developed in the "Critique of Aesthetic Judgment", the first half of his Critique of Judgment, which is widely acknowledged to be the founding text of modern philosophical aesthetics. I aim to show that this work elaborates an important and deeply interesting study of the nature and conditions of aesthetic judgment which---despite the recent resurgence of commentary and of secondary literature---has not yet been inherited. I give an account focused (...) on understanding Kant's idea that aesthetic judgment makes a claim to "subjective universality" and "exemplary necessity", the "twofold peculiarity" of aesthetic judgment that Kant himself presents as the main thematic guiding the course of the Critique. I argue for an interpretation of Kant's notion of aesthetic judgment which takes seriously his idea that its demand for the agreement of others takes the form of a presumption, in which the judge offers her judgment as exemplary of a "universal voice", apart from any independently or transcendentally assured authorization. (shrink)

Released in 1958, Vertigo is widely regarded as Alfred Hitchcock’s masterpiece and one of the greatest films of all time. This is the first book devoted to exploring the philosophical aspects of Vertigo . Following an introduction by the editor that places the film in context, each chapter reflects upon Hitchcock’s film from a philosophical perspective. Topics discussed include: memory, loss, memorialisation, and creativity mimetic or representational art and art as magic the nature of romantic love gender, sexual objectification, and (...) identity looking, "the gaze", and voyeurism film and psychoanalysis fantasy, illusion, and reality the phenomenology of colour. Including annotated further reading at the end of each chapter, this collection is essential reading for anyone interested in Vertigo , and an ideal resource for students of film and philosophy. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang , which includes all items known to the authors, including writings in Chinese and translations into other languages.

Virtually all philosophers agree that for a belief to be epistemically justified, it must satisfy certain conditions. Perhaps it must be supported by evidence. Or perhaps it must be reliably formed. Or perhaps there are some other "good-making" features it must have. But does a belief's justification also require some sort of awareness of its good-making features? The answer to this question has been hotly contested in contemporary epistemology, creating a deep divide among its practitioners. Internalists, who tend to focus (...) on scientific or theoretical beliefs as the ideal, insist that such awareness is required for justification. Externalists, who think children's ordinary beliefs in obvious facts are paradigm cases of justified belief, say it isn't required. Michael Bergmann's book offers a decisive refutation of internalism and a sustained defense of externalism. (shrink)

A listing is given of the published writings of the logician and philosopher Hao Wang (1921—1995), which includes all items known to the authors, including writings in Chinese and translations into other languages.

This is a revision of game theory which takes account of agents' own descriptions of their situations, and which allows people to reason as members of groups.

In this book, Michael Arbib, a researcher in artificial intelligence and brain theory, joins forces with Mary Hesse, a philosopher of science, to present an integrated account of how humans 'construct' reality through interaction with the social and physical world around them. The book is a major expansion of the Gifford Lectures delivered by the authors at the University of Edinburgh in the autumn of 1983. The authors reconcile a theory of the individual's construction of reality as a network (...) of schemas 'in the head' with an account of the social construction of language, science, ideology and religion to provide an integrated schema-theoretic view of human knowledge. The authors still find scope for lively debate, particularly in their discussion of free will and of the reality of God. The book integrates an accessible exposition of background information with a cumulative marshalling of evidence to address fundamental questions concerning human action in the world and the nature of ultimate reality. (shrink)

Bishop and Trout here present a unique and provocative new approach to epistemology. Their approach aims to liberate epistemology from the scholastic debates of standard analytic epistemology, and treat it as a branch of the philosophy of science. The approach is novel in its use of cost-benefit analysis to guide people facing real reasoning problems and in its framework for resolving normative disputes in psychology. Based on empirical data, Bishop and Trout show how people can improve their reasoning by relying (...) on Statistical Prediction Rules. They then develop and articulate the positive core of the book. Their view, Strategic Reliabilism, claims that epistemic excellence consists in the efficient allocation of cognitive resources to reliable reasoning strategies, applied to significant problems. The last third of the book develops the implications of this view for standard analytic epistemology; for resolving normative disputes in psychology; and for offering practical, concrete advice on how this theory can improve real people's reasoning. This is a truly distinctive and controversial work that spans many disciplines and will speak to an unusually diverse group, including people in epistemology, philosophy of science, decision theory, cognitive and clinical psychology, and ethics and public policy. (shrink)

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