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)

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)

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)

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 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)

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.

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)

The Newman problem is a fundamental problem that threatens to undermine structural assumptions and structural theories throughout philosophy and science. Here, we consider the problem in the context of consciousness science. We introduce and discuss the problem, and explain why it is detrimental not only to structuralist assumptions, but also to theories of consciousness, if left unconsidered. However, we show that if phenomenal spaces, and mathematical structures of conscious experience more generally, are understood in the right way, the Newman problem (...) does not arise. The upshot of our paper is that consciousness science needs to be careful in which definition of structure to consider, but if it is, the Newman problem disappears. (shrink)

Several promising approaches have been developed to represent conscious experience in terms of mathematical spaces and structures. What is missing, however, is an explicit definition of what a ‘mathematical structure of conscious experience’ is. Here, we propose such a definition. This definition provides a link between the abstract formal entities of mathematics and the concreta of conscious experience; it complements recent approaches that study quality spaces, qualia spaces, or phenomenal spaces; and it provides a general method to identify and investigate (...) structures of conscious experience. We hope that ultimately this work provides a basis for developing a common formal language to study consciousness. (shrink)

This clear and concise book investigates the relation between materiality and the subject in Marxism, (post-)structuralism, and material semiotics. It introduces the three approaches in an accessible way and serves as an introduction to different kinds of materialism and theories of the subject. For each approach, the modalities of materiality of the respective materialism are defined and the relationship between these multiple materialities and the subject are presented as specific to the theoretical approaches discussed. Beetz argues for a non-reductionist materialism, (...) which conceives of materiality as more than matter or matter in motion. In such a materialism the subject is seen as an effect of material conditions, relations, processes, and practices. He shows how the constitution and decentering of the subject is conceptualized in the approaches presented and highlights the role of material instances in these processes. (shrink)

Reprint of the ed. published by Dietrich which was issued as Bd. 9, Heft 2 of Studien zur Geschichte der Theologie und der Kirche.

Band 10 der Gesammelten Schriften Sulzers enthalt den gesamten Briefwechsel zwischen J. G. Sulzer (1720-1779) und J. J. Bodmer (1698-1783), der hier zum ersten Mal vollstandig nach den Handschriften transkribiert und kommentiert wird. Fur die Edition von Sulzers Schriften ist dieser Briefwechsel geradezu fundamental: Mit seinen 453 Briefen, die in 35 Jahren (1744-1779) entstanden sind, zahlt er zu den umfangreichsten Korrespondenzen Sulzers und liefert zahlreiche neue Informationen zu zentralen Themenfeldern der europaischen Aufklarung, zur Genese von Sulzers und Bodmers Schriften, zu (...) ihrem Netzwerk, insbesondere in Preuaen und in der Schweiz, sowie zu Aspekten ihres Privatlebens. Damit erweist sich dieser Briefwechsel als eine unumgangliche Quelle, will man die Formierung des literarischen und akademischen Feldes in der Aufklarungsepoche untersuchen. (shrink)

Musik mit Musik -- Der will nicht nur spielen -- Sätze über musikalische Konzeptkunst -- Mit Leitbild?! -- Das Neue am Neuen Konzeptualismus -- Ausdenken -- Der erweiterte Musikbegriff -- Der aufgelöste Musikbegriff -- Ein kurzer Essay über Liebe -- Hypermoderne Kunst -- Mein tägliches Festival -- Gegen Applaus -- Wer schreit, hat Recht. Über Polemik -- Über Provokation -- Zur Musikkritik -- Die Fotokraft -- Musik und Kapitalismus -- Charts Music -- Minusbolero -- Das Shutter-Prinzip -- Neue Musik über (...) Neue Musik -- Gespräch mit Sergej Newsky -- Gespräch mit Hannes Seidl -- Ich frage mich -- Nachbemerkungen zum erweiterten und aufgelösten Musikbegriff -- Kleines Brevier -- John Cage -- Zu Bernd Alois Zimmermann -- Ganz nah an der Zukunft -- Immaterial 1 -- Immaterial 2. (shrink)

Die Arbeit widmet sich dem Person- und Freiheitsverstandnis des Freiburger Religionsphilosophen Bernhard Welte (1906-1983). Damit werden unter Berucksichtigung bisher unveroffentlichter Schriften anthropologische Voraussetzungen ethisch relevanter Grundphanomene menschlichen Daseins zuganglich gemacht.

Terrorism challenges our Western world system with a new form of war. Terror contrasts strongly with the Western world's concept of freedom. Thus, an aggravation of this conflict is inevitable. In terms of technical equipment, we are prepared. Mentally, we are not. We know the mental treasures of mankind. We know examples of similar situations, which have happened before. We never wanted to meet them again. Thus, our awakening is even more terrifying. Referring to quite contrasting systems, eras, philosophers and (...) historical events, the volume shows what has to be taken into consideration. (shrink)

1. Erstes bis drittes Wäldchen. Viertes Wäldchen. Paralipomena -- 2. Kommentar. Register.

Bd. 1: Grundlegung der Ästhetik. Bd. 2: Die ästhetischen Grundgestalten. Bd. 3: Kunstphilosophie und Metaphysik der Ästhetik Bd. 1 , XII- 560, Bd. 2 , XX-602 und Bd. 3 : XX-600.

What kind of education is needed for democracy? How can education respond to the challenges that current democracies face? This unprecedented Handbook offers a comprehensive overview of the most important ideas, issues, and thinkers within democratic education. Its thirty chapters are written by leading experts in the field in an accessible format. Its breadth of purpose and depth of analysis will appeal to both researchers and practitioners in education and politics. The Handbook addresses not only the historical roots and philosophical (...) foundations of democratic education, but also engages with contemporary political issues and key challenges to the project of democratic education. (shrink)

This paper examines a looming reproducibility crisis in the core of the hard sciences. Namely, it concentrates on molecular modeling and simulation (MMS), a family of methods that predict properties of substances through computing interactions on a molecular level and that is widely popular in physics, chemistry, materials science, and engineering. The paper argues that in order to make quantitative predictions, sophisticated models are needed which have to be evaluated with complex simulation procedures that amalgamate theoretical, technological, and social factors (...) – leading to problems with reproducibility. Thus, for methodological reasons, the predictive success causes a reproducibility problem. (shrink)

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)

This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you will see the original copyright references, library stamps, and other notations in the work.This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely (...) copy and distribute this work, as no entity has a copyright on the body of the work.As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant. (shrink)

This paper argues that epistemic smothering is not a form of epistemic paternalism. In this sense, it refutes the claim recently made by Valerie Chock and Jonathan Matheson, who defend epistemic smothering as epistemically permissible form of epistemic paternalism. After an outline of what is meant by epistemic paternalism and epistemic smothering, based on the work by Kristoffer Ahlstrom-Vij and Kristie Dotson on these topics, the paper argues against the identification of epistemic smothering as a form of epistemic paternalism. In (...) the conclusion, it also calls for a reconsideration of how exactly to conceive of epistemic paternalism. (shrink)

Language (śabda) occupied a central yet often unacknowledged place in classical Indian philosophical thought. Foundational thinkers considered topics such as the nature of language, its relationship to reality, the nature and existence of linguistic units and their capacity to convey meaning, and the role of language in the interpretation of sacred writings. The first reader on language in--and the language of--classical Indian philosophy, A Śabda Reader offers a comprehensive and pedagogically valuable treatment of this topic and its importance to Indian (...) philosophical thought. A Śabda Reader brings together newly translated passages by authors from a variety of traditions--Brahmin, Buddhist, Jaina--representing a number of schools of thought. It illuminates issues such as how Brahmanical thinkers understood the Veda and conceived of Sanskrit; how Buddhist thinkers came to assign importance to language's link to phenomenal reality; how Jains saw language as strictly material; the possibility of self-contradictory sentences; and how words affect thought. Throughout, the volume shows that linguistic presuppositions and implicit notions about language often play as significant a role as explicit ideas and formal theories. Including an introduction that places the texts and ideas in their historical and cultural context, A Śabda Reader sheds light on a crucial aspect of classical Indian thought and in so doing deepens our understanding of the philosophy of language. (shrink)

Johann Gottfried Herder (1744–1803) gehört unangefochten zu den Klassikern der europäischen Geistesgeschichte. Seinen Lebensunterhalt verdiente er im Predigeramt, seine erste Anstellung nach dem Studium im ostpreußischen Königsberg fand er in Riga. Hier in Livland beginnt ein homiletisches Schaffen, das ihn über seine Lebensstationen hinweg bis nach Weimar beschäftigen wird. Die vorliegende Edition erschließt erstmals vollständig Herders Predigtnachlaß, zunächst für die erste Epoche seines Wirkens. Sie umfaßt die Zeit bis Mai 1769, ediert sämtliche erhaltenen Predigten aus der Rigaer Periode, weist verlorene (...) Texte nach und berücksichtigt auch die Entwürfe aus Schul- und Studienzeit, die bis etwa 1758 zurückgehen. Einleitende Aufsätze und ein Kritischer Apparat erschließen das Corpus und machen es auch für Nichtfachleute zugänglich. (shrink)

In den berühmten "Reden an die deutsche Nation" entwickelt Fichte das Ideal eines auf philosophische Prinzipien gegründeten Staates, dessen höchstes Ziel die allgemeine Erziehung seiner Mitglieder zur Sittlichkeit im gemeinschaftlichen Handeln darstellt. Fichte begründet die Notwendigkeit der Erhebung der Deutschen gegen Napoleon nicht aus der Einheit der nationalen Herkunft, sondern unter Hinweis auf einen fortschrittlicheren Begriff des Staates.

Unter den Versuchen Fichtes, sein Denken allgemeinverständlich darzustellen, zählt diese 1800 erschienene Schrift zu den inhaltlich abgerundetsten und aufschlußreichsten; bei den Zeitgenossen stieß sie jedoch auf vehemente Kritik, Hegel sah in ihr gar einen besonders illustrativen Text für den Aufweis der Haltlosigkeit der von Fichte in der Wissenschaftslehre vertretenen Position einer auf das Ich als Tathandlung gegründeten Philosophie. Darum vermag allein schon die Lektüre von Fichtes Bestimmung des Menschen und ihrer kritischen Rezeption in Hegels Glauben und Wissen einen Einblick in (...) die Gründe zu vermitteln, warum bis ins 20. Jahrhundert die Philosophie Fichtes weitgehend als ein merkwürdiger Mosaikstein auf dem Wege "Von Kant bis Hegel" oder, im Hinblick auf den "Endpunkt" dieses Wegs wohl genauer, in der "Entwicklung des Spinozismus" betrachtet wurde. Deutlich wird einer neuen Lektüre aber auch, wieviel noch zu tun bleibt, um die wichtigen Erkenntnisse, die im Deutschen Idealismus auf so getrennten Bahnen gewonnen wurden, im Blick auf die gemeinsamen Grundprobleme einer "Ersten Philosophie" ohne Rückfall in die traditionellen Feindbilder wahrzunehmen und kritisch in die pluralistische Diskussion heutigen Philosophierens einzubringen. (shrink)