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  (623)
  • Springer  (623)
  • Frontiers Media
  • 2015-2019
  • 1990-1994  (623)
  • 1915-1919
  • 1993  (623)
  • Philosophy  (500)
  • Sociology
Collection
  • Articles  (623)
Years
  • 2015-2019
  • 1990-1994  (623)
  • 1915-1919
Year
Journal
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 95-111 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The set (X, J) of fuzzy subsetsf:X→J of a setX can be equipped with a structure of ϑ-valued Łukasiewicz-Moisil algebra, where ϑ is the order type of the totally ordered setJ. Conversely, every Łukasiewicz-Moisil algebra — and in particular every Post algebra — is isomorphic to a subalgebra of an algebra of the form (X, J), whereJ has an order type $$\bar \theta $$ ⩾ϑ. The first result of this paper is a characterization of those ϑ-valued Łukasiewicz-Moisil algebras which are isomorphic to an algebra of the form (X, J) (Theorem 1). Then we prove that (X, J) is a Post algebra if and only if the setJ is dually well-ordered (Theorem 2) and we give a characterization of those ϑ-valued Post algebras with are isomorphic to an algebra of the form (X, J) (Theorem 3 and Proposition 2).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 41-62 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7]. Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is thatL is finite. Here the necessity part is essentially new, for the sufficiency part has been proved in Hosoi and Sasaki [5]. Also the proof of sufficiency part is improved here. For logics on the ω-th slice, the condition for them to have the simple substitution property is not yet known. We abbreviate the simple substitution property asSSP.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 73-94 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Some properties of Kripke-sheaf semantics for super-intuitionistic predicate logics are shown. The concept ofp-morphisms between Kripke sheaves is introduced. It is shown that if there exists ap-morphism from a Kripke sheaf κ1 into κ2 then the logic characterized by κ1 is contained in the logic characterized by κ2. Examples of Kripke-sheaf complete and finitely axiomatizable super-intuitionistic (and intermediate) predicate logics each of which is Kripke-frame incomplete are given. A correction to the author's previous paper “Kripke bundles for intermediate predicate logics and Kripke frames for intuitionistic modal logics” (Studia Logica, 49(1990), pp. 289–306 ) is stated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 15-21 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The intermediate logics have been classified into slices (cf. Hosoi [1]), but the detailed structure of slices has been studied only for the first two slices (cf. Hosoi and Ono [2]). In order to study the structure of slices, we give a method of a finer classification of slices & n (n ≥ 3). Here we treat only the third slice as an example, but the method can be extended to other slices in an obvious way. It is proved that each subslice contains continuum of logics. A characterization of logics in each subslice is given in terms of the form of models.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 281-289 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A proof method for automation of reasoning in a paraconsistent logic, the calculus C1* of da Costa, is presented. The method is analytical, using a specially designed tableau system. Actually two tableau systems were created. A first one, with a small number of rules in order to be mathematically convenient, is used to prove the soundness and the completeness of the method. The other one, which is equivalent to the former, is a system of derived rules designed to enhance computational efficiency. A prototype based on this second system was effectively implemented.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 381-391 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A logic is said to becontraction free if the rule fromA → (A →B) toA →B is not truth preserving. It is well known that a logic has to be contraction free for it to support a non-trivial naïve theory of sets or of truth. What is not so well known is that if there isanother contracting implication expressible in the language, the logic still cannot support such a naïve theory. A logic is said to berobustly contraction free if there is no such operator expressible in its language. We show that a large class of finitely valued logics are each not robustly contraction free, and demonstrate that some other contraction free logics fail to be robustly contraction free. Finally, the sublogics of Łω (with the standard connectives) are shown to be robustly contraction free.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 489-489 
    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 52 (1993), S. 259-280 
    ISSN: 1572-8730
    Keywords: Leibniz's Substitution Principle ; Intension and Extension ; Non-classical Logic Programming ; Quantified Epistemic logic ; Variable Domain Possible-worlds semantics ; Skolemization Theorem for Modal logic ; Horn Theories ; Equational Programs ; Paramodulation ; SLD-Resolution and Many-sorted Unification
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract One of the fundamental properties inclassical equational reasoning isLeibniz's principle of substitution. Unfortunately, this propertydoes not hold instandard epistemic logic. Furthermore,Herbrand's lifting theorem which isessential to thecompleteness ofresolution andParamodulation in theclassical first order logic (FOL), turns out to be invalid in standard epistemic logic. In particular, unlike classical logic, there is no skolemization normal form for standard epistemic logic. To solve these problems, we introduce anintensional epistemic logic, based on avariation of Kripke's possible-worlds semantics that need not have a constant domain. We show how a weaker notion of substitution through indexed terms can retain the Herbrand theorem. We prove how the logic can yield a satisfibility preserving skolemization form. In particular, we present an intensional principle for unifing indexed terms. Finally, we describe asound andcomplete inference system for a Horn subset of the logic withequality, based onepistemic SLD-resolution.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 309-322 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper discusses the resolution principle in the context of non-classical logics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 323-337 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we describe an improvement of Smullyan's analytic tableau method for the propositional calculus-Improved Parent Clash Restricted (IPCR) tableau-and show that it is equivalent to SL-resolution in complexity.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 393-404 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In [4] R.Cowen considers a generalization of the resolution rule for hypergraphs and introduces a notion of satisfiability of families of sets of vertices via 2-colorings piercing elements of such families. He shows, for finite hypergraphs with no one-element edges that if the empty set is a consequence ofA by the resolution rule, thenA is not satisfiable. Alas the converse is true for a restricted class of hypergraphs only, and need not to be true in the general case. In this paper we show that weakening slightly the notion of satisfiability, we get the equivalence of unsatisfiability and the derivability of the empty set for any hypergraph. Moreover, we show the compactness property of hypergraph satisfiability (in the weaker sense) and state its equivalence to BPI, i.e. to the statement that in every Boolean algebra there exists an ultrafilter.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 443-455 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract An Ackermann constant is a formula of sentential logic built up from the sentential constant t by closing under connectives. It is known that there are only finitely many non-equivalent Ackermann constants in the relevant logic R. In this paper it is shown that the most natural systems close to R but weaker than it-in particular the non-distributive system LR and the modalised system NR-allow infinitely many Ackermann constants to be distinguished. The argument in each case proceeds by construction of an algebraic model, infinite in the case of LR and of arbitrary finite size in the case of NR. The search for these models was aided by the computer program MaGIC (Matrix Generator for Implication Connectives) developed by the author at the Australian National University.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 491-517 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper investigates learning functions for first order languages. Several types of convergence and identification in the limit are defined. Positive and negative results on learning problems are presented throughout the paper.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 549-564 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper the PA-completeness of modal logic is studied by syntactical and constructive methods. The main results are theorems on the structure of the PA-proofs of suitable arithmetical interpretationsS ϕ of a modal sequentS, which allow the transformation of PA-proofs ofS ϕ into proof-trees similar to modal proof-trees. As an application of such theorems, a proof of Solovay's theorem on arithmetical completeness of the modal system G is presented for the class of modal sequents of Boolean combinations of formulas of the form □p i,m i=0, 1, 2, ... The paper is the preliminary step for a forthcoming global syntactical resolution of the PA-completeness problem for modal logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 183-195 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is concerned with decision proceedures for the ℵ0-valued Łukasiewicz logics, . It is shown how linear algebra can be used to construct an automated theorem checker. Two decision proceedures are described which depend on a linear programming package. An algorithm is given for the verification of consequence relations in , and a connection is made between theorem checking in two-valued logic and theorem checking in which implies that determing of a ⊃-free formula whether it takes the value one is NP-complete problem.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 63-72 
    ISSN: 1572-8730
    Keywords: 03B22 ; 03B20 ; 08B05 ; Reduced matrices ; finite replacement
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract It is shown that the class of reduced matrices of a logic ⊢ is a 1 st order ∀∃-class provided the variety associated with ⊢ has the finite replacement property in the sense of [7]. This applies in particular to all 2-valued logics. For 3-valued logics the class of reduced matrices need not be 1 st order.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 519-548 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract A comprehensive model for describing various forms of developments in science is defined in precise, set-theoretic terms, and in the spirit of the structuralist approach in the philosophy of science. The model emends previous accounts in centering on single systems in a homogenous way, eliminating notions which essentially refer to sets of systems. This is achieved by eliminating the distinction between theoretical and non-theoretical terms as a primitive, and by introducing the notion of intended links. The force of the model is demonstrated by formally incorporating many of the important, precise meta-theoretic concepts occurring in the literature.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 1-13 
    ISSN: 1572-8730
    Keywords: 06A15 ; 06B15 ; 03B22 ; 03G10
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In our previous paper “Algebraic Logic for Classical Conjunction and Disjunction” we studied some relations between the fragmentL of classical logic having just conjunction and disjunction and the varietyD of distributive lattices, within the context of Algebraic Logic. The central tool in that study was a class of closure operators which we calleddistributive, and one of its main results was that for any algebraA of type (2,2) there is an isomorphism between the lattices of allD-congruences ofA and of all distributive closure operators overA. In the present paper we study the lattice structure of this last set, give a description of its finite and infinite operations, and obtain a topological representation. We also apply the mentioned isomorphism and other results to obtain proofs with a logical flavour for several new or well-known lattice-theoretical properties, like Hashimoto's characterization of distributive lattices, and Priestley's topological representation of the congruence lattice of a bounded distributive lattice.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 169-179 
    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 ...
  • 20
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract For each intermediate propositional logicJ, J * denotes the least predicate extension ofJ. By the method of canonical models, the strongly Kripke completeness ofJ *+D(=∀x(p(x)∨q)⊃∀xp(x)∨q) is shown in some cases including: 1. J is tabular, 2. J is a subframe logic. A variant of Zakharyashchev's canonical formulas for intermediate logics is introduced to prove the second case.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. iii 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract There exist valuable methods for theorem proving in non classical logics based on translation from these logics into first-order classical logic (abbreviated henceforth FOL). The key notion in these approaches istranslation from aSource Logic (henceforth abbreviated SL) to aTarget Logic (henceforth abbreviated TL). These methods are concerned with the problem offinding a proof in TL by translating a formula in SL, but they do not address the very important problem ofpresenting proofs in SL via a backward translation. We propose a framework for presenting proofs in SL based on a partial backward translation of proofs obtained in a familiar TL: Order-Sorted Predicate Logic. The proposed backward translation transfers some formulasF TL belonging to the proof in TL into formulasF SL , such that the formulasF SL either (a) belong to a corresponding deduction in SL (in the best case) or, (b) are semantically related in some precise way, to formulas in the corresponding deduction in SL (in the worst case). The formulasF TL andF SL can obviously be considered aslemmas of their respective proofs. Therefore the transfer of lemmas of TL gives at least a skeleton of the corresponding proof in SL. Since the formulas of a proof “keep trace” of the strategy used to obtain the proof, clearly the framework can also help in solving another fundamental and difficult problem:the transfer of strategies from classical to non classical logics. We show how to apply the proposed framework, at least to S5, S4(p), K, T, K4. Two conjectures are stated and we propose sufficient (and in general satisfactory) conditions in order to obtain formulas in the proof in SL. Two particular cases of the conjectures are proved to be theorems. Three examples are treated in full detail. The main lines of future research are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 291-308 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract THINKER is an automated natural deduction first-order theorem proving program. This paper reports on how it was adapted so as to prove theorems in modal logic. The method employed is an “indirect semantic method”, obtained by considering the semantic conditions involved in being a valid argument in these modal logics. The method is extended from propositional modal logic to predicate modal logic, and issues concerning the domain of quantification and “existence in a world's domain” are discussed. Finally, we look at the very interesting issues involved with adding identity to the theorem prover in the realm of modal predicate logic. Various alternatives are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 339-379 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We discuss similarities and residual differences, within the general semantic framework of minimality, between defeasible inference, belief revision, counterfactual conditionals, updating — and also conditional obligation in deontic logic. Our purpose is not to establish new results, but to bring together existing material to form a clear overall picture.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 405-417 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In the paper we present completeness theorems for hybrid logics, discuss the problem of finite axiomatization and study term rewriting and unification for the variety of distributive lattices and the variety of groups of exponent 2.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 419-442 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Fuzzy intuitionistic quantum logics (called also Brouwer-Zadeh logics) represent to non standard version of quantum logic where the connective “not” is split into two different negation: a fuzzy-like negation that gives rise to a paraconsistent behavior and an intuitionistic-like negation. A completeness theorem for a particular form of Brouwer-Zadeh logic (BZL 3) is proved. A phisical interpretation of these logics can be constructed in the framework of the unsharp approach to quantum theory.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 483-487 
    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 ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 457-481 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract When a proposition α is cumulatively entailed by a finite setA of premisses, there exists, trivially, a finite subsetB ofA such thatB ∪B′ entails α for all finite subsetsB′ that are entailed byA. This property is no longer valid whenA is taken to be an arbitrary infinite set, even when the considered inference operation is supposed to be compact. This leads to a refinement of the classical definition of compactness. We call supracompact the inference operations that satisfy the non-finitary analogue of the above property. We show that for any arbitrary cumulative operationC, there exists a supracompact cumulative operationK(C) that is smaller thenC and agrees withC on finite sets. Moreover,K(C) inherits most of the properties thatC may enjoy, like monotonicity, distributivity or disjunctive rationality. The main part of the paper concerns distributive supracompact operations. These operations satisfy a simple functional equation, and there exists a representation theorem that provides a semantic characterization for this family of operations. We examine finally the case of rational operations and show that they can be represented by a specific kind of model particularly easy to handle.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 587-593 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The properties of antisymmetry and linearity are easily seen to be sufficient for a recursively enumerable binary relation to be recursively isomorphic to a recursive relation. Removing either condition allows for the existence of a structure where no recursive isomorph exists, and natural examples of such structures are surveyed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 11-20 
    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 ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 21-29 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract It will be found that the great majority, given the premiss that thought is not distinct from corporeal motion, take a much more rational line and maintain that thought is the same in the brutes as in us, since they observe all sorts of corporeal motions in them, just as in us. And they will add that “the difference, which is merely one of degree, does not imply any essential difference”; from this they will be quite justified in concluding that, although there may be a smaller degree of reason in the beasts than there is in us, the beasts possess minds which are of exactly the same type as ours. (Descartes 1642: 288–289.)
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 31-51 
    ISSN: 1572-8641
    Keywords: Induction ; machine learning ; uniform convergence ; prior probability ; inductive logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The problem of valid induction could be stated as follows: are we justified in accepting a given hypothesis on the basis of observations that frequently confirm it? The present paper argues that this question is relevant for the understanding of Machine Learning, but insufficient. Recent research in inductive reasoning has prompted another, more fundamental question: there is not just one given rule to be tested, there are a large number of possible rules, and many of these are somehow confirmed by the data — how are we to restrict the space of inductive hypotheses and choose effectively some rules that will probably perform well on future examples? We analyze if and how this problem is approached in standard accounts of induction and show the difficulties that are present. Finally, we suggest that the explanation-based learning approach and related methods of knowledge intensive induction could be, if not a solution, at least a tool for solving some of these problems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 53-71 
    ISSN: 1572-8641
    Keywords: Symbolic AI ; connectionist AI ; connectionism ; neural networks ; learning ; reasoning ; expert networks ; expert systems ; symbolic models ; sub-symbolic models
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract A rule-based expert system is demonstrated to have both a symbolic computational network representation and a sub-symbolic connectionist representation. These alternate views enhance the usefulness of the original system by facilitating introduction of connectionist learning methods into the symbolic domain. The connectionist representation learns and stores metaknowledge in highly connected subnetworks and domain knowledge in a sparsely connected expert network superstructure. The total connectivity of the neural network representation approximates that of real neural systems and hence avoids scaling and memory stability problems associated with other connectionist models.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 219-237 
    ISSN: 1572-8641
    Keywords: Animal intelligence ; artificial intelligence ; causation ; consciousness ; Chinese Room Experiment ; Descartes ; intentionality ; other-minds problem ; Searle ; subjectivity ; symbol grounding ; Turing ; Turing's Test
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Harnad's proposed “robotic upgrade” of Turing's Test (TT), from a test of linguistic capacity alone to a Total Turing Test (TTT) of linguisticand sensorimotor capacity, conflicts with his claim that no behavioral test provides even probable warrant for attributions of thought because there is “no evidence” of consciousness besides “private experience”. Intuitive, scientific, and philosophical considerations Harnad offers in favor of his proposed upgrade are unconvincing. I agree with Harnad that distinguishing real from “as if” thought on the basis of (presence or lack of) consciousness (thus rejecting Turing (behavioral) testing as sufficient warrant for mental attribution)has the skeptical consequence Harnad accepts — “there is in factno evidence for me that anyone else but me has a mind”. I disagree with hisacceptance of it! It would be better to give up the neo-Cartesian “faith” in private conscious experience underlying Harnad's allegiance to Searle's controversial Chinese Room “Experiment” than give up all claim to know others think. It would be better to allow that (passing) Turing's Test evidences — evenstrongly evidences — thought.
    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 3 (1993), S. 283-312 
    ISSN: 1572-8641
    Keywords: Church-Turing thesis ; Turing machine ; effective procedure ; causal process ; analog process
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of the general notion of an effective procedure proposed by Alan Turing and Alonzo Church in the 1930's. As originally construed, the thesis applied only to the number theoretic functions; it amounted to the claim that there were no number theoretic functions which couldn't be computed by a Turing machine but could be computed by means of some other kind of effective procedure. Since that time, however, other interpretations of the thesis have appeared in the literature. In this paper I identify three domains of application which have been claimed for the thesis: (1) the number theoretic functions; (2) all functions; (3) mental and/or physical phenomena. Subsequently, I provide an analysis of our intuitive concept of a procedure which, unlike Turing's, is based upon ordinary, everyday procedures such as recipes, directions and methods; I call them “mundane procedures.” I argue that mundane procedures can be said to be effective in the same sense in which Turing machine procedures can be said to be effective. I also argue that mundane procedures differ from Turing machine procedures in a fundamental way, viz., the former, but not the latter, generate causal processes. I apply my analysis to all three of the above mentioned interpretations of the Church-Turing thesis, arguing that the thesis is (i) clearly false under interpretation (3), (ii) false in at least some possible worlds (perhaps even in the actual world) under interpretation (2), and (iii) very much open to question under interpretation (1).
    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 3 (1993), S. 313-317 
    ISSN: 1572-8641
    Keywords: Associative memory ; random graph ; phase transition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Ideas from random graph theory are used to give an heuristic argument that associative memory structure depends discontinuously on pattern recognition ability. This argument suggests that there may be a certain “minimal size” for intelligent systems.
    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 3 (1993), S. 97-104 
    ISSN: 1572-8641
    Keywords: Asymmetric causal dependency ; Block ; Fodor ; content ; meaning ; pathologies ; semantics
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In two recent books, Jerry Fodor has developed a set of sufficient conditions for an object “X” to non-naturally and non-derivatively mean X. In an earlier paper we presented three reasons for thinking Fodor's theory to be inadequate. One of these problems we have dubbed the “Pathologies Problem”. In response to queries concerning the relationship between the Pathologies Problem and what Fodor calls “Block's Problem”, we argue that, while Block's Problem does not threatenFodor's view, the Pathologies Problem does.
    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 3 (1993), S. 73-96 
    ISSN: 1572-8641
    Keywords: Cognitive models ; interruptions ; hybrid systems ; connectionism ; symbolic systems ; constraints on hybrid systems
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract It is widely mooted that a plausible computational cognitive model should involve both symbolic and connectionist components. However, sound principles for combining these components within a hybrid system are currently lacking; the design of such systems is oftenad hoc. In an attempt to ameliorate this we provide a framework of types of hybrid systems and constraints therein, within which to explore the issues. In particular, we suggest the use of “system independent” constraints, whose source lies in general considerations about cognitive systems, rather than in particular technological or task-based considerations. We illustrate this through a detailed examination of an interruptibility constraint: handling interruptions is a fundamental facet of cognition in a dynamic world. Aspects of interruptions are delineated, as are their precise expression in symbolic and connectionist systems. We illustrate the interaction of the various constraints from interruptibility in the different types of hybrid systems. The picture that emerges of the relationship between the connectionist and the symbolic within a hybrid system provides for sufficient flexibility and complexity to suggest interesting general implications for cognition, thus vindicating the utility of the framework.
    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 3 (1993), S. 239-252 
    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 ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 381-419 
    ISSN: 1572-8641
    Keywords: Episodic logic ; syntax-semantics interface ; deindexing ; inference
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic (EL), a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates (corresponding to wanting, believing, making, etc.), unreliable generalizations, and perhaps most importantly, explicit situational variables (denoting episodes, events, states of affairs, etc.) linked to arbitrary formulas that describe them. These allow episodes to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference.
    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 3 (1993), S. 511-511 
    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 ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 475-510 
    ISSN: 1572-8641
    Keywords: Inferencing in natural language ; representation of natural language ; Boolean semantics ; negation ; negative information ; modeling natural language ; knowledge representation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract A formal, computational, semantically clean representation of natural language is presented. This representation captures the fact that logical inferences in natural language crucially depend on the semantic relation of entailment between sentential constituents such as determiner, noun, adjective, adverb, preposition, and verb phrases. The representation parallels natural language in that it accounts for human intuition about entailment of sentences, it preserves its structure, it reflects the semantics of different syntactic categories, it simulates conjunction, disjunction, and negation in natural language by computable operations with provable mathematical properties, and it allows one to represent coordination on different syntactic levels. The representation demonstrates that Boolean semantics of natural language can be successfully modeled in terms of representation and inference by knowledge representation formalisms with Boolean semantics. A novel approach to the problem of automatic inferencing in natural language is addressed. The algorithm for updating a computer knowledge base and reasoning with explicit negative, disjunctive, and conjunctive information based on computing subsumption relation between the representations of the appropriate sentential constituents is discussed with examples.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 595-613 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In the paper [8], the first author developped a topos- theoretic approach to reference and modality. (See also [5]). This approach leads naturally to modal operators on locales (or ‘spaces without points”). The aim of this paper is to develop the theory of such modal operators in the context of the theory of locales, to axiomatize the propositional modal logics arising in this context and to study completeness and decidability of the resulting systems.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 113-142 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This essay demonstrates proof-theoretically the consistency of a type-free theoryC with an unrestricted principle of comprehension and based on a predicate logic in which contraction (A → (A →B)) → (A →B), although it cannot holds in general, is provable for a wide range ofA's.C is presented as an axiomatic theoryCH (with a natural-deduction equivalentCS) as a finitary system, without formulas of infinite length. ThenCH is proved simply consistent by passing to a Gentzen-style natural-deduction systemCG that allows countably infinite conjunctions and in which all theorems ofCH are provable.CG is seen to be a consistent by a normalization argument. It also shown that in a senseC is highly non-extensional.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 143-167 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In [12] it was shown that the factor semantics based on the notion ofT-F-sequences is a correct model of the Łukasiewicz's infinite-valued logics. But we could not consider some important aspects of the structure of this model because of the short size of paper. In this paper we give a more complete study of this problem: A new proof of the completeness of the factor semantic for Łukasiewicz's logic using Wajsberg algebras [3] (and not MV-algebras in [1]) and Symmetrical Heyting monoids [7] is proposed. Some consequences of such an approach are investigated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 181-181 
    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 ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 233-257 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper I give conditions under which a matrix characterisation of validity is correct for first order logics where quantifications are restricted by statements from a theory. Unfortunately the usual definition of path closure in a matrix is unsuitable and a less pleasant definition must be used. I derive the matrix theorem from syntactic analysis of a suitable tableau system, but by choosing a tableau system for restricted quantification I generalise Wallen's earlier work on modal logics. The tableau system is only correct if a new condition I call “alphabetical monotonicity” holds. I sketch how the result can be applied to a wide range of logics such as first order variants of many standard modal logics, including non-serial modal logics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 52 (1993), S. 565-585 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper surveys the various forms of Deduction Theorem for a broad range of relevant logics. The logics range from the basic system B of Routley-Meyer through to the system R of relevant implication, and the forms of Deduction Theorem are characterized by the various formula representations of rules that are either unrestricted or restricted in certain ways. The formula representations cover the iterated form,A 1 → .A 2 → . ... .A n →B, the conjunctive form,A 1&A 2 & ...A n →B, the combined conjunctive and iterated form, enthymematic version of these three forms, and the classical implicational form,A 1&A 2& ...A n ⊃B. The concept of general enthymeme is introduced and the Deduction Theorem is shown to apply for rules essentially derived using Modus Ponens and Adjunction only, with logics containing either (A →B)&(B →C) → .A →C orA →B → .B →C→ .A →C.
    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 24 (1993), S. ii 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 17-42 
    ISSN: 1572-8587
    Keywords: demarcation criterion ; science ; pseudo-science ; Bach-kabbalists ; Freud ; Laudan ; Lugg ; Popper ; Thagard
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary In this paper I will argue that a profile of the pseudo-sciences can be gained from the scientific pretensions of the pseudo-scientist. These pretensions provide two yardsticks which together take care of the charge of scientific prejudice that any suggested demarcation of pseudo-science has to face. To demonstrate that my analysis has teeth I will apply it to Freud and modern-day Bach-kabbalists. Against Laudan I will argue that the problem of demarcation is not a pseudo-problem, though the discussion will bear out that Laudan's replacement question, namely the question whether someone's theory is well-confirmed, is not, as Lugg claimed, independent of the question as to whether that person is a pseudoscientist. I further argue that my prototype pseudo-scientists do not have the shortcomings highlighted in Thagard's recent analysis of pseudo-science.
    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 24 (1993), S. 43-62 
    ISSN: 1572-8587
    Keywords: mathematics ; progress ; rationality ; methodology ; historiography ; cognitive and social factors
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Is mathematical knowledge the product of a method fulfilling temporally and locally invariant criteria and thus manifesting a rationality which sets it entirely apart from all other cultural products? Or is it a socially constructed product, sharing in the accidental and conventional nature of all historically contingent cultural products? In order to be able to take the latter point of view at all seriously into consideration, the most sophisticated and historically informed methodological model is carefully and critically examined. This (Lakatosian) model, however liberal and history-directed it may seem, turns out to incorporate the former, (methodo)logical view of the development of mathematics. It will be demonstrated that the basic assumption underlying Lakatosian methodology is both unwarranted and superfluous for the rational explanation of the growth of mathematical knowledge. This leads to the provisional conclusion that the relevant question is not whether mathematical progress derives ultimately from irreducibly cognitive or from irreducibly social factors, but how cognitive and social factors are interrelated and together, in their indivisible unity, are constitutive of the development of mathematical knowledge. In the forthcoming second part of the article, a model of this socio-cognitive interplay, relying heavily on empirical analyses, will be presented.
    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 24 (1993), S. 87-102 
    ISSN: 1572-8587
    Keywords: probabilistic causality ; multicausality ; causation in the law ; history of probability theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The Adequate Cause Theory: On the relation of Philosophical and Legal Concepts of Causality. The paper discusses the first explicit and logically convincing introduction of a concept of probabilistic causality into legal theories of causation in Germany by Johannes von Kries (1888). First, it is shown how this step was prepared by the failure of the philosophical analysis of causation which took its leading examples from physics to overcome the difficulties which presented themselves in cases of “irreducible multicausality”. Secondly, I give the basic ideas of Kries's connection of causal theory and probability theory by presenting his concept of “scope” („Spielraum“). Finally, I turn to some concepts which are still controversively discussed in legal contexts and which exhibit the logical structure analysed by Kries. It is shown that a certain indefiniteness of the relevant distinctions, which cannot be overcome, does not paralyse their being useful.
    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 24 (1993), S. 63-86 
    ISSN: 1572-8587
    Keywords: Daltonian stoichiometry ; Faraday's laws ; statistical mechanics ; Avogadro's number ; Lorentz-Thomson-systems ; cathode rays
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The following investigation illustrates, by concrete historical examples, some of the basic results, outlined in earlier papers on theory evolution and reference dynamics in science (cf. Balzer, W.et al.: 1989, ‘A Static Theory of Reference in Science’,Synthese 79, 319–360; Lauth, B.: 1989, ‘Reference Problems in Stoichiometry’,Erkenntnis 30, 339–362; Lauth, B.: 1990, ‘Theory Evolution and Reference Kinematics’,Synthese 88, 279–307). All theories considered in this paper are represented within a metatheoretical frame that has become known as the structuralist view in the philosophy of science. The paper focusses on some physical constants, namely the mass and charge of electrons, henceforth denoted by m0 and e0, of Boltzman's constant k, Faraday's constant F and Avogadro's Number NA, and the evolution of their ‘reference spectra’ from the beginning of the 19th century until the early days of quantum physics.
    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 24 (1993), S. 103-126 
    ISSN: 1572-8587
    Keywords: philosophy of biology ; biological systematics ; species ; species concepts ; natural kinds ; state space approach ; ontology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The continuing discussion of the species problem suffers from the lack of a coherent ontological theory as a basis for determining whether species have an ontological status. It has attempted to apply a full-fledged metaphysical theory to the species problem: the ontology of Mario Bunge. In doing so a few ontological fundamentals including system, individual, real and conceptual object, and law are briefly introduced. It is with the help of these fundamentals that an analysis of the species-as-individuals thesis is carried out, concluding that species are not individuals (things), but natural kinds, and that they have no ontological status. In contradistinction to the traditional view of natural kinds involving possible worlds metaphysics and semantics a notion of natural kind is given in terms of the state space approach and of nomological equivalence.
    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 24 (1993), S. 169-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 ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 147-167 
    ISSN: 1572-8587
    Keywords: philosophy of science in Finland 1970–1990 ; induction ; probability ; and truth-likeness ; the structure and dynamics of theories ; explanation and action ; foundational studies ; philosophy of science and the scientific community
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary This paper gives a survey of the philosophy of science in Finland during the two decades 1970–90. Topics covered include the background (earlier studies by Eino Kaila, G. H. von Wright, and Jaakko Hintikka), the main areas of research (inductive logic, probability, truthlikeness, scientific theory, theory change, scientific realism, explanation and action, foundations of special disciplines), and the cultural impact of science studies.
    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 24 (1993), S. 187-196 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 197-202 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 127-146 
    ISSN: 1572-8587
    Keywords: continuity in science ; incommensurability ; modules ; paradigm ; scientific revolution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary According to the Incommensurability Thesis (IT) superseding scientific theories (paradigms) are incommensurable. Unlike many authors we do not discuss whether there is a relationship of this kind. We take for granted that this may be the case, and see the problem in the endeavour to establish the domain of validity of the IT. The notion incommensurability (Ic) is derivative from the concepts of scientific paradigm (P) and scientific revolution (R). There are several concepts of P, as well as various conceptions of R. The Ic concept also has more than one meaning. The validity of the IT is restricted to a subset of P, R, and Ic. From the viewpoint of P this may be the case with (a) substantially different competing general conceptions not reformulated with a view to make them comparable, as well as with (b) scientific communities dogmatically committed to such conceptions. From the viewpoint of R this takes place when we have to do with big revolutions, i.e. superseding conceptions with prevailing discontinuity. Lastly, from the point of view of Ic proper: when it is meant a weak Ic, i.e. a particular incomparability (incompatibility) between the conceptions in question.
    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 24 (1993), S. 203-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 ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 205-233 
    ISSN: 1572-8587
    Keywords: Diallelus ; Foundationalism ; Justification ; Meta-epistemological ; Petitio Principii ; Scepticism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The article concerns the meta-epistemological problem of the justification of a theory of knowledge and provides a reconstruction of the history of its formulations. In the first section, I analyse the connections between Sextus Empiricus'diallelus, Montaigne'srouet and Chisholm's “problem of criterion”; in the second section I focus on the link between thediallelus and the Cartesian circle; in the third section I reconstruct the origin of “Fries' trilemma”; finally, in the last section I draw some general conclusions about the issuequa a general problem for a theory of knowledge.
    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 24 (1993), S. 235-256 
    ISSN: 1572-8587
    Keywords: analysis and synthesis ; the problem of appraisal revisited ; model of socio-cognitive interplay ; between Lakatos and Kuhn ; the rational and the social
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary It is shown how the historiographic purport of Lakatosian methodology of mathematics is structured on the theme of analysis and synthesis. This theme is explored and extended to the revolutionary phase around 1800. On the basis of this historical investigation it is argued that major innovations, crucial to the appraisal of mathematical progress, defy reconstruction as irreducibly rational processes and should instead essentially be understood as processes of social-cognitive interaction. A model of conceptual change is developed whose essential ingredients are the variability of rational responses to new intellectual and practical challenges arising in the cultural environment of mathematics, and the shifting selective pressure of society. The resulting view of mathematical development is compared with Kuhn's theory of scientific paradigms in the light of some personal communications.
    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 24 (1993), S. 257-274 
    ISSN: 1572-8587
    Keywords: Interdisciplinarity ; Transdisciplinarity ; Heuristics ; Justification ; Leibniz ; Reichenbach ; context of discovery ; context of justification ; ars inveniendi ; ars iudicandi ; heuristic interdisciplinarity ; justifying interdisciplinarity
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Inter- and Transdiciplinarity: Heuristics and Justification. Difficulties to define the concept of discipline are symptomatic for the inadequacy of such man-made confines and demarcations. This becomes most obvious in the context of an application of the distinction (introduced by Leibniz and Reichenbach) between a heuristic and a justifying component in the process of scientific research to the transdisciplinary realm called, ‘interdisciplinarity’. The omnipresence and fertility of heuristic and justifying interdisciplinarity in scientific praxis shows that any attempts to find an adequate concept of discipline has become obsolete nowadays, for it cannot find its equivalent in the subjects we are dealing with. All forms of “Grenzfrageninterdisziplinarität”, in particular, demonstrate that such confines do not exist. This has a bearing not only on modern philosophy of science but also on the scientist himself in order to integrate interdisciplinary fields into his own research program.
    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 24 (1993), S. 275-292 
    ISSN: 1572-8587
    Keywords: utility theory ; learning theory ; inter-theoretical-relation ; theory-comparison ; theoretical idealization ; theory approximation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Behaviourist Learning Theory and Utility Theory. Comparisons between theories are rare, especially in social theory which is believed to be a “multi-paradigmatic” science. Against this prevailing impression it is shown that there are logically reconstructable inter-theory-relations at least between different basic theories of individual action. Following Wladyslaw Krajewski a formal model of theory-approximation is developed and applied to behaviourist learning theory and utility theory. Comparing both theories leads to the result that the latter has to be preferred to Behaviourism. That utility theory has a richer content than learning theory helps to explain why George Caspar Homans explanatory programme which leans on a Skinnerian version of learning theory finally did not succeed in becoming the leading approach in social 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 24 (1993), S. 293-302 
    ISSN: 1572-8587
    Keywords: probability theory ; time ; quantum mechanics ; relativity theory ; ontology
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary The prime concern of this paper is with the nature of probability. It is argued that questions concerning the nature of probability are intimately linked to questions about the nature of time. The case study here concerns the single case propensity interpretation of probability. It is argued that while this interpretation of probability has a natural place in the quantum theory, the metaphysical picture of time to be found in relativity theory is incompatible with such a treatment of probability.
    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 24 (1993), S. 349-359 
    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 ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 303-313 
    ISSN: 1572-8587
    Keywords: Korrespondenz ; Kohärenz ; Wahrheit ; Wahrheitsdefinition ; Wahreitskriterium ; Rescher
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Coherence and Correspondence. Questions on a Programme of Reconciliation. Nicholas Rescher has recently proposed an original synthesis of the correspondence and the coherence idea. My purpose is a critical examination of this proposal. Against the background of a sketch of Rescher's general truth-conception and the synthesis mentioned above, I ask two questions. First: Given that coherence can only be the criterion of truth, if it forms a constitutive part of the concept of truth too; why not accept the inverse idea, which postulates the criterion-presence of correspondence? Secondly: Given the plausibility of the theoretical framework which allows the synthesis; why not accept a framework which allows a global synthesis between all truth-theories?
    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 24 (1993), S. 361-396 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 24 (1993), S. 315-347 
    ISSN: 1572-8587
    Keywords: Wissenschaftstheorie in Österreich 1971–1990
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Summary Our report and bibliography concentrate on research in the philosophy of science carried out in Austria within the last 20 years. The term ‘philosophy of science’ is here to be understood in the broad sense of ‘Wissenschaftstheorie’, that is, syntactics, semantics and pragmatics of the natural sciences and of the humanities, including law. After a general introduction to the philosophy of science scene in Austria, we report about those institutions in Austria at which relevant research has been conducted, starting with institutions in Graz and then continuing — in alphabetical order — with institutions in Innsbruck, Klagenfurt, Linz, Salzburg, and Wien. Our report is supplemented by a bibliography; please note that this contains only references to original publications which deal mainly with questions in the philosophy of science, hence no contributions to lexica, no reviews, no translations, no articles in mass media, no editorial and no unpublished works are cited. Finally, there is an appendix,Alphabetical List of Austrian Institutions at which Philosophy of Science is Conducted, to facilitate communication between you and Austrian philosophers in whose work you may become interested by reading this report.
    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 24 (1993), S. 397-399 
    ISSN: 1572-8587
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 1-1 
    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 ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 105-123 
    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 ...
  • 73
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 125-153 
    ISSN: 1572-8641
    Keywords: Connectionism ; neural networks ; expert networks ; recurrent networks ; RAAM networks
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This paper reviews four significant advances on the feedforward architecture that has dominated discussions of connectionism. The first involves introducing modularity into networks by employing procedures whereby different networks learn to perform different components of a task, and a Gating Network determines which network is best equiped to respond to a given input. The second consists in the use of recurrent inputs whereby information from a previous cycle of processing is made available on later cycles. The third development involves developing compressed representations of strings in which there is no longer an explicit encoding of the components but where information about the structure of the original string can be recovered and so is present functionally. The final advance entails using connectionist learning procedures not just to change weights in networks but to change the patterns used as inputs to the network. These advances significantly increase the usefulness of connectionist networks for modeling human cognitive performance by, among other things, providing tools for explaining the productivity and systematicity of some mental activities, and developing representations that are sensitive to the content they are to represent.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 183-200 
    ISSN: 1572-8641
    Keywords: Connectionism ; representation ; explicit rules
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract At present, the prevailing Connectionist methodology forrepresenting rules is toimplicitly embody rules in “neurally-wired” networks. That is, the methodology adopts the stance that rules must either be hard-wired or “trained into” neural structures, rather than represented via explicit symbolic structures. Even recent attempts to implementproduction systems within connectionist networks have assumed that condition-action rules (or rule schema) are to be embodied in thestructure of individual networks. Such networks must be grown or trained over a significant span of time. However, arguments are presented herein that humanssometimes follow rules which arevery rapidly assignedexplicit internal representations, and that humans possessgeneral mechanisms capable of interpreting and following such rules. In particular, arguments are presented that thespeed with which humans are able to follow rules ofnovel structure demonstrates the existence of general-purpose rule following mechanisms. It is further argued that the existence of general-purpose rule following mechanisms strongly indicates that explicit rule following is not anisolated phenomenon, but may well be a common and important aspect of cognition. The relationship of the foregoing conclusions to Smolensky's view of explicit rule following is also explored. The arguments presented here are pragmatic in nature, and are contrasted with thekind of arguments developed by Fodor and Pylyshyn in their recent, influential paper.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 319-333 
    ISSN: 1572-8641
    Keywords: Plans ; intentions ; coordination ; resolute-choice
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Michael Bratman's restricted two-tier approach to rationalizing the stability of intentions contrasts with an alternative view of planning, for which all of the following claims are made: (a) it shares with Bratman's restricted two-tier approach the virtue of reducing the magnitude of Smart's problem; (2) it, rather than the unrestricted two-tier approach, is what is argued for in McClennen (1990); (3) there does not appear to be anything in the central analysis that Bratman has provided of plans and intentions (both in his book,Intention, Plans, and Practical Reason, and in the article “Planning and the Stability of Intention”) that precludes his adopting this alternative approach; and (4) it is an approach that neither requires nor encourages any distinction between the standards appropriate to artificial and to human intelligence.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 155-181 
    ISSN: 1572-8641
    Keywords: Confirmation ; computational models ; weak/strong equivalence ; token/type physicalism ; relevant evidence ; relative complexity evidence ; processing time measures ; verbal reports
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The idea that human cognitive capacities are explainable by computational models is often conjoined with the idea that, while the states postulated by such models are in fact realized by brain states, there are no type-type correlations between the states postulated by computational models and brain states (a corollary of token physicalism). I argue that these ideas are not jointly tenable. I discuss the kinds of empirical evidence available to cognitive scientists for (dis)confirming computational models of cognition and argue that none of these kinds of evidence can be relevant to a choice among competing computational models unless there are in fact type-type correlations between the states postulated by computational models and brain states. Thus, I conclude, research into the computational procedures employed in human cognition must be conducted hand-in-hand with research into the brain processes which realize those procedures.
    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 3 (1993), S. 201-218 
    ISSN: 1572-8641
    Keywords: Observation ; error ; probability ; observation statement ; observation report ; observational judgment ; perception ; input
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The evidence of your own eyes has often been regarded as unproblematic. But we know that people make mistaken observations. This can be looked on as unimportant if there issome class of statements that can serve as evidence for others, or if every statement in our corpus of knowledge is allowed to be no more than probable. Neither of these alternatives is plausible when it comes to machine or robotic observation. Then we must take the possibility of error seriously, and we must be prepared to deal with error quantitatively. The problem of using internal evidence to arrive at error distributions is the main focus of the paper.
    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 3 (1993), S. 3-10 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Conclusion What the preceding arguments show — I take it — is that none of the four traditional marks of the mental considered provide a supportable basis for denying that Cal calculates in the same sense as you or I; i.e., I have sought to show that our initial syllogism does not commit the fallacy of four terms by equivocating on ‘calculates’, its middle. I will conclude by remarking why the argument — at least as I intend it, and on its least tendentious reading — doesn't equivocate on its major, ‘thinks’, either. Ordinarily ‘think’ is a generic term for any of several different mental activities or states. According to Descartes, a thing that thinks is “a thing which doubts, understands, affirms, denies, is willing, is unwilling, and also imagines and has sensory perceptions” (1642: 19). Similarly, my dictionary (Webster's New Collegiate), under ‘think’, mentions conceive, judge, consider, surmise, expect, determine, resolve, reason, intend, purpose, reflect, infer, opine, and decide. In this ordinary generic sense of the term, I take it, it's undeniable that calculating is thinking, and — if my arguments are sound — that my pocket calculator calculates and consequently thinks. Perhaps some special sense of ‘thinking’ can be made out for which calculating is not sufficient — perhaps some sense in which it's not sufficient to doubtor understandor will, etc., but in which it's necessary to (be able to) doubtand understandand will, etc. (as Descartes surely intended). Perhaps there is some sense in which ‘thinking’ requires such unity, or universality of mental capacity — or alternatively some other traditional (or perhaps some non-traditional) mark(s) of the mental. At any rate — whether or not such a sense of ‘thought’ can be made out — I have only claimed that Cal thinks in the ordinary generic sense of being a subject of at least one kind of contentful or mental state, not that he is a unified, or conscious, or autonomous self or soul or thinker in some special proprietary philosophical sense. I leave it to the opponent of AI to clarify what this sense is and to make out the case, if it can be made, against Cal's thinking inthis sense.
    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 3 (1993), S. 421-451 
    ISSN: 1572-8641
    Keywords: Natural Language Processing ; Knowledge Representation and Reasoning ; Semantic Networks ; Subsumption ; Quantifier Scoping ; Logic ; ANALOG
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more “natural” formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated.
    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 3 (1993), S. 453-474 
    ISSN: 1572-8641
    Keywords: Plurals ; concept languages ; generalized quantifiers ; part-whole relation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Collective entities and collective relations play an important role in natural language. In order to capture the full meaning of sentences like “The Beatles sing ‘Yesterday’”, a knowledge representation language should be able to express and reason about plural entities — like “the Beatles” — and their relationships — like “sing” — with any possible reading (cumulative, distributive or collective). In this paper a way of including collections and collective relations within a concept language, chosen as the formalism for representing the semantics of sentences, is presented. A twofold extension of theA−C concept language is investigated: (1) special relations introduce collective entities either out of their components or out of other collective entities, (2) plural quantifiers on collective relations specify their possible reading. The formal syntax and semantics of the concept language is given, together with a sound and complete algorithm to compute satisfiability and subsumption of concepts, and to compute recognition of individuals. An advantage of this formalism is the possibility of reasoning and stepwise refining in the presence of scoping ambiguities. Moreover, many phenomena covered by the Generalized Quantifiers Theory are easily captured within this framework. In the final part a way to include a theory of parts (mereology) is suggested, allowing for a lattice-theoretical approach to the treatment of plurals.
    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 3 (1993), S. 253-270 
    ISSN: 1572-8641
    Keywords: Connectionism ; symbolic/subsymbolic distinction ; TDIDT (top-down induction of decision trees) ; ID3 ; Smolensky ; Fodor ; Pylyshyn ; Quinlan
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The article criticises the attempt to establish connectionism as an alternative theory of human cognitive architecture through the introduction of thesymbolic/subsymbolic distinction (Smolensky, 1988). The reasons for the introduction of this distinction are discussed and found to be unconvincing. It is shown that thebrittleness problem has been solved for a large class ofsymbolic learning systems, e.g. the class oftop-down induction of decision-trees (TDIDT) learning systems. Also, the process of articulating expert knowledge in rules seems quite practical for many important domains, including common sense knowledge. The article discusses several experimental comparisons betweenTDIDT systems and artificial neural networks using the error backpropagation algorithm (ANNs usingBP). The properties of one of theTDIDT systemsID3 (Quinlan, 1986a) are examined in detail. It is argued that the differences in performance betweenANNs usingBP andTDIDT systems reflect slightly different inductive biases but are not systematic; these differences do not support the view that symbolic and subsymbolic systems are fundamentally incompatible. It is concluded, that thesymbolic/subsymbolic distinction is spurious. It cannot establish connectionism as an alternative cognitive architecture.
    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 3 (1993), S. 271-281 
    ISSN: 1572-8641
    Keywords: Connectionism ; subsymbol ; symbol ; distribution
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Marinov's critique I argue, is vitiated by its failure to recognize the distinctive role of superposition within the distributed connectionist paradigm. The use of so-called ‘subsymbolic’ distributed encodings alone is not, I agree, enough to justify treating distributed connectionism as a distinctive approach. It has always been clear that microfeatural decomposition is both possible and actual within the confines of recognizably classical approaches. When such approaches also involve statistically-driven learning algorithms — as in the case of ID3 — the fundamental differences become even harder to spot. To see them, it is necessary to consider not just the nature of an acquired input-output function but the nature of the representational scheme underlying it. Differences between such schemes make themselves best felt outside the domain of immediate problem solving. It is in the more extended contexts of performance DURING learning and cognitive change as a result of SUBSEQUENT training on new tasks (or simultaneous training on several tasks) that the effects of superpositional storage techniques come to the fore. I conclude that subsymbols, distribution and statistically driven learning alone are indeed not of the essence. But connectionism is not just about subsymbols and distribution. It is about the generation of whole subsymbol SYSTEMS in which multiple distributed representations are created and superposed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    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 ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 3 (1993), S. 377-380 
    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 ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 31-55 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract We develop a perfect-foresight overlapping generations model to investigate the effects of cohort size on schooling decisions and cohort-specific welfare measures. A set of sufficient conditions are presented which ensure the existence of an unique sequence of human capital rental rates and schooling choices for any sequence of cohort sizes. We calibrate the partial equilibrium model using data on schooling investments and aggregate wages over the period 1920 through 1980, and use the parameters to assess the magnitude of lifetime cohort wealth and schooling elasticities computed with respect to the entire cohort size sequence. We find that the equilibrium response of schooling to perturbations in the cohort size sequence is small, so that the adverse effects of increases in the size of own and neighboring cohorts on cohort wealth are not significantly migrated by adjustments in schooling investments within our modelling framework.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 105-122 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract This paper discusses how demographic changes, in particular changes in cohort size, female labor force participation and migration, influence the dynamics of wage rate profiles. A review of the literature suggests that there are demographic effects on wage rate profiles, although they are usually rather small. Future research should concentrate on second-order adjustments and long-term effects of demographic changes.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 153-168 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract The strong incentives of migrants to invest into human capital and the positive selective character of migration are the main explanations for the rapid decrease of the earnings gap between migrants and natives, and, in some cases, the cross-over of migrants' earings profiles with those of native workers, as found in a variety of empirical studies on migration to the USA, Canada and Australia. The present paper shows that in the case of temporary migration the optimal investment into country specific human capital should be lower than in the case of permanent migration. Investments may not be sufficient to allow migrants' earnings to catch up with those of native workers. Furthermore, it is shown that migration is positively selective only under certain labor market conditions. Empirical findings support the hypothesis that the migrant's length of stay in the host country has an effect on his investment into human capital and, consequently, on his earnings position. The results strongly suggest the need for carefully differentiating between temporary and permanent migration when investigating migrants' learnings assimilation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 88
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract Despite very different macroeconomic conditions, demographic structures and degrees of income inequality, favorable income changes among low-income families with children were widespread and strikingly similar across the eight countries in our study. In most European countries, the combination of modest inequality and extensive mobility among the poor enabled virtually all families to avoid relative income deprivation at least occasionally. However, even substantial mobility among the poor in the Unites States could not elevate the living standards of one in seven white and two in five black families to a level that was half that enjoyed by a typical American family.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 293-315 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract The paper uses historical census data and the latest household surveys to investigate the evolution of female employment in Latin America, the effect of demographic factors on female labor force participation, and the reasons for the observed male-female gap in labor earnings. The findings show that, though women's labor force participation in Latin America has indeed increased despite the adverse economic conditions of the last two decades, marriage and fertility still exercise a large negative effect on women's labor supply. On average in the 15 countries studied, marriage reduces the probability that a woman would work by half, and each child by a further 3–5% These effects result in age-participation profiles that decrease with age although the econometric analysis suggests that, as women get older, they have a ceteris paribus greater probability to seek employment. In all the countries studied women are rewarded less than men and gender differences in human capital characteristics cannot account for the observed earnings differential. The paper discusses the significance of the findings for potential policies to assist women, especially in the areas of education and fertility, and also suggests the direction of further reserarch.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 363-373 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract In this paper, I examine the implications of the Rawlsian maximin criterion for optimal population size and intergenerational allocation of resource when fertility is endogenous. I show that whenever children are better-off than their parents in laissez-faire, then the size of the population and parental bequests are also optimal according to the Rawlsian criterion. Otherwise, laissez-faire leads to overpopulation and suboptimal bequests. I then show that by using proper price-based corrective policies, society can achieve a Rawlsian optimal allocation. These policies involve either a combination of a subsidy to aggregate future consumption and a per-capita tax on children, or a subsidy to average future consumption.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 91
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 67-81 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract Endogenous population growth, i.e., making the rate of population growth dependent on society's opulence, causes parametric changes to have a larger impact and can cause multiplicity of steady states in a dynamic intertemporal optimization framework. This provides a simple explanation for the possibility of differing growth paths between countries (using a standard production function) or another explanation of the ‘poverty trap’. We give two examples (‘opulence sensitivity’ and ‘production sensitivity’) that both give rise to three steady states in which poor (rich) countries will evolve over time to the low (high) income steady state. In both examples there are middle income countries that will choose the low (high) income steady state if they are impatient (patient), where patience is measured through the rate of time preference o. Foreign aid in the form of a large transfer of capital from abroad enables poor and impatient middle income countries to move to the high income steady state.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 123-135 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract In this paper the public-choice approach to explaining the evolution of public pension schemes is surveyed. Emphasis is laid on the relation between expectations on future political decisions and future demographic and economic developments, on the one hand, and current political and economic decisions, on the other hand.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 93
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 181-188 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract In a recent contribution to this Journal Anjomani and Hariri present an interesting study of United States interstate migration which explicitly incorporates so-called “flow diversion” and “flow creation” effects. Their discussion and evaluation of the model, however, are marred by several factors. This paper contrasts the roles of migrant stock and lagged migration in migration analysis and then addresses (a) the problems encountered when the “family-friends” effect is proxied with measures of lagged migrant flows, (b) the problem of using a two-period lagged value of earlier migrant flow as an explanatory variable, and (c) this paper suggests an alternative method of correcting the Anjomani-Hariri model's problems with multicollinearity.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 261-286 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract The share of income going to the poorest 10% of Americans is much smaller than the share of income going to the poorest 10% of Canadians, Swedes, or Germans (before unification). However, comparisons across countries of the distribution of housing conditions, consumer durables, health, and visits to the doctor and dentist suggest that compared to the average person in their country, low-income Americans are no worse off than low-income residents of other countries. But these conclusions partly depend on how income is adjusted for family size. Americans whose incomes are low for a long time may suffer more material deprivation than Canadians whose incomes are low for a long time. Conclusions about economic well-being based on current income may not rank nations the same as comparisons based on deprivation in living conditions.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 293-293 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 337-352 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract This paper examines the earnings of foreign-born and native-born men in an attempt to evaluate whether the decline in the quality of Canadian immigrants is related to changes in the country-of-origin mix and the class (type) mix of immigrants. Based on a human capital interpretation, “higher quality” immigrants are defined as immigrants who have smaller on-entry earnings differentials and have earnings that grow at a faster rate (relative to native-born Canadians). The analysis consists of two parts. The first part is based on individual data on earnings and socio-economic characteristics collected in the 1971 and 1986 Canadian Censuses. Earnings equations are estimated for 16 country-of-origin immigrant groups. These regressions are then used to construct a cohort-specific measure of immigrant quality based on the earnings differential between foreign-born and native-born Canadians. In the second part of the analysis, additional regression equations are estimated, pertaining to the period 1968 to 1985, that relate these Census-based measures of immigrant quality to the country-of-origin and class mix of immigrants. In this analysis, unpublished data, supplied by theDepartment of Employment and Immigration, describing the distribution of immigrants across the three main immigrant classes is used. Overall, the analysis confirms that there has been a sharp secular decline in the quality of Canadian immigrants and suggests that it is related to changes in both the country-of-origin and class mix of immigrants.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 97
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 1-30 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract Women who have first births relatively late in life earn higher wages. This papers offers an explanation of this fact based on a simple life-cycle model of human capital investment and timing of first birth. The model yields conditions (that are plausibly satisfied) under which late childbearers will tend to invest more heavily in human capital than early childbearers. The empirical analysis finds results consistent with the higher wages of late childbearers arising primarily through greater measurable human capital investment.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 98
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 83-102 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract This paper presents three different poverty standards. A first approach takes the disposable income as an indicator of poverty. A second approach uses the Leyden approach. Finally an aggregate index of deprivation, based on the observation of consumption events, is constructed through a particular econometric procedure proposed by Desai and Shah (1988). These alternative measures are then compared on a sample composed of 6380 Belgian households. Such an analysis can be expected to provide some further insight into the problem of measuring poverty, which has been the subject of a recent controversial debate.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 137-152 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract This essay discusses predecessors of long ago, and the 1950s and 1960s, who studied the effects of population change. The history is not systematic, but rather is idiosyncratic. It focuses on the valuable elements from which we may learn, not on failings. It concentrates on work which has had little influence upon subsequent thought. I find need for more investigation of economic sub-systems and of the mechanisms that operate over very long periods — centuries and more.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Journal of population economics 6 (1993), S. 189-198 
    ISSN: 1432-1475
    Source: Springer Online Journal Archives 1860-2000
    Topics: Sociology , Economics
    Notes: Abstract A regression model which combines both the time cost and relative income hypotheses is estimated using Canadian data. The results indicate that the influence of relative income is greater on completed fertility and the effect of time cost is greater on timing of births. Some policy implications are derived.
    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...