ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    The Idea of a Proof-Theoretic Semantics and the Meaning of the Logical Operations (2000)
    Springer
    Studia logica 64 (2000), S. 3-20 
    Details
    ISSN: 1572-8730
    Keywords: proof systems ; semantics ; functional completeness ; non-classical logics ; modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005217827758
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 2
    Electronic Resource
    Electronic Resource
    Elementary Classes in Basic Modal Logic (2000)
    Springer
    Studia logica 64 (2000), S. 193-213 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; model theory ; definability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005233530449
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 3
    Electronic Resource
    Electronic Resource
    A Note on Graded Modal Logic (2000)
    Springer
    Studia logica 64 (2000), S. 271-283 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; bisimulation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005245900406
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 4
    Electronic Resource
    Electronic Resource
    Modal Horn Classes (2000)
    Springer
    Studia logica 64 (2000), S. 301-313 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; model theory ; definability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005252908722
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 5
    Electronic Resource
    Electronic Resource
    On an Intuitionistic Modal Logic (2000)
    Springer
    Studia logica 65 (2000), S. 383-416 
    Details
    ISSN: 1572-8730
    Keywords: intuitionistic logic ; modal logic ; proof theory ; categorical models
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005291931660
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 6
    Electronic Resource
    Electronic Resource
    On Self-Admissible Quasi-Characterizing Inference Rules (2000)
    Springer
    Studia logica 65 (2000), S. 417-428 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; superintuitionistic logic ; axiomatic system ; inference rule ; admissible rules
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005244015730
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 7
    Electronic Resource
    Electronic Resource
    Making Things Happen (2000)
    Springer
    Studia logica 66 (2000), S. 41-58 
    Details
    ISSN: 1572-8730
    Keywords: semantics of natural language ; modal logic ; dynamic logic ; knowledge representation languages
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1026792711025
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 8
    Electronic Resource
    Electronic Resource
    Actuality and World-Indexed Sentences (1999)
    Springer
    Studia logica 63 (1999), S. 311-330 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; actuality indexed sentences
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Some logical properties of modal languages in which actuality is expressible are investigated. It is argued that, if a sentence like 'Actually, Quine is a distinguished philosopher' is understood as a special case of world-indexed sentences (the index being the actual world), then actuality can be expressed only under strong modal assumptions. Some rival rigid and indexical approaches to actuality are discussed.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005242718026
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 9
    Electronic Resource
    Electronic Resource
    Predicate Logics on Display (1999)
    Springer
    Studia logica 62 (1999), S. 49-75 
    Details
    ISSN: 1572-8730
    Keywords: predicate logic ; quantifiers ; display logic ; modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for ∀x and ∃x are analogous to the display introduction rules for the modal operators □ and ♦ and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal ‘modal’ predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005125717300
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 10
    Electronic Resource
    Electronic Resource
    Axiomatizations with Context Rules of Inference in Modal Logic (1998)
    Springer
    Studia logica 61 (1998), S. 179-197 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; inference rules ; axiomatizations ; completeness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A certain type of inference rules in (multi-) modal logics, generalizing Gabbay's Irreflexivity rule, is introduced and some general completeness results about modal logics axiomatized with such rules are proved.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005021313747
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 11
    Electronic Resource
    Electronic Resource
    From Biological Inhibitions to Cultural Prohibitions, or How Not to Refute Edward Westermarck (1998)
    Springer
    Biology and philosophy 13 (1998), S. 413-426 
    Details
    ISSN: 1572-8404
    Keywords: insect taboos ; Westermarck ; natural selection ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract My aim in this paper is to take a closer look at an influential argument that purports to prove that the existence of cultural prohibitions could never be explained by biological inhibitions. The argument is two-pronged. The first prong reduces to the claim: inhibitions cannot cause prohibitions simply because inhibitions undermine the raison dêtre of prohibitions. The second strategy consists in arguing that inhibitions cannot cause prohibitions because the two differ importantly in their contents. I try to show that both claims fail.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1006545130874
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 12
    Electronic Resource
    Electronic Resource
    Similarities and Varieties: A Brief Sketch on the Reception of Darwinism and Sociobiology in Japan (1998)
    Springer
    Biology and philosophy 13 (1998), S. 341-357 
    Details
    ISSN: 1572-8404
    Keywords: theory reception ; Darwinism ; sociobiology ; cultural studies ; evolutionary biology in Japan
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract This paper discusses the reception of Darwinian evolutionary theory and sociobiology in Japan. Darwinism was introduced into Japan in the late 19th century and Japanese people readily accepted the concept of evolution because, lacking Christianity, there was no religious opposition. However, the theory of evolution was treated as a kind of social scientific tool, i.e., social Spencerism and eugenics. Although evolutionary biology was developed during the late 19th and the early 20th century, orthodox Darwinian theory was neglected for a long time. In the mid 1980s, sociobiology was introduced but it was ignored and criticized by a large part of the ecologist-evolutionist community in Japan. This hostile attitude was due to the absence of Darwinism among these scientists. Compared with the reception of sociobiology in English-speaking countries, there were both similarities and differences in Japan.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1006504623820
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 13
    Electronic Resource
    Electronic Resource
    Human Pugnacity and War: Some Anticipations of Sociobiology, 1880–1919 (1998)
    Springer
    Biology and philosophy 13 (1998), S. 263-288 
    Details
    ISSN: 1572-8404
    Keywords: Darwinism ; aggression ; instinct ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Almost all of the themes contained in E.O.Wilson's sociobiological writing on war and human aggression were prefigured in Anglo-American bio-social discourse, c. 1880–1919. Instinct theory – stemming from animal psychology and the genetics revolution – encouraged the belief that pugnacity had been programmed into the ancient part of the human brain as a result of evolutionary pressures dating from prehistory. War was seen to be instinct-driven, and genocidal fighting postulated as a eugenic force in early human evolution. War was explained in distinctly modern sociobiological terms as adaptive behaviour springing from territorial urges, crowding, competition for resources and reproductive advantage, ethnocentrism and pseudo-speciation.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1006586919613
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 14
    Electronic Resource
    Electronic Resource
    A Logic for Information Systems (1997)
    Springer
    Studia logica 58 (1997), S. 3-16 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; information system ; complete calculus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A conception of an information system has been introduced by Pawlak. The study has been continued in works of Pawlak and Orlowska and in works of Vakarelov. They had proposed some basic relations and had constructed a formal system of a modal logic that describes the relations and some of their Boolean combinations. Our work is devoted to a generalization of this approach. A class of relation systems and a complete calculus construction method for these systems are proposed. As a corollary of our main result, our paper contains a solution of a Vakarelov's problem: how to construct a formal system that describes all the Boolean combinations of the basic relations.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1004927613994
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 15
    Electronic Resource
    Electronic Resource
    Simulation and Transfer Results in Modal Logic – A Survey (1997)
    Springer
    Studia logica 59 (1997), S. 149-177 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; transfer ; interpretation ; tense logic ; intuitionistic logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This papers gives a survey of recent results about simulations of one class of modal logics by another class and of the transfer of properties of modal logics under extensions of the underlying modal language. We discuss: the transfer from normal polymodal logics to their fusions, the transfer from normal modal logics to their extensions by adding the universal modality, and the transfer from normal monomodal logics to minimal tense extensions. Likewise, we discuss simulations of normal polymodal logics by normal monomodal logics, of nominals and the difference operator by normal operators, of monotonic monomodal logics by normal bimodal logics, of polyadic normal modal logics by polymodal normal modal logics, and of intuitionistic modal logics by normal bimodal logics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1004900300438
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 16
    Electronic Resource
    Electronic Resource
    Inverses for Normal Modal Operators (1997)
    Springer
    Studia logica 59 (1997), S. 33-64 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; Kripke models ; inverses ; conservative extension
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Given a 1-ary sentence operator ○, we describe L - another 1-ary operator - as as a left inverse of ○ in a given logic if in that logic every formula ϕ is provably equivalent to L○ϕ. Similarly R is a right inverse of ○ if ϕ is always provably equivalent to ○Rϕ. We investigate the behaviour of left and right inverses for ○ taken as the □ operator of various normal modal logics, paying particular attention to the conditions under which these logics are conservatively extended by the addition of such inverses, as well as to the question of when, in such extensions, the inverses behave as normal modal operators in their own right.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1004995316790
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 17
    Electronic Resource
    Electronic Resource
    Supererogation in Deontic Logic: Metatheory for DWE and Some Close Neighbours (1997)
    Springer
    Studia logica 59 (1997), S. 397-415 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; deontic logic ; supererogation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In "Doing Well Enough: Toward a Logic for Common Sense Morality", Paul McNamara sets out a semantics for a deontic logic which contains the operator ‘It is supererogatory that’. As well as having a binary accessibility relation on worlds, that semantics contains a relative ordering relation, ≤. For worlds u, v and w, we say that u ≤w v when v is at least as good as u according to the standards of w. In this paper we axiomatize logics complete over three versions of the semantics. We call the strongest of these logics ‘DWE’ for ‘Doing Well Enough’.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005040513277
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 18
    Electronic Resource
    Electronic Resource
    Superintuitionistic Companions of Classical Modal Logics (1997)
    Springer
    Studia logica 58 (1997), S. 229-259 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; superintuitionistic logics ; intuitionistic modal logics ; lattices of logics ; lower covers ; splittings
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper investigates partitions of lattices of modal logics based on superintuitionistic logics which are defined by forming, for each superintuitionistic logic L and classical modal logic Θ, the set L[Θ] of L-companions of Θ. Here L[Θ] consists of those modal logics whose non-modal fragments coincide with L and which axiomatize Θ if the law of excluded middle p V ⌍p is added. Questions addressed are, for instance, whether there exist logics with the disjunction property in L[Θ], whether L[Θ] contains a smallest element, and whether L[Θ] contains lower covers of Θ. Positive solutions as concerns the last question show that there are (uncountably many) superclean modal logics based on intuitionistic logic in the sense of Vakarelov [28]. Thus a number of problems stated in [28] are solved. As a technical tool the paper develops the splitting technique for lattices of modal logics based on superintuitionistic logics and ap plies duality theory from [34].
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1004916107078
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 19
    Electronic Resource
    Electronic Resource
    The Greatest Extension of S4 into which Intuitionistic Logic is Embeddable (1997)
    Springer
    Studia logica 59 (1997), S. 345-358 
    Details
    ISSN: 1572-8730
    Keywords: modal logic ; intuitionistic logic ; Gödel translation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper gives a characterization of those quasi-normal extensions of the modal system S4 into which intuitionistic propositional logic Int is embeddable by the Gödel translation. It is shown that, as in the normal case, the set of quasi-normal modal companions of Int contains the greatest logic, M*, for which, however, the analog of the Blok-Esakia theorem does not hold. M* is proved to be decidable and Halldén-complete; it has the disjunction property but does not have the finite model property.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1005084328298
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 20
    Electronic Resource
    Electronic Resource
    What Rationality Adds to Animal Morality (1997)
    Springer
    Biology and philosophy 12 (1997), S. 341-356 
    Details
    ISSN: 1572-8404
    Keywords: care ethics ; evolutionary ethics ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Philosophical tradition demands rational reflection as a condition for genuine moral acts. But the grounds for that requirement are untenable, and when the requirement is dropped morality comes into clearer view as a naturally developing phenomenon that is not confined to human beings and does not require higher-level rational reflective processes. Rational consideration of rules and duties can enhance and extend moral behavior, but rationality is not necessary for morality and (contrary to the Kantian tradition represented by Thomas Nagel) morality cannot transcend its biological roots. Recognizing this helps forge a complementary rather than competitive relation between feminist care-based ethics and rationalistic duty-based ethics.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1006559328418
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 21
    Electronic Resource
    Electronic Resource
    Animal Consciousness and Ethics in Asia and the Pacific (1997)
    Springer
    Journal of agricultural and environmental ethics 10 (1997), S. 249-267 
    Details
    ISSN: 1573-322X
    Keywords: Animals ; Asia ; consciousness ; Australia ; Hong Kong ; India ; Israel ; Japan ; New Zealand ; The Philippines ; Russia ; Singapore ; Thailand
    Source: Springer Online Journal Archives 1860-2000
    Topics: Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Philosophy
    Notes: Abstract The interactions between humans, animals and the environment have shaped human values and ethics, not only the genes that we are made of. The animal rights movement challenges human beings to reconsider interactions between humans and other animals, and maybe connected to the environmental movement that begs us to recognize the fact that there are symbiotic relationships between humans and all other organisms. The first part of this paper looks at types of bioethics, the implications of autonomy and the value of being alive. Then the level of consciousness of these relationships are explored in survey results from Asia and the Pacific, especially in the 1993 International Bioethics Survey conducted in Australia, Hong Kong, India, Israel, Japan, New Zealand, The Philippines, Russia, Singapore and Thailand. Very few mentioned animal consciousness in the survey, but there were more biocentric comments in Australia and Japan; and more comments with the idea of harmony including humans in Thailand. Comparisons between questions and surveys will also be made, in an attempt to describe what people imagine animal consciousness to be, and whether this relates to human ethics of the relationships.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1023/A:1007774409131
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 22
    Electronic Resource
    Electronic Resource
    A logic of comparative obligation (1996)
    Springer
    Studia logica 57 (1996), S. 117-137 
    Details
    ISSN: 1572-8730
    Keywords: deontic logic ; conflicting obligation ; partial ordering ; modal logic ; urgency comparison
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Normal systems of modal logic, interpreted as deontic logics, are unsuitable for a logic of conflicting obligations. By using modal operators based on a more complex semantics, however, we can provide for conflicting obligations, as in [9], which is formally similar to a fragment of the logic of ability later given in [2], Having gone that far, we may find it desirable to be able to express and consider claims about the comparative strengths, or degrees of urgency, of the conflicting obligations under which we stand. This paper, building on the formalism of the logic of ability in [2], provides a complete and decidable system for such a language.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00370672
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 23
    Electronic Resource
    Electronic Resource
    Honesty in partial logic (1996)
    Springer
    Studia logica 56 (1996), S. 323-360 
    Details
    ISSN: 1572-8730
    Keywords: circumscription ; honesty ; modal logic ; partial models ; stable sets
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We propose an epistemic logic in which knowledge is fully introspective and implies truth, although truth need not imply epistemic possibility. The logic is presented in sequential format and is interpreted in a natural class of partial models, called balloon models. We examine the notions of honesty and circumscription in this logic: What is the state of an agent that ‘only knows ϕ’ and which honest ϕ enable such circumscription? Redefining stable sets enables us to provide suitable syntactic and semantic criteria for honesty. The rough syntactic definition of honesty is the existence of a minimal stable expansion, so the problem resides in the ordering relation underlying minimality. We discuss three different proposals for this ordering, together with their semantic counterparts, and show their effects on the induced notions of honesty.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00372771
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 24
    Electronic Resource
    Electronic Resource
    Bioaltruism reconsidered (1994)
    Springer
    Biology and philosophy 9 (1994), S. 75-84 
    Details
    ISSN: 1572-8404
    Keywords: Altruism ; ethics ; ethology ; evolution ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Altruistic behavior is often regarded as sociobiology's most central theoretical problem, but is it? Altruism in biology, bioaltruism, has many meanings, which can be grouped into two categories. The first I will callcommon bioaltruism. It is primarily of ethological relevance. The second,evolutionary bioaltruism, is a special category in evolutionary respects in that it may indeed pose a problem for evolutionary theory. These categories are logically independent. Moreover, both of them are logically different from altruism in its everyday psychological or moral sense. Sociobiological examples of bioaltruistic behavior concern bioaltruism in the first sense only, so the theoretical problem ‘altruism’ is supposed to pose, is indeed nothing but a theoretical problem and the bioaltruism that actually occurs has no evolutionary relevance. Nevertheless, evolutionary theory is relevant to our understanding of the possibility of common bioaltruism, and that possibility — even though bioaltruism is conceptually different from ethical altruism — is relevant for ethicists: it sheds light on what we can ask people to do or not to do.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00849915
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 25
    Electronic Resource
    Electronic Resource
    Evolutionary naturalism and the objectivity of morality (1993)
    Springer
    Biology and philosophy 8 (1993), S. 47-60 
    Details
    ISSN: 1572-8404
    Keywords: Ethics ; morality ; naturalism ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract We propose an objective and justifiable ethics that is contingent on the truth of evolutionary theory. We do not argue for the truth of this position, which depends on the empirical question of whether moral functions form a natural class, but for its cogency and possibility. The position we propose combines the advantages of Kantian objectivity with the explanatory and motivational advantages of moral naturalism. It avoids problems with the epistemological inaccessibility of transcendent values, while avoiding the relativism or subjectivism often associated with moral naturalism. Our position emerges out of criticisms of the contemporary sociobiological views of morality found in the writings of Richard Alexander, Michael Ruse, and Robert Richards.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00868505
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 26
    Electronic Resource
    Electronic Resource
    An intellectual legacy of the past: The reception of sociobiology in the East-European countries (1993)
    Springer
    Biology and philosophy 8 (1993), S. 399-407 
    Details
    ISSN: 1572-8404
    Keywords: German anthropology ; Lysenko ; Marx ; sociobiology ; Stalin
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Sociobiology has not been well received in Eastern Europe. Reasons for this are listed and discussed. It is suggested that times are changing and that sociobiology will have more success in the future.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00857686
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 27
    Electronic Resource
    Electronic Resource
    Biology intersects religion and morality (1992)
    Springer
    Biology and philosophy 7 (1992), S. 77-88 
    Details
    ISSN: 1572-8404
    Keywords: Morality ; Arthur Peacocke ; reductionism ; Michael Ruse ; science and religion ; sociobiology ; theology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Michael Ruse's writings explore what sociobiology says about morality. Further, he claims that sociobiology undermines the base for Christian morality. After responding to criticisms of Ruse, especially those of Arthur Peacocke, I lay a base for meeting his challenge.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00130166
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 28
    Electronic Resource
    Electronic Resource
    Evolution, altruism, and the prisoner's dilemma (1992)
    Springer
    Biology and philosophy 7 (1992), S. 161-175 
    Details
    ISSN: 1572-8404
    Keywords: Altruism ; evolution ; Prisoner's Dilemma ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract I first argue against Peter Singer's exciting thesis that the Prisoner's Dilemma explains why there could be an evolutionary advantage in making reciprocal exchanges that are ultimately motivated by genuine altruism over making such exchanges on the basis of enlightened long-term self-interest. I then show that an alternative to Singer's thesis — one that is also meant to corroborate the view that natural selection favors genuine altruism, recently defended by Gregory Kavka, fails as well. Finally, I show that even granting Singer's and Kavka's claim about the selective advantage of altruism proper, it is doubtful whether that type of claim can be used in a particular sort of sociobiological argument against psychological egoism.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00129881
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 29
    Electronic Resource
    Electronic Resource
    Moral and nonmoral innate constraints (1992)
    Springer
    Biology and philosophy 7 (1992), S. 189-202 
    Details
    ISSN: 1572-8404
    Keywords: Epigenetic rule ; ethics ; human behavioral ecology ; innate constraint ; morality ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Charles J. Lumsden and E.O. Wilson, in their writings together and individually, have proposed that human behaviors, whether moral or nonmoral, are governed by innate constraints (which they have termed “epigenetic rules”). I propose that if a genetic component of moral behavior is to be discovered, some sorting out of specifically moral from nonmoral innate constraints will be necessary. That some specifically moral innate constraits exist is evidenced by virtuous behaviors exhibited in nonhuman mammals, whose behavior is usually granted to be importantly governed by genetic factors. Propensities for such virtuous behaviors may have been passed to humans as highly conserved mammalian genes and continue to influence us. I propose that these constitute at least a “rudimentary morality” and may account in part for the moral intuitions. But other innate constraints which are nonmoral in nature interact with the specifically moral innate constraints and with culture to yield human moral decisions and actions. Any model which aims to identify the genetic component of moral behaviors or behaviors with moral import must provide not only a delineation of cultural causes but must also distinguish between those genetic causes which may have their origin in innate moral constraints from others which are fundamentally nonmoral because the critical faculty necessary to higher level human morality itself arises in part from innate constraints of a nonmoral type; i.e., the processes of inductive reasoning common to both ethics and science. Finally, humans who could bring the nonmoral evaluative capacities to bear upon whatever moral intuitions might be genetically conserved in mammalian heritage would have an advantage over similar beings who could not.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00129883
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 30
    Electronic Resource
    Electronic Resource
    Holism and reduction in sociobiology: Lessons from the ants and human culture (1991)
    Springer
    Biology and philosophy 6 (1991), S. 401-412 
    Details
    ISSN: 1572-8404
    Keywords: Ants ; behavior ; culture ; Holism ; human ; meaning ; reduction ; sociobiology ; symbol
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Most research in the natural sciences passes through repeated cycles of a analytic reduction to the next lower level of organization, then resynthesis to the original level, then new analyticareduction, and so on. A residue of unexplained phenomena at the original level appears at first to require a “holistic” description independent of the lower level, but the residue shrinks as knowledge increases. This principle is well illustrated by recent studies from the social organization of insects, several examples of which are cited here. In theory it should also apply to human social organization. Culture is biological: meaning in culture can be approached as the outcome of mechanism-based causation, because culture stems from individual cognition, which has a biological basis. It would seem to follow that the most effective way to study culture is across all levels of organization from gene to society, passing repetitively through a cycle of reduction and synthesis in the manner of the natural sciences. Reductionistic analysis is favored by the tendency of semantic memory and culture to occur in discrete units that are arranged hierarchically.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00128710
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 31
    Electronic Resource
    Electronic Resource
    Really taking Darwin seriously: An alternative to Michael Ruse's Darwinian metaethics (1990)
    Springer
    Biology and philosophy 5 (1990), S. 149-173 
    Details
    ISSN: 1572-8404
    Keywords: Darwinian ethics ; ethics ; evolution ; evolutionary ethics ; M. Ruse ; naturalistic fallacy ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Michael Ruse has proposed in his recent book Taking Darwin Seriously and elsewhere a new Darwinian ethics distinct from traditional evolutionary ethics, one that avoids the latter's inadequate accounts of the nature of morality and its failed attempts to provide a naturalistic justification of morality. Ruse argues for a sociobiologically based account of moral sentiments, and an evolutionary based casual explanation of their function, rejecting the possibility of ultimate ethical justification. We find that Ruse's proposal distorts, overextends and weakens both Darwinism and naturalism. So we propose an alternative Darwinian metaethics that both remedies the problems in Ruse's proposal and shows how a Darwinian naturalistic account of the moral good in terms of human fitness avoids the naturalistic fallacy and can provide genuine, even if limited, justifications for substantive ethical claims. Thus, we propose to really take Darwin seriously.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127485
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 32
    Electronic Resource
    Electronic Resource
    Causes, proximate and ultimate (1990)
    Springer
    Biology and philosophy 5 (1990), S. 401-415 
    Details
    ISSN: 1572-8404
    Keywords: Proximate cause ; ultimate cause ; function ; functionalism ; structuralism ; adaptation ; sociobiology ; behavioral ecology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Within evolutionary biology a distinction is frequently made between proximate and ultimate causes. One apparently plausible interpretation of this dichotomy is that proximate causes concern processes occurring during the life of an organism while ultimate causes refer to those processes (particularly natural selection) that shaped its genome. But “ultimate causes” are not sought through historical investigations of an organisms lineage. Rather, explanations referring to ultimate causes typically emerge from functional analyses. But these functional analyses do not identify causes of any kind, much less ultimate ones. So-called “ultimate explanations” are not about causes in any sense resembling those of proximate explanations. The attitude, implicit in the term “ultimate cause”, that these functional analyses are somehow superordinate to those involving “proximate causes” is unfounded. “Ultimate causes” are neither ultimate nor causes.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF02207379
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 33
    Electronic Resource
    Electronic Resource
    Evolution, explanation, and the fact/value distinction (1988)
    Springer
    Biology and philosophy 3 (1988), S. 317-348 
    Details
    ISSN: 1572-8404
    Keywords: Ethics ; sociobiology ; Hume ; ethical naturalism ; reductionism ; naturalistic fallacy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Though modern non-cognitivists in ethics characteristically believe that values are irreducible to facts, they nevertheless believe that values are determined by facts, viz., those specified in functionalist, explanatory theories of the evolutionary origin of morality. The present paper probes the consistency of this position. The conventionalist theories of Hume and Harman are examined, and are seen not to establish a tight determinative reduction of values to facts. This result is illustrated by reference to recent theories of the sociobiological mechanisms involved in moral evolution. Though explanatory theories have linguistic implications,exaggerated in Harman's linguistic form of social relativism, there is also failure to establish the semantic reductionism which non-cognitivists reject under the rubric of ethical naturalism. It is concluded that explanatory forms of naturalism, the best of which is a functionalist-utilitarian account, are compatible with the fact/value distinction.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00053658
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 34
    Electronic Resource
    Electronic Resource
    “Clever beasts who invented knowing”: Nietzsche's evolutionary biology of knowledge (1987)
    Springer
    Biology and philosophy 2 (1987), S. 65-91 
    Details
    ISSN: 1572-8404
    Keywords: Nietzsche ; Darwin ; evolution ; epistemology ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Nietzsche was a philosopher, not a biologist, Nevertheless his philosophical thought was deeply influenced by ideas emerging from the evolutionary biology of the nineteenth century. His relationship to the Darwinism of his time is difficult to disentangle. It is argued that he was in a sense an unwitting Darwinist. It follows that his philosophical thought is of considerable interest to those concerned to develop an evolutionary biology of mankind. His approach can be likened to that of an extraterrestrial sociobiologist studying “clever beasts... in some out of the way corner of the universe ...” It is shown how be uses this viewpoint to account for the origin of the central psychobiology of humankind: for dualistic philosophies, such as that of Descartes (which Ryle famously called ‘the official doctrine’), for human notions of ‘truth’ and ‘falsehood’, ‘being’ and ‘becoming’, and for other fundamental concepts of Western philosophy and science. All these, he argues, are no more and no less than the necessary adaptations of a zoological species, Homo sapiens, in its ‘struggle for life’ in a Darwinian world. It is concluded that Nietzsche was the first philosopher to accept and use in their full depth the philosophical implications of nineteeth-century evolutionism, implications which are still resisted to this day. It is also argued that this interpretation of Nietzsche's aphoristic writings provides them with an organic consistency.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127565
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 35
    Electronic Resource
    Electronic Resource
    No norms and no nature — The moral relevance of evolutionary biology (1987)
    Springer
    Biology and philosophy 2 (1987), S. 253-270 
    Details
    ISSN: 1572-8404
    Keywords: Ethics ; evolution ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Many think that evolutionary biology has relevance to ethics, but how far that relevance extends is a matter of debate. It is easy to show that “pop” sociobiological approaches to ethics all commit some type of naturalistic fallacy. More sophisticated attempts, like Donald Campbell's, or, more recently, Robert Richards', are not so easily refuted, but I will show that they too reason fallaciously from facts to values. What remains is the possibility of an evolutionary search for human nature. Unfortunately, evolutionary theory itself seems to imply that the quest for human nature will not be very promising. As far as there is such a thing as human nature, we will have to know it before we can meaningfully talk about its evolution. Anthropological data suggest that we differ widely in our normative judgments. And even where we seem to agree, there is good reason to doubt that we really do so.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00128832
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 36
    Electronic Resource
    Electronic Resource
    Colleagues in conflict: An ‘in vivo’ analysis of the sociobiology controversy (1986)
    Springer
    Biology and philosophy 1 (1986), S. 53-87 
    Details
    ISSN: 1572-8404
    Keywords: E. O. Wilson ; R. C. Lewontin ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Edward O. Wilson's forays into human sociobiology have been the target of persistent, vehement attack by his Harvard colleague in evolutionary biology, Richard C. Lewontin. Through examination of existing “documents in the case”, together with in-depth personal interviews of Wilson, Lewontin, and other biologists, the reasons for Wilson's stance and Lewontin's criticisms are uncovered. It is argued that the dispute is not primarily personally or politically motivated, but involves a conflict between long-term scientific-cum-moral agendas, with the “reductionist program” as a key issue. It is concluded that it is in the interest of both disputants to keep the controversy alive.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127089
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
  • 37
    Electronic Resource
    Electronic Resource
    Genes or culture? A Marxist perspective on humankind (1986)
    Springer
    Biology and philosophy 1 (1986), S. 89-107 
    Details
    ISSN: 1572-8404
    Keywords: Marx ; E. O. Wilson ; sociobiology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Intense interest has long been shown in the nature of humankind. Are we the products of genes? Are we the products of culture? Or are we something in between? The Marxist position, stressing the dominant significance of social methods for studying humans, is sketched. Then, a number of Western, biologically influenced views are discussed and criticised. Although there are important insights in the writings of the holders of these views, ultimately they produce only a “semiscience”.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF00127090
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...