The intuitive notion of a binary relation on information-bearers, comparingthem with respect to their closeness to the available information, is oftenconstrued in terms of comparing their symmetric difference with, orcompositional similarity to, the available information. This happens forinstance in some treatments of verisimilitude. We expound an abstractmathematical rendering of the relevant data-dependent relation in theframework of Boolean algebras. For every element t of a Boolean algebra B we construct the t-modulated Boolean algebra Btin which the order relation represents `is at (...) most as compatible with t as'' or `is at best as similar to t as''. In the case of Lindenbaum-Tarskialgebras, t expresses the available information, and the compatibilityrelation turns out to be an entwinement of inferential and conjecturalrelations. It is just classical entailment when no information is available(i.e., when t is logically true) and becomes more boldly abductive themore information is available. The rich algebraic structures of a Boolean algebra –- including its Boolean group structures –- play a significant role in this combination of deduction and abduction and also induce cautious anddaring variants of the compatibility relation. Links with the literature onverisimilitude, abduction, and related topics are indicated. (shrink)

Unrestricted use of the axiom schema of comprehension, ?to every mathematically (or set-theoretically) describable property there corresponds the set of all mathematical (or set-theoretical) objects having that property?, leads to contradiction. In set theories of the Zermelo?Fraenkel?Skolem (ZFS) style suitable instances of the comprehension schema are chosen ad hoc as axioms, e.g.axioms which guarantee the existence of unions, intersections, pairs, subsets, empty set, power sets and replacement sets. It is demonstrated that a uniform syntactic description may be given of acceptable (...) instances of the comprehension schema, which include all of the axioms mentioned, and which in their turn are theorems of the usual versions of ZFS set theory. Well then, shall we proceed as usual and begin by assuming the existence of a single essential nature or Form for every set of things which we call by the same name? Do you understand? (Plato, Republic X.596a6; cf. Cornford 1966, 317). (shrink)

relative to the actual world) of a propositional theory are defined. A theory is ‘closer to the truth’ the logically stronger its positive content and the logically weaker its negative content. This proposal delivers the same verisimilar preordering of theories that has been defined by Brink and Heidema as a ‘power ordering’. The preordering may be collapsed to a partial ordering and then embedded into a complete distributive lattice. The preordering may also be refined to a partial ordering by (...) employing the ‘convex content’ and the ‘non-convex content’ of each theory. Philosophical implications and historical relations are discussed. (shrink)

The intuitive notion of a binary relation on information-bearers, comparingthem with respect to their closeness to the available information, is oftenconstrued in terms of comparing their symmetric difference with, orcompositional similarity to, the available information. This happens forinstance in some treatments of verisimilitude. We expound an abstractmathematical rendering of the relevant data-dependent relation in theframework of Boolean algebras. For every element t of a Boolean algebra B we construct the t-modulated Boolean algebra Btin which the order relation represents `is at (...) most as compatible with t as' or `is at best as similar to t as'. In the case of Lindenbaum-Tarskialgebras, t expresses the available information, and the compatibilityrelation turns out to be an entwinement of inferential and conjecturalrelations. It is just classical entailment when no information is available(i.e., when t is logically true) and becomes more boldly abductive themore information is available. The rich algebraic structures of a Boolean algebra –- including its Boolean group structures –- play a significant role in this combination of deduction and abduction and also induce cautious anddaring variants of the compatibility relation. Links with the literature onverisimilitude, abduction, and related topics are indicated. (shrink)

In this article, we redefine classical notions of theory reduction in such a way that model-theoretic preferential semantics becomes part of a realist depiction of this aspect of science. We offer a model-theoretic reconstruction of science in which theory succession or reduction is often better - or at a finer level of analysis - interpreted as the result of model succession or reduction. This analysis leads to 'defeasible reduction', defined as follows: The conjunction of the assumptions of a reducing theory (...) T with the definitions translating the vocabulary of a reduced theory T' to the vocabulary of T, defeasibly entails the assumptions of reduced T'. This relation of defeasible reduction offers, in the context of additional knowledge becoming available, articulation of a more flexible kind of reduction in theory development than in the classical case. Also, defeasible reduction is shown to solve the problems of entailment that classical homogeneous reduction encounters. Reduction in the defeasible sense is a practical device for studying the processes of science, since it is about highlighting different aspects of the same theory at different times of application, rather than about naive dreams concerning a metaphysical unity of science. (shrink)

Although AGM theory contraction (Alchourrón et al., 1985; Alchourrón and Makinson, 1985) occupies a central position in the literature on belief change, there is one aspect about it that has created a fair amount of controversy. It involves the inclusion of the postulate known as Recovery. As a result, a number of alternatives to AGM theory contraction have been proposed that do not always satisfy the Recovery postulate (Levi, 1991, 1998; Hansson and Olsson, 1995; Fermé, 1998; Fermé and Rodriguez, 1998; (...) Rott and Pagnucco, 1999). In this paper we present a new addition, systematic withdrawal, to the family of withdrawal operations, as they have become known. We define systematic withdrawal semantically, in terms of a set of preorders, and show that it can be characterised by a set of postulates. In a comparison of withdrawal operations we show that AGM contraction, systematic withdrawal and the severe withdrawal of Rott and Pagnucco (1999) are intimately connected by virtue of their definition in terms of sets of preorders. In a future paper it will be shown that this connection can be extended to include the epistemic entrenchment orderings of Gärdenfors (1988) and Gärdenfors and Makinson (1988) and the refined entrenchment orderings of Meyer et al. (2000). (shrink)

There are various contexts in which it is not pertinent to generate and attend to all the classical consequences of a given premiss—or to trace all the premisses which classically entail a given consequence. Such contexts may involve limited resources of an agent or inferential engine, contextual relevance or irrelevance of certain consequences or premisses, modelling everyday human reasoning, the search for plausible abduced hypotheses or potential causes, etc. In this paper we propose and explicate one formal framework for a (...) whole spectrum of consequence relations, flexible enough to be tailored for choices from a variety of contexts. We do so by investigating semantic constraints on classical entailment which give rise to a family of infra-classical logics with appealing properties. More specifically, our infra-classical reasoning demands (beyond ${\alpha\models\beta}$ ) that Mod(β) does not run wild, but lies within the scope (whatever that may mean in some specific context) of Mod(α), and which can be described by a sentence ${\bullet\alpha}$ with ${\beta\models\bullet\alpha}$ . Besides being infra-classical, the resulting logic is also non-monotonic and allows for non-trivial reasoning in the presence of inconsistencies. (shrink)

We introduce and explore the notion of duality for entailment relations induced by preference orderings on states. We discuss the relationship between these preferential entailment relations from the perspectives of Boolean algebra, inference rules, and modal axiomatisation. Interpreting the preference relations as accessibility relations establishes modular Gödel-Löb logic as a suitable modal framework for rational preferential reasoning.

In logic, including the designer logics of artificial intelligence, and in the philosophy of science, one is often concerned with qualitative, comparative orderings on the states of a system, or on theories expressing information about the system. States may be compared with respect to normality, or some preference criterium, or similarity to some given (set of) state(s). Theories may be compared with respect to logical power, or to truthlikeness, or to how well they capture certain information. We explain a number (...) of these relations, study their properties, and unravel some of their interrelationships. (shrink)

We explore the psychological foundations of Logic and Artificial Intelligence, touching on representation, categorisation, heuristics, consciousness, and emotion. Specifically, we challenge Dennett's view of the brain as a syntactic engine that is limited to processing symbols according to their structural properties. We show that cognitive psychology and neurobiology support a dual-process model in which one form of cognition is essentially semantical and differs in important ways from the operation of a syntactic engine. The dual-process model illuminates two important events in (...) Logic and Artificial Intelligence, namely the emergence of non-monotonicity and of embodiment, events that changed the traditional paradigms of ‘Logic = the study of deductive inference' and ‘Symbolic AI'. S. Afr. J. Philos. Vol.24(2) 2005: 137-151. (shrink)

Epistemic entrenchment, as presented by Gärdenfors and Makinson (1988) and Gärdenfors (1988), is a formalisation of the intuition that, when forced to choose between two beliefs, an agent will giveup the less entrenched one. While their formalisation satisfactorilycaptures the intuitive notion of the entrenchment of beliefs in a number ofaspects, the requirement that all wffs be comparable has drawn criticismfrom various quarters. We define a set of refined versions of theirentrenchment orderings that are not subject to the same criticism, andinvestigate (...) the relationship between the refined entrenched orderings,the entrenchment orderings of Gärdenfors and Makinson, and AGM theorycontraction (Alchourrón et al., 1985). To conclude, we compare refinedentrenchment with two related approaches to epistemic entrenchment. (shrink)

Generalisations of theory change involving operations on arbitrary sets ofwffs instead of on belief sets (i.e., sets closed under a consequencerelation), have become known as base change. In one view, a base should bethought of as providing more structure to its generated belief set, whichmeans that it can be employed to determine the theory contraction operationassociated with a base contraction operation. In this paper we follow suchan approach as the first step in defining infobase change. We think of an infobase (...) as a finite set of wffs consisting of independently obtainedbits of information. Taking AGM theory change (Alchourrón et al. 1985) as the general framework, we present a method that uses the structure of aninfobase B to obtain an AGM theory contraction operation for contractingthe belief set Cn(B). Both the infobase and the obtained theory contraction operation then play a role in constructing a unique infobasecontraction operation. Infobase revision is defined in terms of an analogueof the Levi Identity, and it is shown that the associated theory revisionoperation satisfies the AGM postulates for revision. Because every infobaseis associated with a unique infobase contraction and revision operation, the method also allows for iterated base change. (shrink)

Noam Chomsky and Frances Egan argue that David Marr’s computational theory of vision is not intentional, claiming that the formal scientific theory does not include description of visual content. They also argue that the theory is internalist in the sense of not describing things physically external to the perceiver. They argue that these claims hold for computational theories of vision in general. Beyond theories of vision, they argue that representational content does not figure as a topic within formal computational theories (...) in cognitive science. I demonstrate that Chomsky’s and Egan’s claims about Marr’s theory are false. Marr’s computational theory contains a mathematical theory of visual content, based on empirical psychophysical evidence. It also contains mathematical descriptions of distal physical surfaces and objects, and of their optic projection to the perceiver. Much computational research on vision contains these types of intentional and externalist components within the formal, mathematical, theories. Chomsky’s and Egan’s claims demonstrate inadequate study and understanding of Marr’s work and other research in this area. Computational theories of vision, by containing empirically based mathematical theories of visual content, to this extent present naturalizations of semantics. (shrink)

_Contents:_ Translator's Introduction_ Selected Bibliography Note on the Text _ The Vocation of Man__ Preface Book One: Doubt Book Two: Knowledge Book Three: Faith.

We claim that adjustable parameters play a crucial role in building and applying simulation models. We analyze that role and illustrate our findings using examples from equations of state in thermodynamics. In building simulation models, two types of experiments, namely, simulation and classical experiments, interact in a feedback loop, in which model parameters are adjusted. A critical discussion of how adjustable parameters function shows that they are boon and bane of simulation. They help to enlarge the scope of simulation far (...) beyond what can be determined by theoretical knowledge, but at the same time undercut the epistemic value of simulation models. (shrink)

Aim of the lectures -- Early Brahmanical literature -- Panini's grammar -- A passage from the Chandogya Upanisad -- The structures of languages -- The Buddhist contribution -- Vaisesika and language -- Verbal knowledge -- The contradictions of Nagarjuna -- The reactions of other thinkers -- Sarvastivada Samkhya -- The Agamasastra of Gaudapada -- Sankara -- Kashmiri Saivism -- Jainism -- Early Vaisesika -- Critiques of the existence of a thing before its arising -- Nyaya -- Mimamsa -- The Abhidharmakosa (...) bhasya of Vasubandhu -- The Abhidharmasamuccaya of Asanga and its bhasya -- Bhartrhari -- The problem of negation -- Dignaga and verbal knowledge -- The Bodhisattvabhumi -- Prajnakaragupta -- Indian thinkers and the correspondence principle -- Appendix. The Mahaprajnaparamitasastra and the Samkhya tanmatras. (shrink)

Pars 1. Contemplativa -- Pars 2. Activa.

Philosophers and historians have long been suspicious of modal and counterfactual claims. I argue, however, that historians often legitimately use modal and counterfactual claims for a variety of purposes. They help identify causes, and hence help explain events in history. They are used to defend judgments about people, and to highlight the importance of particular events. I defend these uses of modal claims against two arguments often used to criticize modal reasoning, using the philosophy of science to ground the truth (...) of modal claims. This analysis puts several important points into perspective, including how certain we can be about our claims about what might have been, and the role that determinism plays in those claims. The proper analysis of modality shows, I argue, that counterfactual claims are legitimate and important, if often uncertain, and that issues of determinism are irrelevant to the modal claims used in historical analysis. (shrink)

The philosophy of Christian Wolff is regarded to represent one of the most important schools of thought of the 18th century Enlightenment. The influence of this philosophy was based on a network of followers and disciples who propagated Wolff s work in the scholarly community and defended it against critics. This book, for the first time, explores the role of Ernst Christoph von Manteuffel. As imperial count, minister in the Cabinet of Poland Saxony and an agent of the Court of (...) Vienna, he was the decisive figure who initiated this network and led it for more than one and a half decades until his death in 1749. ". (shrink)

Contents \t\t\t\t\t \tTRANSLATOR'S INTRODUCTION \t\t1 \t \tNOTE ON THE TRANSLATION \t\t39 \t OBSERVATIONS ON THE FEELING OF THE BEAUTIFUL AND SUBLIME \t\t\t\t\t \tSECTION ONE: \t\t\t\t \t\tOf the Distinct Objects of the Feeling of the Beautiful and Sublime \t\t45 \tSECTION TWO: \t\t\t\t \t\tOf the Attributes of the Beautiful and Sublime.

Episodic memory has been analyzed in a number of different ways in both philosophy and psychology, and most controversy has centered on its self-referential,autonoeticcharacter. Here, we offer a comprehensive characterization of episodic memory in representational terms and propose a novel functional account on this basis. We argue that episodic memory should be understood as a distinctive epistemic attitude taken toward an event simulation. In this view, episodic memory has a metarepresentational format and should not be equated with beliefs about the (...) past. Instead, empirical findings suggest that the contents of human episodic memory are often constructed in the service of the explicit justification of such beliefs. Existing accounts of episodic memory function that have focused on explaining its constructive character through its role in future-oriented mental time travel do justice neither to its capacity to ground veridical beliefs about the past nor to its representational format. We provide an account of the metarepresentational structure of episodic memory in terms of its role in communicative interaction. The generative nature of recollection allows us to represent and communicate the reasons why we hold certain beliefs about the past. In this process, autonoesis corresponds to the capacity to determine when and how to assert epistemic authority in making claims about the past. A domain where such claims are indispensable are human social engagements. Such engagements commonly require the justification of entitlements and obligations, which is often possible only by explicit reference to specific past events. (shrink)

Designing and building complex artifacts like simulation models often rely on the strategy of modularity. My main claim is that the validation of simulation models faces a challenge of holismHolism because modularityModularity tends to erode over the process of building a simulation model. Two different reasons that fuel the tendency to erosion are analyzed. Both are based on the methodologyMethodology of simulation, but on different levels. The first has to do with the way parameter adjustment works in simulation; the second (...) comes from how different groups of software programmers work together. The chapter will conclude by drawing lessons about how holism challenges the validation of simulation and by discussing a corollary to conformational holism: the boundary between validation and verification tends to become blurred, thus undermining a strategy that insists on keeping them separate. (shrink)

This paper discusses the formation of Castoriadis’s concept of imaginary significations and relates it to his changing readings of Marx and Weber. Castoriadis’s reflections on modern capitalism took off from the Marxian understanding of its internal contradictions, but he always had reservations about the orthodox version of this idea. His writings in the late 1950s, already critical of basic assumptions in Marx’s work, located the central contradiction in the very relationship between capital and wage labour. Labour power was not simply (...) transformed into a commodity, as Marx had argued; rather, the instituted attempt to treat it as a commodity was a contradiction in itself, between the subjectivity and the objectification of labour. Castoriadis then moved on to link this claim to Weber’s analysis of the interconnections between capitalism and bureaucracy. The main contradiction of modern capitalism, whether wholly bureaucratised as in the Soviet model or increasingly bureaucratised as in the West, now seemed to be a matter of incompatible systemic imperatives: the need to control and to mobilise the workforce. Finally, difficulties with this model – and with the revolutionary expectations based on it – led to a more decisive break with classical theories and to the formulation of a bipolar image of modernity, where the vision of an autonomous society is opposed to the logic of calculation and domination, embodied in capitalist development. On both sides there is an imaginary component, irreducible to empirical givens or systemic principles. In this regard, Castoriadis remained closer to Weber than to Marx, but he also anticipated, in a distinctive way, later emphasis on the cultural dimension of modernity, and more specifi cally the notion of modernity as a new civilisation. (shrink)

Der dritte Band der Studienausgabe enthält die beiden zentralen Vorlesungen der praktischen Philosophie Fichtes aus der späten Berliner Zeit, die Rechtslehre von 1812 und die Sittenlehre von 1812. Ihnen vorangestellt sind die >Vorlesungen über die Bestimmung des Gelehrten, die Fichte im Sommersemester 1811 gehalten hat. Aufbauend auf der Bestimmung der wissenschaftlichen und philosophischen Erkenntnis in seinen Einleitungsvorlesungen in die Philosophie (s. Band I und II), zeigt Fichte hier, was das Wesen des Wissenschaftlers bzw. des Gelehrten ausmacht, seine spezifische Aufgabe und (...) seine sittliche Verantwortung in der Welt. - Fichtes Rechtslehre wird streng nach der Handschrift ohne weitergehende Ergänzungen wiedergegeben; so lassen sich die Unterschiede zur Grundlage des Naturrechts von 1796 bei aller Strukturähnlichkeit deutlich erkennen. - Ganz im Sinne der späten Wissenschaftslehre als Lehre der Erscheinung des Absoluten geht die Sittenlehre 1812 von einem höchsten Grundsatz aus, dem absoluten Bilden, das als oberstes Ideal, in Fichtes Terminologie als Begriff, erscheint. Die Analyse des Satzes Der Begriff sey Grund der Welt. (shrink)

Based on historical data pertaining to the Krummhörn population (eighteenth and nineteenth centuries, Germany), we compared reproductive histories of mothers according to whether the maternal grandmother (MGM) or the paternal grandmother (PGM) or neither of them was resident in the parents’ parish at the time of the mother’s first birth. In contrast to effects of PGMs, we discovered conditional differences in the MGM’s effects between landless people and wealthier, commercial farmers. Our data indicate that the presence of the MGM only (...) lowers the woman’s age at marriage (AAM) and her age at the birth of her first child (AFB) in the case of landless families. However, among commercial farmers, who can generally be characterized by a lower AAM and AFB, we found opposite tendencies for the MGM’s effect leading to a relatively small delay in AAM and AFB. Moreover, we also analyzed differences in the completed fertility (i.e., children ever born: CEB). Results indicate that landless families in general do have fewer CEB compared with commercial farmers except for those families in which the MGM has been present. Emphasizing that the adaptiveness of investment decisions should depend on the interaction of genetic, lineage-specific (intrinsic) and ecologically imposed (extrinsic) constraints, we conclude that kin strategies consequently address different fitness components under different conditions. (shrink)

This important new book by a major voice in the Social Imaginaries movement offers the most systematic attempt to establish conceptual and historical links between the idea of modernity as a new civilization and the notion of multiple modernities. Arnason demonstrates a theory of globalization that is still compatible with the emphasis on unity and diversity of modernity as a civilization.

"The eye that gathers impressions is no longer the eye that sees a depiction on a surface it becomes a hand, the ray of light becomes a finger, and the imagination becomes a form of immediate touching."-Johann Gottfried Herder Long recognized as one of the most important eighteenth-century works on aesthetics and the visual arts, Johann Gottfried Herder's Plastik (Sculpture, 1778) has never before appeared in a complete English translation. In this landmark essay, Herder combines rationalist and empiricist thought with (...) a wide range of sources-from the classics to Norse legend, Shakespeare to the Bible-to illuminate the ways we experience sculpture. Standing on the fault line between classicism and romanticism, Herder draws most of his examples from classical sculpture, while nevertheless insisting on the historicity of art and of the senses themselves. Through a detailed analysis of the differences between painting and sculpture, he develops a powerful critique of the dominance of vision both in the appreciation of art and in our everyday apprehension of the world around us. One of the key articulations of the aesthetics of Sturm und Drang, Sculpture is also important as an anticipation of subsequent developments in art theory. Jason Gaiger's translation of Sculpture includes an extensive introduction to Herder's thought, explanatory notes, and illustrations of all the sculptures discussed in the text. (shrink)