ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Your email was sent successfully. Check your inbox.

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

Proceed reservation?

Export
Filter
  • Journals
  • Articles  (472)
  • Maps
  • Springer  (472)
  • 1990-1994  (472)
  • 1990  (472)
  • Philosophy  (472)
Collection
  • Journals
  • Articles  (472)
  • Maps
Years
  • 1990-1994  (472)
Year
Journal
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 87-104 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Three views on definite descriptions are summarized and discussed, including that of P. F. Strawson in which reference failure results in lack of truth value. When reference failure is allowed, a problem arises concerning Universal Instantiation. Van Fraassen solves the problem by the use of supervaluations, preserving as well such theorems as ‘a=a’, and ‘Fa ∨ ∼Fa’, even when the term ‘a’ fails to refer. In the present paper a form of relevant, quasi-analytic implication is set out which allows reference failure to infect even ‘a=a’ and ‘Fa ∨ ∼ Fa’ with lack of truth-value. Reference failure causes lack of truth-value in a subwff to spread throughout any wff built up by the classical connectives. As a result none of the classical firstorder axiom schemes remain as axiom schemes in the system presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 67-82 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A bivalent valuation is snt iff sound (standard PC inference rules take truths only into truths) and non-trivial (not all wffs are assigned the same truth value). Such a valuation is normal iff classically correct for each connective. Carnap knew that there were non-normal snt valuations of PC, and that the gap they revealed between syntax and semantics could be “jumped” as follows. Let VAL snt be the set of snt valuations, and VAL nrm be the set of normal ones. The bottom row in the table for the wedge ‘∨’ is not semantically determined by VAL snt, but if one deletes from VAL snt all those valuations that are not classically correct at the aforementioned row, one jumps straights to VAL nrm and thus to classical semantics. The conjecture we call semantic holism claims that the same thing happens for any semantic indeterminacy in any row in the table of any connective of PC, i.e., to remove it is to jump straight to classical semantics. We show (i) why semantic holism is plausible and (ii) why it is nevertheless false. And (iii) we pose a series of questions concerning the number of possible steps or jumps between the indeterminate semantics given by VAL snt and classical semantics given by VAL nrm.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 133-149 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Let g E(m, n)=o mean that n is the Gödel-number of the shortest derivation from E of an equation of the form ϕ(m)=k. Hao Wang suggests that the condition for general recursiveness ∀m∃n(g E(m, n)=o) can be proved constructively if one can find a speedfunction ϕ s s, with ϕ s(m) bounding the number of steps for getting a value of ϕ(m), such that ∀m∃n≦ϕ s(m) s.t. g E(m, n)=o. This idea, he thinks, yields a constructivist notion of an effectively computable function, one that doesn't get us into a vicious circle since we intuitively know, to begin with, that certain proofs are constructive and certain functions effectively computable. This paper gives a broad ‘possibility’ proof for the existence of such classes of effectively computable functions, with Wang's idea of effective computability generalized along a number of dimensions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 175-181 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Let ℭ be the class of frames satisfying the condition $$\forall x\exists y(Ry \wedge yRy)$$ (“every world can see a reflexive world”). LetKMT be the system obtained by adding to the minimal normal modal systemK the axiom $$M((Lp_1 \supset p_1 ) \wedge ... \wedge (Lp_n \supset p_n ))$$ for eachn ⩾ 1. The main results proved are: (1)KMT is characterized by ℭ. (2)KMT has the finite model property. (3) There are frames forKMT which are not in ℭ, but allfinite frames forKMT are in ℭ. (4)KMT is decidable. (5)KMT is not finitely axiomatizable. (6) The class of all frames forKMT is not definable by any formula of first-order logic. (7) 〈W, R〉 is a frame forKMT iff for everyx εW, the worlds thatx can see form a sub-frame which is not finitely colourable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 288-288 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 273-282 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper describes and compares the first step in modern semantic theory for deontic logic which appeared in works of Stig Kanger, Jaakko Hintikka, Richard Montague and Saul Kripke in late 50s and early 60s. Moreover, some further developments as well as systematizations are also noted.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 333-343 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In Section 1 we show that the De Morgan type rules (= sequential rules in L(∨, ⌝) which remain correct if ∧ and ∨ are interchanged) are finitely based. Section 2 contains a similar result for L(→). These results are essentially based on special properties of some equational theories.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 345-363 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In [12] Richmond Thomason and Anil Gupta investigate a semantics for conditional logic that combines the ideas of [8] and [9] with a branching time model of tense logic. The resulting branching time semantics for the conditional is intended to capture the logical relationship between temporal necessity and the conditional. The central principle of this logical relationship is Past Predominance, according to which past similarities and differences take priority over future similarities and differences in determining the comparative similarity of alternative possible histories with respect to a given present moment. In this paper I will use ordinary possible worlds semantics (i.e. Kripke frames) to solve the completeness problem for a system of logic that combines conditional logic with temporal necessity in the context of Past Predominance. Branching time models turn out not to be necessary for the articulation of Past Predominance, and this means that one can axiomatize Past Predominance without first having to solve a much more difficult problem: the completeness problem for the logic of temporal necessity in the context of branching time. Thomason and Gupta argue in [12] that in addition to Past Predominance, temporal necessity and the conditional are logically related, by what have become known as the Edelberg Inferences, whose apparent validity motivates the very complicated theory presented at the end of [12]. I will conclude this paper by examining how the Edelberg inferences would be incorporated into the possible worlds based system presented in the earlier sections of this paper.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 215-239 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper concerns modal logics of provability — Gödel-Löb systemGL and Solovay logicS — the smallest and the greatest representation of arithmetical theories in propositional logic respectively. We prove that the decision problem for admissibility of rules (with or without parameters) inGL andS is decidable. Then we get a positive solution to Friedman's problem forGL andS. We also show that A. V. Kuznetsov's problem of the existence of finite basis for admissible rules forGL andS has a negative solution. Afterwards we give an algorithm deciding the solvability of logical equations inGL andS and constructing some solutions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. I 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 307-320 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In the paper ordering relations for comparison of verisimilitude of theories are introduced and discussed. The relations refer to semantic analysis of the results of theories, in particular to analysis of concepts the theories deal with.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 401-419 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Simple formula should contain only few quantifiers. In the paper the methods to estimate quantity and quality of quantifiers needed to express a sentence equivalent to given one.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 431-454 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We provide an algorithm for determining a categorial grammar from linguistic data that essentially uses unification of type-schemes assigned to atoms. The algorithm presented here extends an earlier one restricted to rigid categorial grammars, introduced in [4] and [5], by admitting non-rigid outputs. The key innovation is the notion of an optimal unifier, a natural generalization of that of a most general unifier.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 501-514 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Semantics are given for modal extensions of relevant logics based on the kind of frames introduced in [7]. By means of a simple recipe we may obtain from a class FRM (L) of unreduced frames characterising a (non-modal) logic L, frame-classes FRM □ (L.M) characterising conjunctively regular modal extensions L.M of L. By displaying an incompleteness phenomenon, it is shown how the recipe fails when reduced frames are under consideration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 557-566 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract One of the main applications of the logic of theory change is to the epistemic analysis of conditionals via the so-called Ramsey test. In the first part of the present note this test is studied in the “limiting case” where the theory being revised is inconsistent, and it is shown that this case manifests an intrinsic incompatibility between the Ramsey test and the AGM postulate of “success”. The paper then analyses the use of the postulate of success, and a weakening of it, generating axioms of conditional logic via the test, and it is shown that for certain purposes both success and weak success are quite superfluous. This suggests the proposal of abandoning both success and weak success entirely, thus permitting retention of the postulate of “preservation” discarded by Gärdenfors.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 601-611 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 31-46 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The Priestley duality for Wajsberg algebras is developed. The Wajsberg space is a De Morgan space endowed with a family of functions that are obtained in rather natural way. As a first application of this duality, a theorem about unicity of the structure is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 7-21 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Predicate modal formulas are considered as schemata of arithmetical formulas, where □ is interpreted as the standard formula of provability in a fixed “sufficiently rich” theory T in the language of arithmetic. QL T(T) and QL T are the sets of schemata of T-provable and true formulas, correspondingly. Solovay's well-known result — construction an arithmetical counterinterpretation by Kripke countermodel — is generalized on the predicate modal language; axiomatizations of the restrictions of QL T(T) and QL T by formulas, which contain no variables different from x, are given by means of decidable prepositional bimodal systems; under the assumption that T is Π 1-complete, there is established the enumerability of the restrictions of QL T(T) and QL T by: 1) formulas in which the domains of different occurrences of □ don't intersect and 2) formulas of the form □ n ⊥ → A.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 1-6 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Gärdenfors' impossibility theorem draws attention to certain formal difficulties in defining a conditional connective from a notion of theory revision, via the Ramsey test. We show that these difficulties are not avoided by taking the background inference operation to be non-monotonic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 47-65 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Da Costa's C systems are surveyed and motivated, and significant failings of the systems are indicated. Variations are then made on these systems in an attempt to surmount their defects and limitations. The main system to emerge from this effort, system CC ω, is investigated in some detail, and “dual-intuitionistic” semantical analyses are developed for it and surrounding systems. These semantics are then adapted for the original C systems, first in a rather unilluminating relational fashion, subsequently in a more illuminating way through the introduction of impossible situations where and and or change roles. Finally other attempts to break out of impasses for the original and expanded C systems, by going inside them, are looked at, and further research directions suggested.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 151-161 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 127-132 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this note we present a three-valued intensional logic, which is an extension of both Montague's intensional logic and Łukasiewicz three-valued logic. Our system is obtained by adapting Gallin's version of intensional logic (see Gallin, D., Intensional and Higher-order Modal Logic). Here we give only the necessary modifications to the latter. An acquaintance with Gallin's work is pressuposed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 283-287 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 567-583 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper describes four dialogue systems, developed in the tradition of Charles Hamblin. The first system provides an answer for Achilles in Lewis Carroll's parable, the second an analysis of the fallacy of begging the question, the third a non-psychologistic account of conversational implicature, and the fourth an analysis of equivocation and of objections to it. Each avoids combinatorial explosions, and is intended for real-time operation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 613-614 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 171-174 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is devoted to showing certain connections between normal modal logics and those strictly regular modal logics which have □ ⊤ → □□ ⊤ as a theorem. We extend some results of E. J. Lemmon (cf. [66]). In particular we prove that the lattice of the strictly regular modal logics with the axiom □ ⊤ → □□ ⊤ is isomorphic to the lattice of the normal modal logics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 241-252 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We prove the canonical models introduced in [D] do not exist for some graded normal logics with symmetric models, namelyKB°, KBD°, KBT°, so that we define a new kind of canonical models, the general ones, and show they exist and work well in every case.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 197-214 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We illustrate, with three examples, the interaction between boolean and modal connectives by looking at the role of truth-functional reasoning in the provision of completeness proofs for normal modal logics. The first example (§ 1) is of a logic (more accurately: range of logics) which is incomplete in the sense of being determined by no class of Kripke frames, where the incompleteness is entirely due to the lack of boolean negation amongst the underlying non-modal connectives. The second example (§ 2) focusses on the breakdown, in the absence of boolean disjunction, of the usual canonical model argument for the logic of ‘dense’ Kripke frames, though a proof of incompleteness with respect to the Kripke semantics is not offered. An alternative semantic account is developed, in terms of which a completeness proof can be given, and this is used (§ 3) in the discussion of the third example, a bimodal logic which is, as with the first example, provably incomplete in terms of the Kripke semantics, the incompleteness being due to the lack of disjunction (as a primitive or defined boolean connective).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 163-170 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper explores a modal analogue of Hugh Mellor's version of McTaggart's argument against the reality of tense. I show that if Mellor's argument succeeds in showing that the present moment cannot be any more real than any other moment then it also shows that the actual world cannot be any more real than any other possible world.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 483-499 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper introduces a concept of logic applied to a formalization of the so-called inferences preserving degrees of truth. Semantical and syntactical characterizations of three kinds of logics preserving degrees of truth are provided. The other approach than in [3] and [9] to the problem of expressing that a sentence α is less true than a sentence β is presented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 515-522 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Axiomatics which do not employ rules of inference other than the cut rule are given for commutative product-free Lambek calculus in two variants: with and without the empty string. Unlike the former variant, the latter one turns out not to be finitely axiomatizable in that way.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 183-195 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The branching-time logic called ‘Peircean’ by Arthur Prior is considered and given an infinite axiomatization. The axiomatization uses only the standard deduction rules for tense logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 255-272 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This article provides an overview of development of Kripke semantics for logics determined by information systems. The proposals are made to extend the standard Kripke structures to the structures based on information systems. The underlying logics are defined and problems of their axiomatization are discussed. Several open problems connected with the logics are formulated. Logical aspects of incompleteness of information provided by information systems are considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 289-306 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Shehtman and Skvortsov introduced Kripke bundles as semantics of non-classical first-order predicate logics. We show the structural equivalence between Kripke bundles for intermediate predicate logics and Kripke-type frames for intuitionistic modal prepositional logics. This equivalence enables us to develop the semantical study of relations between intermediate predicate logics and intuitionistic modal propositional logics. New examples of modal counterparts of intermediate predicate logics are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 365-385 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We consider modal logics whose intermediate fragments lie between the logic of infinite problems [20] and the Medvedev logic of finite problems [15]. There is continuum of such logics [19]. We prove that none of them is finitely axiomatizable. The proof is based on methods from [12] and makes use of some graph-theoretic constructions (operations on coverings, and colourings).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 421-429 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 523-539 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper non-normal worlds semantics is presented as a basic, general, and unifying approach to epistemic logic. The semantical framework of non-normal worlds is compared to the model theories of several logics for knowledge and belief that were recently developed in Artificial Intelligence (AI). It is shown that every model for implicit and explicit belief (Levesque), for awareness, general awareness, and local reasoning (Fagin and Halpern), and for awareness and principles (van der Hoek and Meyer) induces a non-normal worlds model validating precisely the same formulas (of the language in question).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 585-590 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Associate to any linear ordering ⊲ on the integers the mapping whose value on n is the cardinality of {k〈n; k⊲n}: a purely combinatorial characterization for the mappings associated to the well-orderings is established.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 23-30 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Some new double analogues of induction and transfinite recursion are given which yields a relatively simple proof of a result of Robert Cowen, [2] which in turn is a strengthening of an earlier result of Smullyan [1], which in turn gives a unified approach to Zorn's Lemma, the transfinite recursion theorem and certain results about ordinal numbers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 83-86 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Semantic Holism is the claim that any semantic path from inferential semantics (the indeterminate semantics forced by the classical inference rules of PC) reaches all the way to classical semantics if it is even one step long. In our joint paper “Semantic Holism”, Belnap and I showed that some such semantic paths are two steps long, but we left open a number of questions about the lengths of semantic paths. Here I answer the most important of these questions by showing that there are infinitely long semantic paths that begin at inferential semantics but that do not even reach classical semantics. I do this by showing how to construct such an infinite semantic path from the members of the family of (n−1)-out-of-n-disjunction connectives.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 105-126 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The main aim of the present paper is to explain a nature of relationships exist between Nelson and Heyting algebras. In the realization, a topological duality theory of Heyting and Nelson algebras based on the topological duality theory of Priestley ([15], [16]) for bounded distributive lattices are applied. The general method of construction of spaces dual to Nelson algebras from a given dual space to Heyting algebra is described (Thm 2.3). The algebraic counterpart of this construction being a generalization of the Fidel-Vakarelov construction ([6], [25]) is also given (Thm 3.6). These results are applied to compare the equational category N of Nelson algebras and some its subcategories (and their duals) with the equational category H of Heyting algebras (and its dual). It is proved (Thm 4.1) that the category N is topological over the category H.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 321-332 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we are discussing a version of propositional belief logic, denoted by LB, in which so-called axioms of introspection (Bα ≡ BBα and ∼ Bα ≡ B ∼ Bα) are added to the usual ones. LB is proved to be sound and complete with respect to Boolean algebras equipped with proper filters (Theorem 5). Interpretations in classical theories (Theorem 4) are also considered. A few modifications of LB are further dealt with, one of which turns out to be S5.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 387-400 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In the first place, we present the definition and fundamental properties of information functions — functions which establish a correspondence between sets of formulas and the information contained in them. The intuitions for the notion of information stem from the conception of Bar-Hillel and Carnap in [3]. In § 2 we will briefly show how those notions can be applied to the logic of theory change. In § 3 we will use them for proving two theorems about the lattices of classical subtheories and their content.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 455-470 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Given a normal (multi-)modal logic Θ a characterization is given of the finitely presentable algebras A whose logics L A split the lattice of normal extensions of Θ. This is a substantial generalization of Rautenberg [10] and [11] in which Θ is assumed to be weakly transitive and A to be finite. We also obtain as a direct consequence a result by Blok [2] that for all cycle-free and finite A L A splits the lattice of normal extensions of K. Although we firmly believe it to be true, we have not been able to prove that if a logic Λ splits the lattice of extensions of Θ then Λ is the logic of an algebra finitely presentable over Θ; in this respect our result remains partial.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 471-481 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate prepositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S' n defined in Gödel [3] and prove the simple substitution property for them. In our former paper [9], we proved that the sets of axioms composed of one prepositional variable do not have the property except two of them. Here we provide another proof for this theorem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 541-555 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A formal language of two-valued logic is developed, whose terms are formulas of the language of Kleene's three-valued logic. The atomic formulas of the former language are pairs of formulas of the latter language joined by “consequence” operators. These operators correspond to the three “sensible” types of consequence (strong-strong, strong-weak and weak-weak) in Kleene's logic in analogous way as the implication connective in the classical logic corresponds to the classical consequence relation. The composed formulas of the considered language are built from the atomic ones by means of the classical connectives and quantifiers. A deduction system for the developed language is given, consisting of a set of decomposition rules for sequences of formulas. It is shown that the deduction system is sound and complete.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 49 (1990), S. 591-600 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this note, a fully modal proof is given of some conservation results proved in a previous paper by arithmetic means. The proof is based on the extendability of Kripke models.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. iv 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 1-23 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 25-46 
    ISSN: 1572-8587
    Keywords: absolute processes ; mind-body-problem ; qualia ; reductionism ; sensa
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary In this paper, the development of Sellars' thoughts concerning the mind-body-problem is reconstructed. Starting from an elaborate critique of the identity theory, Sellars claims that the ultimate ‘Scientific Image’ must contain a concept ofsensa as the bearers of certain properties of manifest sense impressions. In his later work Sellars' notion ofabsolute processes leads him to a new monism and thus to an extended critique of rival theories. It is argued that these Sellarsian thoughts can be helpful in the actual discussion of the mind-body-problem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 47-74 
    ISSN: 1572-8587
    Keywords: artificial intelligence ; knowledge-based systems ; philosophy of science ; philosophy of technology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary No kind of technology has had such a profound effect upon our lives and society as the new knowledge-based systems which start to overcome the traditional computer technology. Few areas of science raise such high expectations and meet with so much sceptical resistance as Artificial Intelligence (AI). So it is the task of philosophy of science and technology to analyze the factual methodological possibilities of AI-technology. After a historical sketch of AI-development (Chapter 2), the technological foundations of expert systems are described (Chapter 3). It is a surprising result of analysis that expert systems are technical realizations of well-known philosophical methodologies. In this very sense, AI is not only technology, but philosophy too (Chapter 4). On the other hand the question arises if knowledge-based systems can support the work of philosophers of science who want to explain the process of scientific research, inventions, and discoveries. This application of AI for the philosophical professionals is discussed in the 5th chapter. In the 6th chapter some scenarios of AI-technology are described which are expected in the nineties. Then, besides philosophy of science and technology, we have to consider the ethical questions which arise in evaluating the factual impact of AI-technology on our lives and society.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 105-133 
    ISSN: 1572-8587
    Keywords: language-game ; complete language ; agent's knowledge ; translatability ; communicative competence ; perspicuity ; perspicuous view ; double structure of speech ; reporting an event ; reason ; intellectual intuition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The article formulates a criticism of Wittgenstein's later philosophy which, in its substance, I would like to think, is fairly the same as the (hermeneutic) criticism issued by Apel and Habermas in the sixties. Contrary to these philosophers, however, I try to make the point by focusing on the distinction between language game and language, respectively between intralanguage relations of ‘family resemblance’ (between language games) and interlanguage translation relations. The notion of a ‘complete language’ is introduced — ‘completeness’ of a language being, roughly, its possibility in principle of being translated into any (other) language — and the criticism of Wittgenstein is formulated as the allegation that he does not, or will not, acknowledge such a concept of completeness. So far the contents of the first part of the article. The rest of it assembles some hints, remarks and reminders which bear upon the question of the ‘completeness’ of a language. These considerations include comments on the conditions of translatability, on the performative (agent's) knowledge or ‘intention-in-action’ of the acting person, on Habermas' concept of communicative competence and on the notion of a responsible subject of action. It is alleged that to speak of ‘translation’ and ‘reporting an event’ as language games is misleading.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 135-156 
    ISSN: 1572-8587
    Keywords: abstraktion ; fiction ; fictionality ; fictitiousness ; imagination ; concretization ; senses ; effects of the real
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The theory of fiction is systematically locatedbetween different types of discourse, of which philosophy, literary criticism and psychology/psychoanalysis are perhaps the most important. Mythesis is thatempiricist, mainly British philosophical approaches provide fascinatinghistorical models for an analysis of the situation in which we seem caught today between tendencies towards panfictionalization (since Vaihinger) and towards fairly rigid distinctions between fiction and reality. In my perspective, empiricist philosophy is not so much concerned with what isgiven, but with thecontrol of distinctions between the real and the imaginary under complex social conditions. In that sense, it constitutes striking anticipations of present discussions in evolutionary epistemology, cultural anthropology and psychoanalysis. Here the question is whether we can replace the semantics of fiction and reality by a series of distinctions between the experience of what might be called concrete and what might be called abstract.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 75-104 
    ISSN: 1572-8587
    Keywords: constructivism ; object, theory, practice, empirical sciences ; substance, process, practical action,quasi-action
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The following considerations are guided by the assumption that the objects of any scientific empirical theory are constructs as well as the theories themselves, the construction of these object-constructs being fundamentally dependent on the theories' functioning in the provision of practically relevant empirical explanations. The relevance of these explanations consists in their contribution to the improvement of at least one practical capacity through enabling the invention of at least one improving kind of practical actions. In an excursus on the origination and the development of the notion of theory within human history the view is held, in contrast to Aristotle, that theorization has always aimed at practical relevance, however in a broader sense of “practical” than that in which Aristotle uses the term “πρακτλκóχ”, and that only the practical functions of theory-construction have changed over the times, and their object-constructs correspondingly. The latest form of theory with the above-mentioned function in the development of social practice is the scientificexplanatory empirical theory with thedescriptive empirical theory now no longer fulfilling a practical function of its own, but only a service-function of data acquisition for the explanatory theory. The object-constructs of strictly scientific empirical theories in the sense of explanatory theories for the improvement of practical capacities are here considered to be empiricalquasi-actions, those of the dependent descriptive empirical theories eitherquasi-instruments orquasi-products orquasi-materials of the respective kind ofquasi-actions of the explanatory theory. The empiricalquasi-action is here conceived as the latest in a sequence of developing object-constructs that have resulted from different and successively more effective attempts at better survival of human beings and even from prehuman stages of evolution. The author envisages a differentiation of empiricalquasi-actions into further sub-categories to provide the conceptual bases for the construction of objects of new kinds of scientific explanatory empirical theories that might become practically relevant for the improvement of new kinds of practical capacities to be preferably improved for the advancement of social practice: Beside the already relevant category ofempirical processes (as I named it) are here proposed the further categories ofempirical originations of meaning and ofempirical organizations of practical actions as conceptual bases for object-constructs of future scientific empirical theories.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 157-162 
    ISSN: 1572-8587
    Keywords: Hoyer ; incommensurability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary In its first part, this paper shows why a recently made attempt to reduce the special theory of relativity to Newtonian kinematics is bound to fail. In the second part, we propose a differentiated notion of incommensurability which enables us to amend the contention that the special theory of relatively and Newtonian kinematics are “incommensurable”.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 163-182 
    ISSN: 1572-8587
    Keywords: confirmation ; support ; undermining
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary In 1975, ‘An Essay on Knowledge Formation’ by H. Törnebohm was published in this Journal. Its content in revised form was included in a work in Swedish of 1983 on knowledge development. HT defines his confirmation criterion in terms of a measure oftruth degree T, which is based on a measure ofmatching M, which is also used as a measure of the degree to which propositionp (an hypothesis) is supported or undermined by another propositionq (the evidence forp),M is defined in terms of a measure of thecontent C. Here it is argued that HT works with two measuresC: (1) a firstC, which is defined only for consistent propositions and which really is a measure of content; (2) a finalC, which is an inverted measure of probability rather than a measure of content. As an extension of HT's firstC, a new content measure, defined also for inconsistent propositions, is constructed. HT's measureM, which is based on his finalC, is replaced by one measure ofsupport and one ofundermining. Both are based on the new content measure.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 213-216 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 205-212 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 217-219 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. ii 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 183-203 
    ISSN: 1572-8587
    Keywords: anti-naturalism ; code ; deconstruction ; hermeneutics ; linguistics ; semiotics ; subject
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary This paper is an exposition as well as a critical examination of M. Frank's response to the Derrida/Searle debate. It argues that Frank's critique of Derrida and Searle is partly justified but suffers from a number of shortcomings. The author agrees with Frank's argument that Derrida fails to explain how linguistic meaning is possible on the basis of purely differential relations between signs (différance) and supports his view that the human subject, in spite of its lack of complete self-transparency, is endowed with more autonomy and semantic creativity than Derrida is willing to grant it. The paper tries to show, however, that much of Frank's critique of linguistic theory as represented by the work of Searle is unjustified because it is informed by a questionable notion of linguistic determinism rooted in Schleiermacher and Saussurean structuralism, a notion of ineffable or non-conceptual individual meaning that remains insufficiently explicated, and a generally anti-naturalist attitude towards language which leads to a misunderstanding of the role linguistics and related cognitive sciences can (and cannot) play in the hermeneutic sciences.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 231-257 
    ISSN: 1572-8587
    Keywords: basic rules ; change ; discipline-neutral ; evolution ; analogy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary A small step is made in the direction of defining some general basic rules which can serve as a framework for research in several fields of the social sciences. The method of working with analogies asks for a more accurate approach. Starting from the concept of evolution in the form of a basic rule another basic rule is formulated. This rule shows what are the most important factors in long term developments and what types of development one can expect.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 259-273 
    ISSN: 1572-8587
    Keywords: Gestalt ; Gleichheit des Grundes ; Handlung ; Kennzeichnung ; Natur der Sache ; Naturrecht ; philosophische Geschichtsschreibung ; ratio legis ; Rechtsgeschichte ; Typus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary For A. F. J. Thibaut, the main concern was a “philosophical” approach to the interpretation and systematization of the positive Roman Law in his time. In his eyes, the object of a subjective right is an action, not a thing or person. Therefore he was cautious not to use abstractions, definitions, and deductions from “dreamt” postulates. Regarding the logical texture of an institute of private law as a „Gestalt“, it follows that the “equity of the reason,” of a law, for different cases, is the same thing as that „Gestalt“. The “philosophical” interpretation of a law is then an interpretation in respect to its „Gestalt“. Although Thibaut's main concern was the interpretation of the positive Roman Law in his time (the „Gemeinrecht“) he did not disregard the history of Roman Law before and especially after Justinian.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 293-308 
    ISSN: 1572-8587
    Keywords: psychology ; Külpe ; methodology ; Popper ; rationality
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The importance of the problem of how to integrate psychology and methodology was rediscovered by Oswald Külpe. He noted that Wundt's psychology was inadequate and that a new methodology was needed to construct an alternative. Külpe made real progress but his program turned out to be quite difficult: he had no appropriate method for integrating the two fields. August Messer tried to fill the gap but failed. The problem was largely dropped due to poor methods at hand for studying it but remained important due to Popper's methodology and de Groot's psychology at least. We may now more effectively return to it by using a bootstrap method.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 309-328 
    ISSN: 1572-8587
    Keywords: Evolution ; evolutionäre Erkenntnistheorie ; Organismus ; Autonomie ; Abbildungskritik
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The concept of evolutionary epistemology has been critically discussed by philosophers who have mainly pointed to unacceptable philosophical tenets (cf. Vittorio Hösle, this Journal, Vol. 19 (1988), pp. 348–377). However, as most philosophers are extremely reluctant to critically treat the biological theories on which the ideas of evolutionary epistemology are based, the invalid concepts of adaption escaped their critical scrutiny. Therefore the influence of preconceived biological theories on the biological basis of evolutionary epistemology and the distorting consequences on the philosophical level could not be elaborated. The following context sketches a new view of organismic reasoning and its impact on evolutionary aspects of epistemology. The basic theorem of adaptation is shown to be unacceptable and invalid if organisms are conceived as autonomous entities which can only evolve according to their specific internal organismic properties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 275-292 
    ISSN: 1572-8587
    Keywords: Science ; cognitive sensory apparatus ; cultural evolution ; wealth-creating institutions ; intertheoretical competition ; free ; privatemarket order ; human capital
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary To understand the present situation we must know something about its history. The ‘Rise of the West’, which grew out of the ‘European Miracle’, is a special case of cultural evolution. The development of science is an important element in this process. Cultural evolution went hand in hand with biological evolution. Evolutionary epistemology illuminates the achievements and the evolution of cognitive sensory apparatus of various species. Man's cognitive sensory apparatus is adapted to the ‘mesocosmos’, the world of medium-sized dimensions. The biological structures constitute the hardware of the cognitive sensory apparatus, while certain expectations and theories, which are ontogenetically apriori, constitute the corresponding system software. A distinction is introduced between ‘primary theories’ (linked to the sensory apparatus) and ‘secondary theories’. The latter are the result of attempts to meet the demand for an explanation of phenomena that cannot be explained in terms of ‘primary theories’. Two subsets of ‘secondary theories’ are compared: spiritualistic-personalized theories and scientific theories. From the historical point of view the scientific secondary theories are but a special subset of the class of secondary theories. From the systematic point of view it is instructive to focus on a comparison of the two subsets: what do they have in common? in what respects do they differ? The rise of scientific thinking is closely linked to the ‘European Miracle’. How (and when and why) did the West grow rich? To answer this question we must first produce an explanation of the principle: theories about the consequences of institutional arrangements. Then we can give a historical explanation of why this development took place in Europe and only there. It is claimed that the secret of success, economic wealth and the first approximations to relatively free societies, was the taming of the state, the taming of cleptocracy (independent of the nature of the agency having cleptocratic appetites, be it princes or parliaments). The taming of the state is a pre-democratic achievement. Finally, the consequences of institutional arrangements for scientific progress and innovation are examined. Only if the system is market-like, will it link individual effort with reward and, through the competitive process, encourage the wide dissemination and use of new ideas. There is no tradeoff between freedom on the one hand and economic success and the growth of scientific knowledge on the other. Freedom and the ensuing flexibility is the key to the past and to the future.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 329-346 
    ISSN: 1572-8587
    Keywords: Popper ; observation ; theory-ladenness of observation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary In several places Popper describes a little experiment in which an audience is given the non-specific command ‚Observe!‘ He draws a number of conclusions from this experiment, in particular that observation takes place in the presence of theoretical problems, questions, hypotheses or points of view. The paper argues that while Popper's experiment is instructive, it hardly supports the strong conclusions he draws about the theory-dominance of observation in science. In particular, it is argued that talk of principles of selection which guide us to relevant observations, rather than the host of irrelevant observations of the naive inductivist, is misleading. Rather, it is the goals, aims, motives or interests of an observer that guide observation and these need not always involve a theoretical component.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 359-364 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 347-358 
    ISSN: 1572-8587
    Keywords: artificial intelligence ; understanding ; representation ; meaning ; intentionality ; teleology ; subjectivity ; semiotics ; philosophical anthropology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Artificial Intelligence can be considered as the so far last attempt to decode the anthropological comparison between human beings and machines. Thereby it also represents in a prominent way what can be called “systemic thought”. Searle's conclusive argument against strong AI (that is the idea of computers having intention in a literal way) refers to his precise distinction between syntax and semantics. This difference obviously opposing some of Searle's other essential ideas will only convince if it also explains the genetic-pragmatic aspect. A theory explaining the “life of mind” and the possibility of understanding needs to combine representation and intention with the subjective causation of signs. At the same time they have to be contextualized within a model of teleologically interpreted life recognized with the help of self-experience and self-reflection. This suggests that AI is a simulation which wrongly believes to be a real duplication. Actually it is a semiotic reduction (syntax and semantic surface of signs only) and a psychological compensation (Turing test) connected with a genetic or abductive fallacy. The biological decontextualization, in fact the elimination of teleology and intention, the deconstruction of subjectivity, the loss of the genetic-pragmatic dimension and the abductive fallacy induce the strong AI to confuse its surface-illusion of simulated understanding with the real process itself.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 365-400 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 401-403 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 21 (1990), S. 405-406 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 179-183 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 231-244 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 315-338 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 279-314 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Notes: Abstract I offer support for the view that physicalist theories of cognition don't reduce to neurophysiological theories. On my view, the mind-brain relationship is to be explained in terms of evolutionary forces, some of which tug in the direction of a reductionistic mind-brain relationship, and some of which which tug in the opposite direction. This theory of forces makes possible an anti-reductionist account of the cognitive mind-brain relationship which avoids psychophysical anomalism. This theory thus also responds to the complaint which arguably lies behind the Churchlands' strongest criticisms of anti-reductionism — namely the complaint that anti-reductionists fail to supply principled explanations for the character of the mind-brain relationship. While lending support to anti-reductionism, the view defended here also insures a permanent place for mind-brain reduction as an explanatory ideal analogous to Newtonian inertial motion or Aristotelian natural motion.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 353-354 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 417-474 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 391-416 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Notes: Abstract The problem addressed is that of finding a sound characterization of ambiguity. Two kinds of characterizations are distinguished: tests and definitions. Various definitions of ambiguity are critically examined and contrasted with definitions of generality and indeterminacy, concepts with which ambiguity is sometimes confused. One definition of ambiguity is defended as being more theoretically adequate than others which have been suggested by both philosophers and linguists. It is also shown how this definition of ambiguity obviates a problem thought to be posed by ambiguity for truth theoretical semantics. In addition, the best known test for ambiguity, namely the test by contradiction, is set out, its limitations discussed, and its connection with ambiguity's definition explained. The test is contrasted with a test for vagueness first proposed by Peirce and a test for generality propounded by Margalit.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 85 (1990), S. 115-138 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Notes: Abstract It is argued that the general thesis of realism is ill-defined, as are various versions of its denial. Only specific theses of the form ‘There areK's’ make clear sense. It is also argued that various efforts to deny realism always turn out to deny specific existential theses. Thus, it is argued, van Fraassen and Schwartz deny the existence of electrons.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Journal of agricultural and environmental ethics 3 (1990), S. 114-146 
    ISSN: 1573-322X
    Keywords: genetic engineering ; herbicide resistance ; herbicide tolerant crops ; agricultural ethics ; morality ; values ; justice ; sustainable agriculture ; alternative agriculture ; socio-economic effects ; weeds ; biotechnology ; agribusiness ; family farms
    Source: Springer Online Journal Archives 1860-2000
    Topics: Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Philosophy
    Notes: Abstract Should we continue to support publicly funded research on genetically engineered herbicide resistant crops? In Part One, I discussed the difference between science and ethics, presented a brief history of weed control, and explained three moral principles undergirding my environmentalist perspective. I then argued that unqualified endorsement (E) of the research is unjustified, as is unqualified opposition (O). In Part Two, I argue against qualified endorsement (QE), and for qualified opposition (QO).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Journal of agricultural and environmental ethics 3 (1990), S. 5-20 
    ISSN: 1573-322X
    Keywords: agriculture ; waste ; environment ; economic ; social ; costs ; erosion ; pesticides ; water
    Source: Springer Online Journal Archives 1860-2000
    Topics: Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Philosophy
    Notes: Abstract Because the agriculture/food sectors appear to be driven by short-term economic and political forces, cheap energy, and agricultural-chemical technologies, waste and environmental/social problems in the agricultural/food sectors are estimated to cost the nation at least $150 billion per year. Most of the waste and environmental/social problems can be eliminated through better resource management policies and the adoption of sustainable agricultural practices.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Journal of agricultural and environmental ethics 3 (1990), S. 50-88 
    ISSN: 1573-322X
    Keywords: appropriate technology ; basic needs ; swadeshi ; swaraj ; Gandhi ; India ; Indonesia ; steady state ; equity
    Source: Springer Online Journal Archives 1860-2000
    Topics: Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Philosophy
    Notes: Abstract This is an examination of the significance of Gandhi's social philosophy for development. It is argued that, when seen in light of Gandhi's social philosophy, the concepts of appropriate technology (A.T.) and basic needs take on new meaning. The Gandhian approach can be identified with theoriginal "basic needs" strategy for international development (Emmerij, 1981). Gandhi's approach helps to provide greater equity, or "distributive justice," by promoting technology that is appropriate to "basic needs" (food, clothing, shelter, health and basic education). Gandhi's social philosophy (Erikson, 1968; Roy, 1985) has been neglected by most development specialists, with only a few exceptions (e.g., Chambers, 1983; Charles, 1983). This analysis attempts to draw out some aspects of M.K. Gandhi's background and his thinking aboutswadeshi (i.e. local self-reliance and use of local knowledge and abilities) andswaraj (i.e. independent development that leads to equity and justice). Gandhi's ideas, which emerged out of an "Indic" meta-cultural background, are based on an emphasis on equity. Gandhi's syncretic Indic background includes a belief in what Bateson (1972), writing about Bali, Indonesia, has called the "steady state." Development activities should be carried out in a phased manner that does not disturb the beneficial aspects of dynamic equilibrium, but that does promote "positive development." A.T. is particularly useful within the context of a basic needs approach to international development because use of A.T. is probably more likely to lead to equitable growth. The "economic growth" strategy, utilizing "advanced technology" (or even "high tech") exclusively, has caused unemployment and has not led to effective "trickle down," much less "high mass consumption." In many developing countries the poorest 20% of the population are worse off in 1990 than they were in 1980. By making use of the "advantage of backwardness" (Veblen, 1966) and viewing development in terms of long-term impacts, a basic needs approach using A.T. is more likely to lead to a positive impact on third world food systems than a pure "economic growth" strategy.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Journal of agricultural and environmental ethics 3 (1990), S. 172-186 
    ISSN: 1573-322X
    Keywords: ethics ; rights ; animals ; vegetarianism ; omnivore ; genetic diversity ; eugenics ; naturalism ; human nature ; cannibalism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Energy, Environment Protection, Nuclear Power Engineering , Agriculture, Forestry, Horticulture, Fishery, Domestic Science, Nutrition , Philosophy
    Notes: Abstract It is argued that the question of whether or not one is required to be or become a strict vegetarian depends, not upon a rule or ideal that endorses vegetarianism on moral grounds, but rather upon whether one's own physical, biological nature is adapted to maintaining health and well-being on a vegetarian diet. Even if we accept the view that animals have rights, we still have no duty to make ourselves substantially worse off for the sake of other rights-holders. Moreover, duties to others, such as fetuses and infants, may require one to consume meat or animal products. Seven classes of individuals who are not required to be or become vegetarians are identified and their examption is related to nutritional facts; these classes comprise most of the earth's population. The rule of vegetarianism defines a special or provisional duty rather than any general or universal rule, since its observance it based upon the biological capacities of individual humans whose genetic constitution and environment makes them suitably herbivorous. It is also argued that generalizing the vegetarian ideal as a social goal for all would be wrongful because it fails to consider the individual nutritional needs of humans at various stages of life, according to biological differences between the sexes, and because it would have the eugenic effect of limiting the adaptability of the human species. The appeal to the natural interests of omnivores will not justify any claim that humans may eat amounts of meat or animal products in excess of a reasonable safety margin since animals have rights-claims against us.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Journal of agricultural and environmental ethics 3 (1990), S. 147-171 
    ISSN: 1573-322X
    Keywords: utilitarianism ; the replaceability argument ; prior existence view ; total view ; rights
    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 ethical theory underlying much of our treatment of animals in agriculture and research is the moral agency view. It is assumed that only moral agents, or persons, are worthy of maximal moral significance, and that farm and laboratory animals are not moral agents. However, this view also excludes human non-persons from the moral community. Utilitarianism, which bids us maximize the amount of good (utility) in the world, is an alternative ethical theory. Although it has many merits, including impartiality and the extension of moral concern to all sentient beings, it also appears to have many morally unacceptable implications. In particular, it appears to sanction the killing of innocents when utility would be maximized, including cases in which we would deliberately kill and replace a being, as we typically do to animals on farms and in laboratories. I consider a number of ingenious recent attempts by utilitarians to defeat the killing and replaceability arguments, including the attempt to make a place for genuine moral rights within a utilitarian framework. I conclude that utilitarians cannot escape the killing and replaceability objections. Those who reject the restrictive moral agency view and find they cannot accept utilitarianism's unsavory implications must look to a different ethical theory to guide their treatment of humans and non-humans.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 1-1 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 3-36 
    ISSN: 1572-8404
    Keywords: Material models ; semantic view of theories ; natural history ; ecology ; evolution ; museums ; Joseph Grinnell
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract Accounts of the relation between theories and models in biology concentrate on mathematical models. In this paper I consider the dual role of models as representations of natural systems and as a material basis for theorizing. In order to explicate the dual role, I develop the concept of a remnant model, a material entity made from parts of the natural system(s) under study. I present a case study of an important but neglected naturalist, Joseph Grinnell, to illustrate the extent to which mundane practices in a museum setting constitute theorizing. I speculate that historical and sociological analyses of institutions can play a specific role in the philosophical analysis of model-building strategies.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 79-83 
    ISSN: 1572-8404
    Keywords: Sociobiology ; Marxian thought ; economic growth ; free-market economies ; selfishness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 63-77 
    ISSN: 1572-8404
    Keywords: Natural kinds ; abstractions ; causality ; ecological niches
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract The Empiricist or Lockean view says natural kinds do not exist objectively in nature but are practical categories reflecting use of words. The Modern, Ostensive view says they do exist, and one can refer to such a kind by ostention and recursion, assuming his designation of it is related causally to the kind itself. However, this leads to a problem: Kinds are abstract repeatables, and it seems impossible that abstractions could have causal force. In defence of the Modern view, I suggest we can think of kinds as — or as like — ecological niches existing in nature, which are causally effective by virtue of the fact that they predictively determine (some) properties of the things that happen to occupy them.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 85-92 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 119-124 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 37-62 
    ISSN: 1572-8404
    Keywords: Evolutionary epistemology ; mental representations ; adaptation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract The primary outcome of natural selection is adaptation to an environment. The primary concern of epistemology is the acquistion of knowledge. Evolutionary epistemology must therefore draw a fundamental connection between adaptation and knowledge. Existing frameworks in evolutionary epistemology do this in two ways; (a) by treating adaptation as a form of knowledge, and (b) by treating the ability to acquire knowledge as a biologically evolved adaptation. I criticize both frameworks for failing to appreciate that mental representations can motivate behaviors that are adaptive in the real world without themselves directly corresponding to the real world. I suggest a third framework in which mental representations are to reality as species are to ecosystems. This is a many-to-one relationship that predicts a diversity of adaptive representations in the minds of interacting people. As “species of thought”, mental representations share a number of properties with biological species, including isolating mechanisms that prevent them from blending with other representations. Species of thought also are amenable to the empirical methods that evolutionists use to study adaptation in biological species. Empirical studies of mental representations in everyday life might even be necessary for science to succeed as a normative “truth-seeking” discipline.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 125-125 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 126-126 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 197-197 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 127-148 
    ISSN: 1572-8404
    Keywords: Adaptation ; Kauffman ; graph theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract It is shown that complex adaptations are best modelled as discrete processes represented on directed weighted graphs. Such a representation captures the idea that problems of adaptation in evolutionary biology are problems in a discrete space, something that the conventional representations using continuous adaptive landscapes does not. Further, this representation allows the utilization of well-known algorithms for the computation of several biologically interesting results such as the accessibility of one allele from another by a specified number of point mutations, the accessibility of alleles at a local maximum of fitness, the accessibility of the allele with the globally maximum fitness, etc. A reduction of a model due to Kauffman and Levin to such a representation is explicitly carried out and it is shown how this reduction clarifies the biological questions that are of interest.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 149-173 
    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
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 175-196 
    ISSN: 1572-8404
    Keywords: Emotion ; modularity ; psychobiology ; psychoevolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Notes: Abstract It is unreasonable to assume that our pre-scientific emotion vocabulary embodies all and only those distinctions required for a scientific psychology of emotion. The psychoevolutionary approach to emotion yields an alternative classification of certain emotion phenomena. The new categories are based on a set of evolved adaptive responses, or affect-programs, which are found in all cultures. The triggering of these responses involves a modular system of stimulus appraisal, whose evoluations may conflict with those of higher-level cognitive processes. Whilst the structure of the adaptive responses is innate, the contents of the system which triggers them are largely learnt. The circuits subserving the adaptive responses are probably located in the limbic system. This theory of emotion is directly applicable only to a small sub-domain of the traditional realm of emotion. It can be used, however, to explain the grouping of various other phenomena under the heading of emotion, and to explain various characteristic failings of the pre-scientific conception of emotion.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 199-210 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Biology and philosophy 5 (1990), S. 211-224 
    ISSN: 1572-8404
    Source: Springer Online Journal Archives 1860-2000
    Topics: Biology , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...