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
  • Articles  (532)
  • Data
  • Springer  (532)
  • American Association for the Advancement of Science (AAAS)
  • American Institute of Physics
  • Annual Reviews
  • PANGAEA
  • 1990-1994  (532)
  • 1980-1984
  • 1991  (532)
  • Philosophy  (532)
Collection
  • Articles  (532)
  • Data
Publisher
Years
  • 1990-1994  (532)
  • 1980-1984
Year
Journal
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 29-38 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A Kripke-style semantics developed by de Jongh and Veltman is used to investigate relations between several extensions of interpretability logic, IL.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 71-80 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R −. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts oneself to “usual” proof predicates.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 129-141 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This article is written for both the general mathematican and the specialist in mathematical logic. No prior knowledge of metamathematics, recursion theory or combinatory logic is presupposed, although this paper deals with quite general abstractions of standard results in those three areas. Our purpose is to show how some apparently diverse results in these areas can be derived from a common construction. In Section 1 we consider five classical fixed point arguments (or rather, generalizations of them) which we present as problems that the reader might enjoy trying to solve. Solutions are given at the end of the section. In Section 2 we show how all these solutions can be obtained as special cases of a single fixed point theorem. In Section 3 we consider another generalization of the five fixed point results of Section 1 and show that this is of the same strength as that of Section 2. In Section 4 we show some curious strengthenings of results of Section 3 which we believe to be of some interest on their own accounts.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 181-187 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper shows that for any invalid polysyllogism there is a procedure for constructing a model with a domain with exactly three members and an interpretation that assigns non-empty, non-universal subsets of the domain to terms such that the model invalidates the polysyllogism.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 225-239 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Just as non-well-founded sets extend the usual sets of ZF, so do root reflexive propositional formulas extends the usual class of Boolean expressions. Though infinitary, these formulas are generated by finite patterns. They possess transition functions instead of truth values and have applications in electric circuit theory.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 275-297 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We consider the notion of structural completeness with respect to arbitrary (finitary and/or infinitary) inferential rules. Our main task is to characterize structurally complete intermediate logics. We prove that the structurally complete extension of any pure implicational in termediate logic C can be given as an extension of C with a certain family of schematically denned infinitary rules; the same rules are used for each C. The cardinality of the family is continuum and, in the case of (the pure implicational fragment of) intuitionistic logic, the family cannot be reduced to a countable one. It means that the structurally complete extension of the intuitionistic logic is not countably axiomatizable by schematic rules.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 351-357 
    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 ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 365-374 
    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 ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 385-390 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We propose a new schema for the deduction theorem and prove that the deductive system S of a prepositional logic L fulfills the proposed schema if and only if there exists a finite set A(p, q) of propositional formulae involving only prepositional letters p and q such that A(p, p) ⊑ L and p, A(p, q) ⊢s q.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 473-483 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The notion of monadic three-valued Łukasiewicz algebras was introduced by L. Monteiro ([12], [14]) as a generalization of monadic Boolean algebras. A. Monteiro ([9], [10]) and later L. Monteiro and L. Gonzalez Coppola [17] obtained a method for the construction of a three-valued Łukasiewicz algebra from a monadic Boolea algebra. In this note we give the construction of a monadic three-valued Łukasiewicz algebra from a Boolean algebra B where we have defined two quantification operations ∃ and ∃* such that ∃∀*x=∀*∃x (where ∀*x=-∃*-x). In this case we shall say that ∃ and ∃* commutes. If B is finite and ∃ is an existential quantifier over B, we shall show how to obtain all the existential quantifiers ∃* which commute with ∃. Taking into account R. Mayet [3] we also construct a monadic three-valued Łukasiewicz algebra from a monadic Boolean algebra B and a monadic ideal I of B. The most essential results of the present paper will be submitted to the XXXIX Annual Meeting of the Unión Matemática Argentina (October 1989, Rosario, Argentina).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 39-49 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryński.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 107-128 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Provability logics with many modal operators for progressions of theories obtained by iterating their consistency statements are introduced. The corresponding arithmetical completeness theorem is proved.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 189-216 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is a survey of results concerning the disjunction property, Halldén-completeness, and other related properties of intermediate prepositional logics and normal modal logics containing S4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 261-274 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The concept of erotetic argument is introduced. Two relations between sets of declarative sentences and questions are analysed; and two classes of erotetic arguments are characterized.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 299-319 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper shows a role of the contraction rule in decision problems for the logics weaker than the intuitionistic logic that are obtained by deleting some or all of structural rules. It is well-known that for such a predicate logic L, if L does not have the contraction rule then it is decidable. In this paper, it will be shown first that the predicate logic FLec with the contraction and exchange rules, but without the weakening rule, is undecidable while the propositional fragment of FLec is decidable. On the other hand, it will be remarked that logics without the contraction rule are still decidable, if our language contains function symbols.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 361-363 
    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 50 (1991), S. 375-384 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The infinite-valued logic of Łukasiewicz was originally defined by means of an infinite-valued matrix. Łukasiewicz took special forms of negation and implication as basic connectives and proposed an axiom system that he conjectured would be sufficient to derive the valid formulas of the logic; this was eventually verified by M. Wajsberg. The algebraic counterparts of this logic have become know as Wajsberg algebras. In this paper we show that a Wajsberg algebra is complete and atomic (as a lattice) if and only if it is a direct product of finite Wajsberg chains. The classical characterization of complete and atomic Boolean algebras as fields of sets is a particular case of this result.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 457-471 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This is a survey of results on interpolation in propositional normal modal logics. Interpolation properties of these logics are closely connected with amalgamation properties of varieties of modal algebras. Therefore, the results on interpolation are also reformulated in terms of amalgamation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 571-605 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Dynamic algebras combine the classes of Boolean (B ∨ ′ 0) and regular (R ∪; *) algebras into a single finitely axiomatized variety (B R ◊) resembling an R-module with “scalar” multiplication ◊. The basic result is that * is reflexive transitive closure, contrary to the intuition that this concept should require quantifiers for its definition. Using this result we give several examples of dynamic algebras arising naturally in connection with additive functions, binary relations, state trajectories, languages, and flowcharts. The main result is that free dynamic algebras are residually finite (i.e. factor as a subdirect product of finite dynamic algebras), important because finite separable dynamic algebras are isomorphic to Kripke structures. Applications include a new completeness proof for the Segerberg axiomatization of prepositional dynamic logic, and yet another notion of regular algebra.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 321-331 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper explains how a paraconsistent logician can appropriate all classical reasoning. This is to take consistency as a default assumption, and hence to work within those models of the theory at hand which are minimally inconsistent. The paper spells out the formal application of this strategy to one paraconsistent logic, first-order LP. (See, Ch. 5 of: G. Priest, In Contradiction, Nijhoff, 1987.) The result is a strong non-monotonic paraconsistent logic agreeing with classical logic in consistent situations. It is shown that the logical closure of a theory under this logic is trivial only if its closure under LP is trivial.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 343-350 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract It is well known that number theory can be interpreted in the usual set theories, e.g. ZF, NF and their extensions. The problem I posed for myself was to see if, conversely, a reasonably strong set theory could be interpreted in number theory. The reason I am interested in this problem is, simply, that number theory is more basic or more concrete than set theory, and hence a more concrete foundation for mathematics. A partial solution to the problem was accomplished by WTN in [2], where it was shown that a predicative set theory could be interpreted in a natural extension of pure number theory, PN, (i.e. classical first-order Peano Arithmetic). In this paper, we go a step further by showing that a reasonably strong fragment of predicative set theory can be interpreted in PN itself. We then make an attempt to show how to develop predicative fragments of mathematics in PN. If one wishes to know what is meant by “reasonably strong” and “fragment” please read on.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 421-455 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The calculus of relations was created and developed in the second half of the nineteenth century by Augustus De Morgan, Charles Sanders Peirce, and Ernst Schröder. In 1940 Alfred Tarski proposed an axiomatization for a large part of the calculus of relations. In the next decade Tarski's axiomatization led to the creation of the theory of relation algebras, and was shown to be incomplete by Roger Lyndon's discovery of nonrepresentable relation algebras. This paper introduces the calculus of relations and the theory of relation algebras through a review of these historical developments.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 485-569 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is an introduction: in particular, to algebras of relations of various ranks, and in general, to the part of algebraic logic algebraizing quantifier logics. The paper has a survey character, too. The most frequently used algebras like cylindric-, relation-, polyadic-, and quasi-polyadic algebras are carefully introduced and intuitively explained for the nonspecialist. Their variants, connections with logic, abstract model theory, and further algebraic logics are also reviewed. Efforts were made to make the review part relatively comprehensive. In some directions we tried to give an overview of the most recent results and research trends, too.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 633-633 
    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 ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 1-23 
    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 50 (1991), S. 51-69 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Solovay's 1976 completeness result for modal provability logic employs the recursion theorem in its proof. It is shown that the uses of the recursion theorem can in this proof be replaced by the diagonalization lemma for arithmetic and that, in effect, the proof neatly fits the framework of another, enriched, system of modal logic (the so-called Rosser logic of Gauspari-Solovay, 1979) so that any arithmetical system for which this logic is sound is strong enough to carry out the proof, in particular IΔ0+EXP. The method is adapted to obtain a similar completeness result for the Rosser logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 143-148 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We prove that the first order theory of the fixed point algebra corresponding to an r.e. consistent theory containing arithmetic is hereditarily undecidable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 173-179 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In Section 2 I give a criterion of decidability that can be applied to logics (i.e. Tarski consequence operators) without the finite model property. In Section 3 I study Łukasiewicz-style refutation procedures as a method of obtaining decidability results.This method also proves to be more general than Harrop's criterion.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 241-250 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In [6] Albert Visser shows that ILP completely axiomatizes all schemata about provability and relative interpretability that are provable in finitely axiomatized theories. In this paper we introduce a system called ILP ω that completely axiomatizes the arithmetically valid principles of provability in and interpretability over such theories. To prove the arithmetical completeness of ILP ω we use a suitable kind of tail models; as a byproduct we obtain a somewhat modified proof of Visser's completeness result.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 333-342 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A negative solution of the problem posed by Maksimova [5] is given. Two sequences of Superintuitionistic logics are axiomatized by using an analogy of the operation ω.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 359-359 
    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 ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 391-419 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we study the relations between the fragment L of classical logic having just conjunction and disjunction and the variety D of distributive lattices, within the context of Algebraic Logic. We prove that these relations cannot be fully expressed either with the tools of Blok and Pigozzi's theory of algebraizable logics or with the use of reduced matrices for L. However, these relations can be naturally formulated when we introduce a new notion of model of a sequent calculus. When applied to a certain natural calculus for L, the resulting models are equivalent to a class of abstract logics (in the sense of Brown and Suszko) which we call distributive. Among other results, we prove that D is exactly the class of the algebraic reducts of the reduced models of L, that there is an embedding of the theories of L into the theories of the equational consequence (in the sense of Blok and Pigozzi) relative to D, and that for any algebra A of type (2,2) there is an isomorphism between the D-congruences of A and the models of L over A. In the second part of this paper (which will be published separately) we will also apply some results to give proofs with a logical flavour for several new or well-known lattice-theoretical properties.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 623-629 
    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 ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 607-622 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Let V be a s.f.b. (strongly finitely based, see below) variety of algebras. The central result is Theorem 2 saying that the logic defined by all matrices (A, d) with d ε A ε V is finitely based iff the A ε V have 1st order definable cosets for their congruences. Theorem 3 states a similar axiomatization criterion for the logic determined by all matrices (A, ε A), A ∈ V, ε a term which is constant in V. Applications are given in a series of examples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 31-42 
    ISSN: 1572-8641
    Keywords: Mental representation ; computation ; formal condition ; symbols ; intentionality ; computationalism ; cognition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In response to Michael Morris, I attempt to refute the crucial second premise of the argument, which states that the formality condition cannot be satisfied “non-stipulatively” in computational systems. I defend the view of representation urged in Meaning and Mental Representation against the charge that it makes content stipulative and therefore irrelevant to the explanation of cognition. Some other reservations are expressed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 75-95 
    ISSN: 1572-8641
    Keywords: Learning ; induction ; logic ; relativism ; epistemology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Rather than attempting to characterize a relation of confirmation between evidence and theory, epistemology might better consider which methods of forming conjectures from evidence, or of altering beliefs in the light of evidence, are most reliable for getting to the truth. A logical framework for such a study was constructed in the early 1960s by E. Mark Gold and Hilary Putnam. This essay describes some of the results that have been obtained in that framework and their significance for philosophy of science, artificial intelligence, and for normative epistemology when truth is relative.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 97-116 
    ISSN: 1572-8641
    Keywords: Program verification ; program testing ; defeasible reasoning ; philosophy of computer science
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In this paper I attempt to cast the current program verification debate within a more general perspective on the methodologies and goals of computer science. I show, first, how any method involved in demonstrating the correctness of a physically executing computer program, whether by testing or formal verification, involves reasoning that is defeasible in nature. Then, through a delineation of the senses in which programs can be run as tests, I show that the activities of testing and formal verification do not necessarily share the same goals and thus do not always constitute alternatives. The testing of a program is not always intended to demonstrate a program's correctness. Testing may seek to accept or reject nonprograms including algorithms, specifications, and hypotheses regarding phenomena. The relationship between these kinds of testing and formal verification is couched in a more fundamental relationship between two views of computer science, one properly containing the other.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 117-124 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 129-165 
    ISSN: 1572-8641
    Keywords: Computation ; cognition ; representation ; information processing ; physical symbol systems ; language of thought
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Cognitive science uses the notion of computational information processing to explain cognitive information processing. Some philosophers have argued that anything can be described as doing computational information processing; if so, it is a vacuous notion for explanatory purposes. An attempt is made to explicate the notions of cognitive information processing and computational information processing and to specify the relationship between them. It is demonstrated that the resulting notion of computational information processing can only be realized in a restrictive class of dynamical systems called physical notational systems (after Goodman's theory of notationality), and that the systems generally appealed to by cognitive science-physical symbol systems-are indeed such systems. Furthermore, it turns out that other alternative conceptions of computational information processing, Fodor's (1975) Language of Thought and Cummins' (1989) Interpretational Semantics appeal to substantially the same restrictive class of systems. The necessary connection of computational information processing with notationality saves the enterprise from charges of vacuousness and has some interesting implications for connectionism. But, unfortunately, it distorts the subject matter and entails some troubling consequences for a cognitive science which tries to make notationality do the work of genuine mental representations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 167-184 
    ISSN: 1572-8641
    Keywords: Connectionism ; eliminativism ; propositional attitudes ; representation ; symbols
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Ramsey, Stich and Garon's recent paper ‘Connectionism, Eliminativism, and the Future of Folk Psychology’ claims a certain style of connectionism to be the final nail in the coffin of folk psychology. I argue that their paper fails to show this, and that the style of connectionism they illustrate can in fact supplement, rather than compete with, the claims of a theory of cognition based in folk psychology's ontology. Ramsey, Stich and Garon's argument relies on the lack of easily identifiable symbols inside the connectionist network they discuss, and they suggest that the existence of a system which behaves in a cognitively interesting way, but which cannot be explained by appeal to internal symbol processing, falsifies central assumptions of folk psychology. My claim is that this argument is flawed, and that the theorist need not discard folk psychology in order to accept that the network illustrated exhibits cognitively interesting behaviour, even if it is conceded that symbols cannot be readily identified within the network.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 393-416 
    ISSN: 1572-8641
    Keywords: Defeasible reasoning ; nonmonotonic reasoning ; default reasoning ; nonmonotonic logic ; logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Reasoning almost always occurs in the face of incomplete information. Such reasoning is nonmonotonic in the sense that conclusions drawn may later be withdrawn when additional information is obtained. There is an active literature on the problem of modeling such nonmonotonic reasoning, yet no category of method-let alone a single method-has been broadly accepted as the right approach. This paper introduces a new method, called sweeping presumptions, for modeling nonmonotonic reasoning. The main goal of the paper is to provide an example-driven, nontechnical introduction to the method of sweeping presumptions, and thereby to make it plausible that sweeping presumptions can usefully be applied to the problems of nonmonotonic reasoning. The paper discusses a representative sample of examples that have appeared in the literature on nonmonotonic reasoning, and discusses them from the point of view of sweeping presumptions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 25-28 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Each closed (i.e. variable free) formula of interpretability logic is equivalent in ILF to a closed formula of the provability logic G, thus to a Boolean combination of formulas of the form □n⊥.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 81-105 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper contains a careful derivation of principles of Interpretability Logic valid in extensions of IΔ0+Ω1.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 161-167 
    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 ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 149-160 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Predicate modal formulas with non-modalized quantifiers (call them Q′-formulas) are considered as schemata of arithmetical formulas, where □ is interpreted as the provability predicate of some fixed correct extension T of arithmetic. A method of constructing 1) non-provable in T and 2) false arithmetical examples for Q′-formulas by Kripke-like countermodels of certain type is given. Assuming the means of T to be strong enough to solve the (undecidable) problem of derivability in Q′GL, the Q′-fragment of the predicate version of the logic GL, we prove the recursive enumerability of the sets of Q′-formulas all arithmetical examples of which are: 1) T-provable, 2) true. In. particular, the first one is shown to be exactly Q′GL and the second one to be exactly the Q′-fragment of the predicate version of Solovay's logic S.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 217-223 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A theorem on the extendability of certain subsets of a Boolean algebra to ultrafilters which preserve countably many infinite meets (generalizing Rasiowa-Sikorski) is used to pinpoint the mechanism of the Barwise proof in a way which bypasses the set theoretical elaborations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 50 (1991), S. 251-260 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The postulate of recovery is commonly regarded to be the intuitively least compelling of the six basic Gärdenfors postulates for belief contraction. We replace recovery by the seemingly much weaker postulate of core-retainment, which ensures that if x is excluded from K when p is contracted, then x plays some role for the fact that K implies p. Surprisingly enough, core-retainment together with four of the other Gärdenfors postulates implies recovery for logically closed belief sets. Reasonable contraction operators without recovery do not seem to be possible for such sets. Instead, however, they can be obtained for non-closed belief bases. Some results on partial meet contractions on belief bases are given, including an axiomatic characterization and a non-vacuous extension of the AGM closure condition.
    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 22 (1991), S. 1-14 
    ISSN: 1572-8587
    Keywords: empirical and extra-empirical evaluative criteria ; parsimony ; scientific theories ; simplicity ; theory-assessment and theory-choice
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Almost all commentators acknowledge that among the grounds on which scientists perform theory-choices are criteria of simplicity. In general, simplicity is regarded either as only a logico-empirical quality of a theory, diagnostic of the theory's future predictive success, or as a purely aesthetic or otherwise extra-empirical property of it. This paper attempts to demonstrate that the simplicity-criteria applied in scientific practice include both a logicoempirical and a quasi-aesthetic criterion: to conflate these in an account of scientists' theory-choice is to court confusion.
    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 22 (1991), S. 15-41 
    ISSN: 1572-8587
    Keywords: Gauss ; Bede ; chronology ; calendar ; easter formula ; computistic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Since its definition at the council of Nicea the date of Easter had been calculated on a cyclical basis. The Easter formula publicized by C. F. Gauss in 1800 has neither achieved recognition with the chronologists nor with the officials of the papal curia, responsible for the fixing of Easter. In the paper being presented here the elements of medieval computus are transformed on an arithmetical basis and from this a formula for the fixing of Easter is developed. With the help of these two components it is possible to calculate the Julian as well as the Gregorian dates of Easter and, in addition the calendar of any given year. The formula for the date of Easter being submitted here can be traced back exclusively to the elements of the medieval computus and can be ratified by the chronologists. Thus it renders possible the fixing of every Easter date with the help of a pocket calculator or the use of two small tables. This demonstrates that the history of methodology contains tools in order to develop a ‘new’ solution of a systematical problem.
    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 22 (1991), S. 43-59 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The paper deals with the interrelations among philosophy, sociology, and historiography of science in Thomas Kuhn's theory of scientific development. First, historiography of science provides the basis for both philosophy and sociology of science in the sense that the fundamental questions of both disciplines depend on the principles of the form of historiography employed. Second, the fusion of sociology and philosophy of science, as advocated by Kuhn, is discussed. This fusion consists essentially in a replacement of methodological rules by cognitive values that influence the decisions of scientific communities. As a consequence, the question of the rationality of theory choice arises, both with respect to the actual decisions and to the possible justification of cognitive values and their change.
    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 22 (1991), S. 61-72 
    ISSN: 1572-8587
    Keywords: (scientific) rationality ; (scientific) discovery ; heuristics ; context of discovery/context of justification ; normativity (in science) ; local rationality (of science) ; Popper ; Reichenbach
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The recent turn to the ‘context of discovery’ and other ‘postmodernist’ developments in the philosophy of science have undermined the idea of a universal rationality of science. This parallels the fate of the classical dream of a logic of discovery. Still, justificational questions have remained as a distinct perspective, though comprising both consequential and generative justification — an insight delayed by certain confusions about the (original) context distinction. An examination of one particular heuristic strategy shows its local rationality; even as an efficient procedure of hypothesis generation, it carries probative weight. It will be explored in which respects such a strategy can be normative or contain normative elements.
    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 22 (1991), S. 73-100 
    ISSN: 1572-8587
    Keywords: Encyclopedism ; logical empiricism ; Vienna Circle
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Otto Neurath was one of the most active and prominent members of the Vienna Circle. However, after the war his philosophical influence has been rather limited. In this paper I want to show that the main theme of Neurath's philosophical work has been the formulation of a radically empiricist theory of science. His approach —encyclopedism — can be characterised by the following five theses: scientific knowledge is (1) fallible, (2) pluralistic, (3) holistic, (4) it can be logically systematizedonly locally, and (5) it does not give us a (faithful) description of the real world. (4) is considered as the most original thesis of encyclopedism and is discussed in detail. Neurath never fully elaborated his approach. However, the central features of encyclopedism can be reconstructed from Neurath's penetrating criticisms of Popper's falsificationism and Carnap's semantics. In both cases, his approach is based on a transformed Kantian motive, namely to map out the legitime limits of empiricist reason.
    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 22 (1991), S. 111-132 
    ISSN: 1572-8587
    Keywords: truth ; self-reference ; extension ; paradox
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary This paper is intended to discuss the problems occurring in the relation between the notion of truth and the question of self-reference. To do this, we shall review Tarski's (T) convention and its related terminology. We shall clarify the relation between truth and extension in order to lead into the question of semantic paradoxes appearing in the theoretical models concerned with truth. Subsequently, we shall review the logical system which develops in the reformulation of the modal proposal of the (T) convention. In closing, we shall critically examine Kripke's interpretation from the proposals made by Tarski.
    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 22 (1991), S. 133-141 
    ISSN: 1572-8587
    Keywords: evolution ; teleology ; chance ; purpose ; anthropomorphism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Revaluation of the problem of natural teleology seems an important precondition for elucidating our environmental crisis and for formulating an ‘ecological ethics’, because it calls for a recognition of an intrinsic value in nature and organisms. Therefore, it is necessary to show that the concept of natural teleology is not in contradiction with scientific theories, in particular not with the theory of evolution. In this paper I shall argue that there is a fundamental misunderstanding about the concepts of teleology and chance in modern thinking. This as a result of a radical transformation of the Aristotelian concept of teleology by Christian theologians during the Middle Ages. This confusion resulted in the rejection of teleology from evolution and in an exaggeration of the role of chance. However, not a solution for the problem of teleology is given here, but only an attempt to prove that neither the fossil-record, nor the role of chance in evolution can give adequate arguments for the negation of teleology in evolution. That is not to say that, therefore there exists teleology in evolution, but the problem of teleology in nature cannot, be solved by the scientific theory of evolution, but only be elucidated by philosophical analysis. At the end of the paper it is argued that teleology must be rather presupposed in evolution.
    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 22 (1991), S. 101-110 
    ISSN: 1572-8587
    Keywords: Redundanztheorie ; Wahrheit ; Falschheit ; Bejahung ; Verneinung
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary According to the Redundance Theory of Truth, the utterance “it is true thatp” means nothing more than simply ‘p’. So the utterance “is true” would be meaningless, redundant. The Redundance Theory overlooks that the the predicate “true” can be used in two applications: (a) as anassertion of the justness of a proposition, (b) as ajudgement of the justness of a proposition. (The word “justness” in this context means the correspondance of a proposition with reality according to the Theory of Correspondence.) The explicitassertion of the justness is indeed superfluous as it is implicitly included in the proposition. Thejudgement of the justness of a proposition, however, cannot be included in the proposition analytically. In this way, the utterance “it is true thatp” does not only mean ‘p’ but “the assertion that is implicitly included in the proposition ‘p’ (=“‘p’ is true”) is true”. Analogous: the utterance “it is false that ‘p’” means “the assertion that is implicitly included in the proposition ‘p’ (=“‘p’ is true”) is false”. A judgement like this exceeds the content of a proposition and so cannot be redundant. Although in some context the words “true” and “false” may be used in their application an an assertion because of stylistic reasons, they are relevant for any theory of truth only in their application as a judgment, which cannot be contested by the reproach of redundance. The claim of the Redundance Theory that the concept of truth is meaningless and superfluous must be refused. According to the Redundance Theory of Truth the utterance “it is false thatp” means nothing more than simply “¬ p” and can be substituted by “p”. So the falsification of a proposition would be the same as its negation — and could be eliminated. However, falsification is just not the same as negation of a proposition. It is the negative judgement of a (affirmative or negative) proposition. More exactly: the negative judgement of a proposed correspondance between any proposition and reality. As negation refers on a proposition itself, falsification refers on the relation between a proposition and reality and therefore is an other thing than negation. So the utterance “it is false that” can't be substituted by “¬”, and the reproach against the word “false” to be redundant must be refused, too.
    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 22 (1991), S. 143-153 
    ISSN: 1572-8587
    Keywords: Concepts of knowledge ; science and discovery
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Why was nuclear fission discovered under the repressive conditions of the Third Reich and not in one of the other leading countries in science? The attempts to answer this question leads to the formulation of the hypothesis that under the very special constellation of the working relations between Hahn and Meitner, the forced emigration of Meitner was advantageous insofar as it emancipated Hahn from the physical guardianship of Meitner, and liberated his chemical competence. This was a prerequisite to recognizing the presence of Barium in the debris of Uranium decay. At the same time it liberated Meitner so that she could break with the old physicalconcepts of knowledge when accepting Hahn's chemical results, and find the correct interpretation of the experiment. Moreover, Hahn's and Strassmann's inner emigration which kept them away from participating in political activities and engagements, as well as their abstinence from competing in fashionable research (which was stimulated by the increasing political isolation of Germany) helped them to concentrate on their more restricted investigations following unfashionable lines of thinking and were among the favourable conditions for making their great discovery.
    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 22 (1991), S. 155-167 
    ISSN: 1572-8587
    Keywords: descriptive causal theories of reference ; successful reference and reference-fixing ; reference and the progress of science ; non-referring scientific terms ; indeterminacy of reference
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary One of the central questions concerning theories of reference has been the problem of how the reference of scientific terms gets fixed. Descriptive causal theories of reference, as discussed in this paper, have re-introduced the role of theoretical beliefs and conceptualisations in term introductions and reference-fixing. The present paper argues that the idea of reference-fixing as a dot-like event (baptism) is wrong: a number of episodes from the history of science are discussed to support the claim that reference-fixing is a historical, drawn-out process. This, however, does not stand in the way of successful reference. The two processes are simply separated. A criterion is suggested to determine successful reference. From this approach two further ideas follow: not all scientific terms actually have the power of referring and even those that do will always retain a residual indeterminacy.
    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 22 (1991), S. 169-171 
    ISSN: 1572-8587
    Keywords: special relativity ; homogeneity of space and time
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary From the following discussion, we conclude that: (a) the homogeneity of space implies (in special relativity) the homogeneity of time, and vice versa; (b) the assumption of homogeneity of space (or time) implies that the transformation formulae must be linear (see Equations (10) and (17)). This last conclusion is contrary to Hoyer's affirmation in the paper quoted below.
    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 22 (1991), S. 187-193 
    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 22 (1991), S. 173-175 
    ISSN: 1572-8587
    Keywords: special relativity ; Lorentz transformations ; absolute time ; classical kinematics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary On the Theory of the Lorentz transformations. A Reply The author defends the notion of absolute time and classical kinematics in special relativity against various objections raised against his theory of the Lorentz transformations.
    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 22 (1991), S. 177-185 
    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 ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 195-200 
    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 ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 201-204 
    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 ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 205-205 
    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 ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 207-227 
    ISSN: 1572-8587
    Keywords: medical theory ; theoretical medicine ; humoral pathology ; axiomatization ; structuralism ; model theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The model underlying the hippocratic humoral theory, as well as the corresponding part of hippocratic aetiology is reconstructed in precise, structuralist terms. Stress is laid on the presentation of the model, historical and philological derivations are suppressed. The global net structure of humoral theory in which the different diseases are described as specializations of the basic model is worked out, and the particular metatheoretical features of ‘therapeutical’ theories, as contrasted to ‘descriptive’ theories, are exemplified and stated in general.
    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 22 (1991), S. 229-243 
    ISSN: 1572-8587
    Keywords: Forschung ; Forschungsprogramm ; kritischer Rationalismus ; Imre Lakatos ; Methodologie wissenschaftlicher Forschungsprogramme ; Technisierung der Wissenschaft ; Wissenschaftsforschung
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary For Imre Lakatos hismethodology of scientific research programmes was not only a philosophical theory of science and scientific change but also the conceptual foundation of empirical and historical studies of science. At least terminologically this view is today widely accepted: The concept of aresearch programme is used in all sorts of literature on science. In the present paper I argue that this concept can lead to serious distortions of empirical and historical studies of science if it is not detached from the Lakatosian philosophical framework. Themethodology of scientific research programmes has three main pitfalls, which may lead to disorientations of empirical and historical studies of science: (1) Contrary to what the term “research programme” may suggest, it offers no perspective on scientific research as an object of analysissui generis; (2) its concept of science is too narrow and covers only minor parts of what counts as science in the real world; (3) it reduces history of science to a mere sequence of research programmes and thereby eliminates the fact that there is an evolution of the structure of research programmes, too.
    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 22 (1991), S. 263-282 
    ISSN: 1572-8587
    Keywords: intertheory relations ; unified theories ; theory change
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The concept of unified theory is defined in logical and abstract semantic terms, and employed in the analysis of relations between empirical scientific theories. The conceptual framework of the approach applies to binary relations such as the reduction or replacement of one theory by another, and to multiple intertheory relations. Historically, unified theories tend to arise within the contexts of scientific conflicts which they may show susceptible of solution even in the most controversial cases of the logical incompatibility or conceptual incommensurability of competing theories. These conclusions are exemplified by the Planck-Einstein quantum theory of thermal radiation. The analysis shows in which sense it can, and in which it cannot, be said that this theory unifies Wien's law and the Rayleigh-Jeans law of black-body radiation.
    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 22 (1991), S. 245-261 
    ISSN: 1572-8587
    Keywords: realism ; interpretation ; meaning ; object of knowledge ; explanation ; indeterminacy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary This paper tries to show how the irreducible indeterminacy of textual meanings can be reconciled with epistemological realism which normally presupposes independently existing but determinate objects of knowledge. E.D. Hirsch's project of objective interpretation, including his most recent attempts to show that meanings, in spite of their openness to future modifications, are historically determined objects of knowledge, is being criticized. The paper argues that his use of the semantics and the reference theories of Kripke, Putnam, and others forces him to give up, against his own intention, his methodologically important distinction between meaning and significance. Within such theories a strict separation of linguistic knowledge of meaning and world knowledge can no longer be upheld. Since the application of individually and historically variable world knowledge is unavoidable in the process of understanding texts, the textual meanings reconstructed by readers will always remain indeterminate. However, this state of affairs does not force us to abandon epistemological realism as it can be shown that the meanings of words and texts are not objects of knowledge in the usual sense. Meanings are cognitive capacities which make our knowledge of external objects possible. They are thus not themselves objects of knowledge. Systematic interpretation of texts in the sense of obtaining objective knowledge is therefore impossible. Nonetheless, suitably developed psycholinguistic theories of text comprehension allow us, at least in principle, to explain systematically how interpretations come about.
    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 22 (1991), S. 303-320 
    ISSN: 1572-8587
    Keywords: Conceptual revolution ; corrective explanation ; elimination
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The paper considers arguments for and against correction and elimination of the basic conceptual categories as well as theories of social science. It is argued that some correction of at least some basic social notions is called for. A great part of the paper consists in a conceptual investigation of such notion of correction in terms of different notions of corrective explanation.
    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 22 (1991), S. 321-336 
    ISSN: 1572-8587
    Keywords: functionalism ; intentionality ; simulation ; mental state
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Searle claims that for a machine to have intentional states it is not sufficient that a formal programme be instantiated. Various types of objections to this claim have been brought up by Searle's critics. Searle's replies to some of these objections are analysed. It turns out that it is more to these objections than Searle wants to make us believe. What is crucial, however, is that Searle's „Gedankenexperiment“ results in a dilemma. At the outset of the dilemma there are two ways of not understanding. According to one of these ways a person (Searle's homunculus) does not understand something without knowing that s/he does not understand. While in the other mode the person knows that s/he doesn't understand. In the first case the inference from facts about the homunculus to facts about the computer is not valid whereas in the second case one would attribute mental states to the computer. Thereby Searle's claim turns out to be unfounded.
    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 22 (1991), S. 337-348 
    ISSN: 1572-8587
    Keywords: conceptual realism ; research program ; artificial intelligence ; predicate logic ; semantics ; strong AI-thesis ; Turing test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The controversy about the strong AI-thesis was recently revived by two interrelated contributions stemming from J. R. Searle on the one hand and from P. M. and P. S. Churchland on the other hand. It is shown that the strong AI-thesis cannot be defended in the formulation used by the three authors. It violates some well accepted criterions of scientific argumentation, especially the rejection of essentialistic definitions. Moreover, Searle's ‘proof’ is not conclusive. Though it may be reconstructed in a conclusive manner, the modified proof is trivial. Beyond that, the most interesting aspect is formulated as an axiom that is not justified either. Therefore Searle's criticism of strong AI-thesis fails to be a convincing proof — it can be reduced to an unjustified presupposition.
    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 22 (1991), S. 349-355 
    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
    Journal for general philosophy of science 22 (1991), S. 283-301 
    ISSN: 1572-8587
    Keywords: G. Abel ; Nietzsche ; Goodman ; Putnam ; Interpretation ; Interpretationsabhängigkeit ; Grundsatz der Interpretationsimprägniertheit ; transzendentaler/methodologischer Interpretationismus ; pragmatischer Konstitutionsinterpretationismus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Interpretari necesse est (Interpretation is necessary). This slogan is summarizing the methodological and epistemological essay concentrating on what can be called a transcendental interpretationism and a methodological interpretationism. This approach is combining a pragmatic interpretive approach with a constitutional quasi Kantian but more pluralistic and flexible epistemology. It takes up the assets of Nietzsches radical interpretationism without ending up in an interpretationist idealism. Though a basic fundamental insight is a statement of the interpretation-impragnatedness of any knowledge and experience whatsoever, there is nevertheless a possibility to combine a kind of critical realism with this interpretationist approach. Though we are always obliged to use interpretation-dependent epistemological schemata and concepts as well as theories (we have no non-interpretive concepts, theories and ways of gaining and constructing knowledge), we have still, for practical reasons, to presuppose an external independent world which can however only be described in interpretation-dependent terms. Even this epistemological model is certainly an interpretive one. If we distinguish between different levels of more or less variable interpretations (we cannot, by our very biological constitution, change primary interpretations built in to our biological constitution and make-up of sense-organs etc.), we can analyse and define truth as a relation between different levels and types of interpretations. The ideal of truth makes some sense of a concept of correspondence, though in the last analysis it is a combination of coherence-theoretical and pragmatic-constructivist ideas. — The model of an epistemological interpretationism has the advantage (by contradistinction, e.g., with critical rationalism) to be consistently applied to itself: The interpretive epistemology is certainly but an interpretational model itself. — The sketched interpretationism has certain similarities with Nelson Goodman's constructive interpretive pluralism and Hilary Putnam's internal realism, although there are slight, but decisive differences to be carefully observed. The differences have to do with the mentioned practical realism and the presupposition of one world in which we live. The similarities are greater with respect to internal realism. A decisive difference is only that you cannot, according to methodological and transcendental interpretationism, compel somebody towards the uniqueness of language use. There are always degrees of freedom and variation to change the usage of signs. There is no socially intended uniqueness and compulsory usage of signs and their meanings. Even within the language community the rules are always only conventionally realized and actualized. There is no real correspondence between signs and signs (or interpretive constructs, for that matter). Any correspondence whatsoever can only refer to interpretational constructs itself. Any classification, verification, selection and identification of facts, even any thinking of data and facts as such is in the last analysis dependent on interpretations. Even the conception of an epistemological subject is but an interpretational construct on a higher level.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 357-368 
    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 ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), S. 369-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 ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 22 (1991), 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 ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. v 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 43-54 
    ISSN: 1572-8641
    Keywords: Artificial intelligence ; causality ; cognition ; computation ; explanation ; mind/body problem ; other-minds problem ; robotics ; Searle ; symbol grounding ; Turing Test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Any attempt to explain the mind by building machines with minds must confront the other-minds problem: How can we tell whether any body other than our own has a mind when the only way to know is by being the other body? In practice we all use some form of Turing Test: If it can do everything a body with a mind can do such that we can't tell them apart, we have no basis for doubting it has a mind. But what is “everything” a body with a mind can do? Turing's original “pen-pal” version of the Turing Test (the TT) only tested linguistic capacity, but Searle has shown that a mindless symbol-manipulator could pass the TT undetected. The Total Turing Test (TTT) calls instead for all of our linguistic and robotic capacities; immune to Searle's argument, it suggests how to ground a symbol manipulating system in the capacity to pick out the objects its symbols refer to. No Turing Test, however, can guarantee that a body has a mind. Worse, nothing in the explanation of its successful performance requires a model to have a mind at all. Minds are hence very different from the unobservables of physics (e.g., superstrings); and Turing Testing, though essential for machine-modeling the mind, can really only yield an explanation of the body.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 185-196 
    ISSN: 1572-8641
    Keywords: Levels ; decomposition ; explanation ; function
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Marr's account of the analysis of complex information-processing tasks as having three levels — the levels of computational theory, representation and algorithm, and hardware implementation — is reconsidered. I argue that the notion of “level” here runs together two distinctive sort of explanatory shifts — that of grain and that of contextual function. I then offer a revision of the account which avoids this problem, and suggest how this might play a role in the practice of theory evaluation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 197-216 
    ISSN: 1572-8641
    Keywords: Formal methods ; correctness proofs ; deductive reasoning ; inductive reasoning ; computer programming ; computers ; programs ; verification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract A debate over the theoretical capabilities of formal methods in computer science has raged for more than two years now. The function of this paper is to summarize the key elements of this debate and to respond to important criticisms others have advanced by placing these issues within a broader context of philosophical considerations about the nature of hardware and of software and about the kinds of knowledge that we have the capacity to acquire concerning their performance.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 233-257 
    ISSN: 1572-8641
    Keywords: Meaning ; concept ; categorization ; cognitive model ; prototype ; salience ; natural kind ; holism ; intercultural communication ; biological taxa ; basic colours ; basic emotions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In this paper I evaluate the soundness of the prototype paradigm, in particular its basic assumption that there are pan-human psychological essences or core meanings that refer to basic-level natural kinds, explaining why, on the whole, human communication and learning are successful. Instead I argue that there are no particular pan-human basic elements for thought, meaning and cognition, neither prototypes, nor otherwise. To illuminate my view I draw on examples from anthropology. More generally I argue that the prototype paradigm exemplifies two assumptions that dominate cognitive science: (1) If human beings use words they mean something particular and what they mean can be discovered by scientific methods. (2) There is a fixed number of domains of categorization, each made up of a fixed number of basic categories. I suggest that these two assumptions lead to Brave New World.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 417-436 
    ISSN: 1572-8641
    Keywords: Defeasible reasoning ; entailment ; justification ; logic programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The general conditions of epistemic defeat are naturally represented through the interplay of two distinct kinds of entailment, deductive and defeasible. Many of the current approaches to modeling defeasible reasoning seek to define defeasible entailment via model-theoretic notions like truth and satisfiability, which, I argue, fails to capture this fundamental distinction between truthpreserving and justification-preserving entailments. I present an alternative account of defeasible entailment and show how logic programming offers a paradigm in which the distinction can be captured, allowing for the modeling of a larger range of types of defeat. This is possible through a natural extension of the declarative and procedural semantics of Horn clauses.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 1-30 
    ISSN: 1572-8641
    Keywords: Artificial intelligence ; content ; cognitive science ; mind-body problem ; representation ; semantic ; syntax
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract I argue that there are no mental representations, in the sense of “representation” used in standard computational theories of the mind. I take Cummins' Meaning and Mental Representation as my stalking-horse, and argue that his view, once properly developed, is self-defeating. The argument implicitly undermines Fodor's view of the mind; I draw that conclusion out explicitly. The idea of mental representations can then only be saved by appeal to a Dennett-like instrumentalism; so I argue against that too. Finally, I argue that there is no good metaphysical reason in favour of believing in mental representations and that cognitive science can manage perfectly well without them.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 55-73 
    ISSN: 1572-8641
    Keywords: Belief ; syntax ; propositions ; meaning ; information ; tractability ; degrees of confidence ; dispositions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Within AI and the cognitively related disciplines, there exist a multiplicity of uses of ‘belief’. On the face of it, these differing uses reflect differing views about the nature of an objective phenomenon called ‘belief’. In this paper I distinguish six distinct ways in which ‘belief’ is used in AI. I shall argue that not all these uses reflect a difference of opinion about an objective feature of reality. Rather, in some cases, the differing uses reflect differing concerns with special AI applications. In other cases, however, genuine differences exist about the nature of what we pre-theoretically call belief. To an extent the multiplicity of opinions about, and uses of ‘belief’, echoes the discrepant motivations of AI researchers. The relevance of this discussion for cognitive scientists and philosophers arises from the fact that (a) many regard theoretical research within AI as a branch of cognitive science, and (b) even if theoretical AI is not cognitive science, trends within AI influence theories developed within cognitive science. It should be beneficial, therefore, to unravel the distinct uses and motivations surrounding ‘belief’, in order to discover which usages merely reflect differing pragmatic concerns, and which usages genuinely reflect divergent views about reality.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 217-219 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 221-232 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 321-341 
    ISSN: 1572-8641
    Keywords: Cognitive architecture ; computationalism ; Connectionism ; implementation ; inference to the best explanation ; Language of Thought
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Fodor and Pylyshyn (1988) have argued that the cognitive architecture is not Connectionist. Their argument takes the following form: (1) the cognitive architecture is Classical; (2) Classicalism and Connectionism are incompatible; (3) therefore the cognitive architecture is not Connectionist. In this essay I argue that Fodor and Pylyshyn's defenses of (1) and (2) are inadequate. Their argument for (1), based on their claim that Classicalism best explains the systematicity of cognitive capacities, is an invalid instance of inference to the best explanation. And their argument for (2) turns out to be question-begging. The upshot is that, while Fodor and Pylyshyn have presented Connectionists with the important empirical challenge of explaining systematicity, they have failed to provide sufficient reason for inferring that the cognitive architecture is Classical and not Connectionist.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 343-353 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 279-320 
    ISSN: 1572-8641
    Keywords: Process belief model ; nested propositional attitudes ; senses ; truth ; liar paradox
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract A process-oriented model of belief is presented which permits the representation of nested propositional attitudes within first-order logic. The model (NIM, for ‘nested intensional model’) is axiomatized, sense-based (via intensions), and sanctions inferences involving nested epistemic attitudes, with different agents and different times. Because NIM is grounded upon senses, it provides a framework in which agents may reason about the beliefs of another agent while remaining neutral with respect to the syntactic forms used to express the latter agent's beliefs. Moreover, NIM provides agents with a conceptual map, interrelating the concepts of ‘knowledge’, ‘belief’, ‘truth’, and a number of cognate concepts, such as ‘infers’, ‘retracts’, and ‘questions’. The broad scope of NIM arises in part from the fact that its axioms are represented in a novel extension of first-order logic, ℐ-FOL (presented herein). ℐ-FOL simultaneously permits the representation of truth ascriptions, implicit self-reference, and arbitrarily embedded sentences within a first-order setting. Through the combined use of principles derived from Frege, Montague, and Kripke, together with context-sensitive semantic conventions, ℐ-FOL captures the logic of truth inferences, while avoiding the inconsistencies exhibited by Tarski. Applications of ℐ-FOL and NIM to interagent reasoning are described and the soundness and completeness of ℐ-FOL are established herein.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 357-365 
    ISSN: 1572-8641
    Keywords: Argument ; belief ; Keynes ; Russell ; non-monotonic reasoning ; dialectic ; philosophical logic ; logic ; probability
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract There is the idea that rational belief for a single individual can be constructed via a process of unilateral argument. To preempt antipathy between the AI communities that can claim the idea that rational belief can be so constructed, we trace the idea to the beginning of this century, to Keynes' dispute with Russell over logic and probability. We review how Keynesian ideas were revived in AI's work on non-monotonic reasoning and parallel developments in philosophical logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 437-458 
    ISSN: 1572-8641
    Keywords: Defeasible reasoning ; default reasoning ; nonmonotonic reasoning ; epistemology ; closed world assumption
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This article argues that: (i) Defeasible reasoning is the use of distinctive procedures for belief revision when new evidence or new authoritative judgment is interpolated into a system of beliefs about an application domain. (ii) These procedures can be explicated and implemented using standard higher-order logic combined with epistemic assumptions about the system of beliefs. The procedures mentioned in (i) depend on the explication in (ii), which is largely described in terms of a Prolog program, EVID, which implements a system for interactive, defeasible reasoning when combined with an application knowledge base. It is shown that defeasible reasoning depends on a meta-level Closed World Assumption applied to the relationship between supporting evidence and a defeasible conclusion based on this evidence. Thesis (i) is then further defended by showing that the EVID explication of defeasible reasoning has sufficient representational power to cover a wide variety of practical applications of defeasible reasoning, especially in the context of decision making.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 259-277 
    ISSN: 1572-8641
    Keywords: Artificial intelligence ; ethics ; intelligence ; anthropocentrism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Intuitive conceptions guide practice, but practice reciprocally reshapes intuition. The intuitive conception of intelligence in AI was originally highly anthropocentric. However, the internal dynamics of AI research have resulted in a divergence from anthropocentric concerns. In particular, the increasing emphasis on commonsense knowledge and peripheral intelligence (perception and movement) in effect constitutes an incipient reorientation of intuitions about the nature of intelligence in a non-anthropocentric direction. I argue that this conceptual shift undermines Joseph Weizenbaum's claim that the project of artificial intelligence is inherently dehumanizing.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 355-356 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 367-392 
    ISSN: 1572-8641
    Keywords: Argument ; defeasible ; nonmonotonic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract An argument is self-defeating when it contains defeaters for some of its own defeasible lines. It is shown that the obvious rules for defeat among arguments do not handle self-defeating arguments correctly. It turns out that they constitute a pervasive phenomenon that threatens to cripple defeasible reasoning, leading to almost all defeasible reasoning being defeated by unexpected interactions with self-defeating arguments. This leads to some important changes in the general theory of defeasible reasoning.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 1 (1991), S. 459-459 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 86 (1991), S. 77-86 
    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 ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 86 (1991), S. 1-27 
    ISSN: 1573-0964
    Source: Springer Online Journal Archives 1860-2000
    Topics: Natural Sciences in General , Philosophy
    Notes: Abstract Many criticisms of prototype theory and/or fuzzy-set theory are based on the assumption that category representativeness (or typicality) is identical with fuzzy membership. These criticisms also assume that conceptual combination and logical rules (all in the Aristotelian sense) are the appropriate criteria for the adequacy of the above “fuzzy typicality”. The present paper discusses these assumptions following the line of their most explicit and most influential expression by Osheron and Smith (1981). Several arguments are made against the above identification, the most important being that representativeness in prototype theory is exclusively based on element-to-element similarity while fuzzy membership is inherently an element-to-category relationship. Also the above criteria for adequacy are criticized from the viewpoint of both prototype theory and fuzzy-set theory as well as from that of both conceptual and logical combination, and also from that of integration.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 86 (1991), S. 99-122 
    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 ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 86 (1991), S. 123-141 
    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 ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Synthese 〈Dordrecht〉 86 (1991), S. 196-196 
    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 ...
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...