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  (6,131)
  • Articles: DFG German National Licenses  (6,131)
  • Springer  (6,131)
  • 1995-1999  (3,415)
  • 1990-1994  (2,716)
  • Philosophy  (3,720)
  • Nature of Science, Research, Systems of Higher Education, Museum Science  (2,662)
Collection
  • Articles  (6,131)
Source
Years
Year
  • 1
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 269-282 
    ISSN: 1572-8730
    Keywords: duality theory in modal logic ; modal algebras ; generated frames ; subdirect irreducibility
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The duality between general frames and modal algebras allows to transfer a problem about the relational (Kripke) semantics into algebraic terms, and conversely. We here deal with the conjecture: the modal algebra A is subdirectly irreducible (s.i.) if and only if the dual frame A* is generated. We show that it is false in general, and that it becomes true under some mild assumptions, which include the finite case and the case of K4. We also prove that a Kripke frame F is generated if and only if the dual algebra F* is s.i. The technical result is that A is s.i. when the set of points which generate the dual frame A* is not of zero measure.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 2
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 283-289 
    ISSN: 1572-8730
    Keywords: Monotone functionals ; monotone majorizable functionals ; hereditarily majorizable functionals ; simply typed lambda-calculus ; extensionality ; Dialectica interpretation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Several properties of monotone functionals (MF) and monotone majorizable functionals (MMF) used in the earlier work by the author and van de Pol are proved. It turns out that the terms of the simply typed lambda-calculus define MF, but adding primitive recursion, and even monotonic primitive recursion changes the situation: already λZ.Z(1 — sg) is not MMF. It is proved that extensionality is not Dialectica-realizable by MMF, and a simple example of a MF which is not hereditarily majorizable is given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 3
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 305-314 
    ISSN: 1572-8730
    Keywords: intuitionism ; Brouwerian counter examples ; continuum ; creating subject
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The original Brouwerian counter examples were algorithmic in nature; after the introduction of choice sequences, Brouwer devised a version which did not depend on algorithms. This is the origin of the ‘creating subject’ technique. The method allowed stronger refutations of classical principles. Here it is used to show that ‘negative dense’ subsets of the continuum are indecomposable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 4
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 117-120 
    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 ...
  • 5
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 291-303 
    ISSN: 1572-8730
    Keywords: sequent calculus ; normal deduction ; cutfree deduction ; complete discharge convention
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper discusses the relationship between normal natural deductions and cutfree proofs in Gentzen (sequent) calculi in the absence of term labeling. For Gentzen calculi this is the usual version; for natural deduction this is the version under the complete discharge convention, where open assumptions are always discharged as soon as possible. The paper supplements work by Mints, Pinto, Dyckhoff, and Schwichtenberg on the labeled calculi.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 6
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 341-352 
    ISSN: 1572-8730
    Keywords: Basic Predicate Logic ; Intuitionistic Predicate Logic ; translation
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Basic Predicate Logic, BQC, is a proper subsystem of Intuitionistic Predicate Logic, IQC. For every formula ϕ in the language {∨, ∧, →, ⊤, ⊥, ∀, ∃}, we associate two sequences of formulas 〈ϕ0,ϕ1,...〉 and 〈ϕ0,ϕ1,...〉 in the same language. We prove that for every sequent ϕ ⇒ ψ, there are natural numbers m, n, such that IQC ⊢ ϕ ⇒ ψ, iff BQC ⊢ ϕn ⇒ ψm. Some applications of this translation are mentioned.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 7
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 353-370 
    ISSN: 1572-8730
    Keywords: truth ; satisfaction class ; cut elimination
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS↾ of [2] are conservative over PA.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 8
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 315-340 
    ISSN: 1572-8730
    Keywords: generalized quantifier ; finite model theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We prove some results about the limitations of the expressive power of quantifiers on finite structures. We define the concept of a bounded quantifier and prove that every relativizing quantifier which is bounded is already first-order definable (Theorem 3.8). We weaken the concept of congruence closed (see [6]) to weakly congruence closed by restricting to congruence relations where all classes have the same size. Adapting the concept of a thin quantifier (Caicedo [1]) to the framework of finite structures, we define the concept of a meager quantifier. We show that no proper extension of first-order logic by means of meager quantifiers is weakly congruence closed (Theorem 4.9). We prove the failure of the full congruence closure property for logics which extend first-order logic by means of meager quantifiers, arbitrary monadic quantifiers, and the Härtig quantifier (Theorem 6.1).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 9
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 371-398 
    ISSN: 1572-8730
    Keywords: Kripke frames ; p-morphisms ; axiomatizations ; covers
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We define the concepts of minimal p-morphic image and basic p-morphism for transitive Kripke frames. These concepts are used to determine effectively the least number of variables necessary to axiomatize a tabular extension of K4, and to describe the covers and co-covers of such a logic in the lattice of the extensions of K4.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 10
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 429-448 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 11
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 449-451 
    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 ...
  • 12
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 27-48 
    ISSN: 1572-8730
    Keywords: Proof-Theory ; Probability Logic ; metric between sentences and systems ; characteristic formula of a modal sequent
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is the first of a series of three articles that present the syntactic proof of the PA-completeness of the modal system G, by introducing suitable proof-theoretic objects, which also have an independent interest. We start from the syntactic PA-completeness of modal system GL-LIN, previously obtained in [7], [8], and so we assume to be working on modal sequents S which are GL-LIN-theorems. If S is not a G-theorem we define here a notion of syntactic metric d(S, G): we calculate a canonical characteristic fomula H of S (char(S)) so that ⊢G ∼ H → (∼S) and ⊢GL-LIN ∼ H, and the complexity σ of ∼ H gives the distance d(S, G) of S from G. Then, in order to produce the whole completeness proof as an induction on this d(S, G), we introduce the tree-interpretation of a modal sequent Q into PA, that sends the letters of Q into PA-formulas describing the properties of a GL-LIN-proof P of Q: It is also a d(*, G)-metric linked interpretation, since it will be applied to a proof-tree T of ∼ H with H = char(S) and σ(∼ H) = d(S, G).
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 13
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 49-84 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The problems that surround iterated contractions and expansions of beliefs are approached by studying hypertheories, a generalisation of Adam Grove's notion of systems of spheres. By using a language with dynamic and doxastic operators different ideas about the basic nature of belief change are axiomatised. It is shown that by imposing quite natural constraints on how hypertheories may change, the basic logics for belief change can be strengthened considerably to bring one closer to a theory of iterated belief change. It is then argued that the logic of expansion, in particular, cannot without loss of generality be strengthened any further to allow for a full logic of iterated belief change. To remedy this situation a notion of directed expansion is introduced that allows for a full logic of iterated belief change. The new operation is given an axiomatisation that is complete for linear hypertheories.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 14
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 151-180 
    ISSN: 1572-8730
    Keywords: intuitionistic logic ; new logical constants ; Novikov completeness
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Extending the language of the intuitionistic propositional logic Int with additional logical constants, we construct a wide family of extensions of Int with the following properties: (a) every member of this family is a maximal conservative extension of Int; (b) additional constants are independent in each of them.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 15
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 181-212 
    ISSN: 1572-8730
    Keywords: substructural logic ; relevant logic ; cut-elimination
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We introduce several restricted versions of the structural rules in the implicational fragment of Gentzen's sequent calculus LJ. For example, we permit the applications of a structural rule only if its principal formula is an implication. We investigate cut-eliminability and theorem-equivalence among various combinations of them. The results include new cut-elimination theorems for the implicational fragments of the following logics: relevant logic E, strict implication S4, and their neighbors (e.g., E-W and S4-W); BCI-logic, BCK-logic, relevant logic R, and the intuitionistic logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 16
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 245-268 
    ISSN: 1572-8730
    Keywords: Proof-Theory ; Provability Logic ; countermodel of a sequent ; classification of arithmetical interpretations of modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is the second part of the syntactic demonstration of the Arithmetical Completeness of the modal system G, the first part of which is presented in [9]. Given a sequent S so that ⊢GL-LIN S, ⊬G S, and given its characteristic formula H = char(S), which expresses the non G-provability of S, we construct a canonical proof-tree T of ~ H in GL-LIN, the height of which is the distance d(S, G) of S from G. T is the syntactic countermodel of S with respect to Gand is a tool of general interest in Provability Logic, that allows some classification in the set of the arithmetical interpretations.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 17
    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 ...
  • 18
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 343-352 
    ISSN: 1572-8730
    Keywords: Basic Logic ; Bisimulation ; Kripke Model ; Persistence
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We characterize the first-order formulas with one free variable that are preserved under bisimulation and persistence or strong persistence over the class of Kripke models with transitive frames and unary persistent predicates.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 19
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 311-330 
    ISSN: 1572-8730
    Keywords: modal logic ; actuality indexed sentences
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Some logical properties of modal languages in which actuality is expressible are investigated. It is argued that, if a sentence like 'Actually, Quine is a distinguished philosopher' is understood as a special case of world-indexed sentences (the index being the actual world), then actuality can be expressed only under strong modal assumptions. Some rival rigid and indexical approaches to actuality are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 20
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 331-342 
    ISSN: 1572-8730
    Keywords: belief change ; belief revision ; success postulate ; non-prioritized revision ; choice function
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We introduce a constructive model of selective belief revision in which it is possible to accept only a part of the input information. A selective revision operator ο is defined by the equality K ο α = K * f(α), where * is an AGM revision operator and f a function, typically with the property ⊢ α → f(α). Axiomatic characterizations are provided for three variants of selective revision.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 21
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 301-310 
    ISSN: 1572-8730
    Keywords: Proof-Theory ; Provability Logic ; metric between sentences and systems ; PA-representation of the syntactic countrmodel of a modal sequent.
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This paper is the final part of the syntactic demonstration of the Arithmetical Completeness of the modal system G; in the preceding parts [9] and [10] the tools for the proof were defined, in particular the notion of syntactic countermodel. Our strategy is: PA-completeness of G as a search for interpretations which force the distance between G and a GL-LIN-theorem to zero. If the GL-LIN-theorem S is not a G-theorem, we construct a formula H expressing the non G-provability of S, so that ⊢GL-LIN ∼ H and so that a canonical proof T of ∼ H in GL-LIN is a syntactic countermodel for S with respect to G, which has the height θ(T) equal to the distance d(S, G) of S from G. Then we define the interpretation ξ of S which represents the proof-tree T in PA. By induction on θ(T), we prove that ⊢PA Sξ and d(S, G) 〉 0 imply the inconsistency of PA.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 22
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 417-448 
    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 ...
  • 23
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 353-385 
    ISSN: 1572-8730
    Keywords: strong completeness ; strong w-completeness ; completeness ; hypercanonicity ; extensive canonicity ; canonicity ; extensive w-canonicity ; w-canonicity
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract By using algebraic-categorical tools, we establish four criteria in order to disprove canonicity, strong completeness, w-canonicity and strong w-completeness, respectively, of an intermediate propositional logic. We then apply the second criterion in order to get the following result: all the logics defined by extra-intuitionistic one-variable schemata, except four of them, are not strongly complete. We also apply the fourth criterion in order to prove that the Gabbay-de Jongh logic D1 is not strongly w-complete.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 24
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 387-416 
    ISSN: 1572-8730
    Keywords: super-intuitionistic predicate logics ; modal predicate logics ; Kripke semantics ; algebraic semantics ; disjunction property ; existence property
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In so-called Kripke-type models, each sentence is assigned either to true or to false at each possible world. In this setting, every possible world has the two-valued Boolean algebra as the set of truth values. Instead, we take a collection of algebras each of which is attached to a world as the set of truth values at the world, and obtain an extended semantics based on the traditional Kripke-type semantics, which we call here the algebraic Kripke semantics. We introduce algebraic Kripke sheaf semantics for super-intuitionistic and modal predicate logics, and discuss some basic properties. We can state the Gödel-McKinsey-Tarski translation theorem within this semantics. Further, we show new results on super-intuitionistic predicate logics. We prove that there exists a continuum of super-intuitionistic predicate logics each of which has both of the disjunction and existence properties and moreover the same propositional fragment as the intuitionistic logic.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 25
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 77-105 
    ISSN: 1572-8730
    Keywords: Linear logic ; causality ; actions
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We present in this article a new logical system inspired from linear logic. This system is designed in order to express causality and dynamism. The cut elimination theorem holds for this logic. Examples of applications are given.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 26
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 141-162 
    ISSN: 1572-8730
    Keywords: sets ; types ; comprehension principles ; combinatory logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We show that, if non-uniform impredicative stratified comprehension is assumed, Feferman's theories of explicit mathematics are consistent with a strong power type axiom. This result answers a problem, raised by Jäger. The proof relies upon an interpretation into Quine's set theory NF with urelements.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 27
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 121-140 
    ISSN: 1572-8730
    Keywords: Tense logics ; trees ; axiomatizations ; US-logics ; e-frames
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we show the adequacy of tense logic with unary operators for dealing with finite trees. We prove that models on finite trees can be characterized by tense formulas, and describe an effective method to find an axiomatization of the theory of a given finite tree in tense logic. The strength of the characterization is shown by proving that adding the binary operators "Until" and "Since" to the language does not result in a better description than that given by unary tense logic; although the greater expressive power of "Until" and "Since" can be exploited by using the semantics of e-frames instead of traditional Kripke semantics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 28
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 163-176 
    ISSN: 1572-8730
    Keywords: propositional modal logics ; finite model property ; completeness property
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We show how to use diagrams in order to obtain straightforward completeness theorems for extensions of K4.3 and a very simple and constructive proof of Bull's theorem: every normal extension of S4.3 has the finite model property.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 29
    ISSN: 1572-8730
    Keywords: provably total functions ; subrecursive hierarchies ; ordinal analysis ; cut-elimination
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this article we show how to extract with the use of the Buchholz-Cichon-Weiermann approach to subrecursive hierarchies from Rathjen's 1991 ordinal analysis of KPM a characterization of the provably total number-theoretic functions of KPM and some of its (most prominent) subsystems in a uniform and direct way.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 30
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 1-5 
    ISSN: 1572-8730
    Keywords: Goodman's theorem ; intuitionistic arithmetic ; axiom of choice ; restricted induction
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract Goodman's theorem states that intuitionistic arithmetic in all finite types plus full choice, HAω + AC, is conservative over first-order intuitionistic arithmetic HA. We show that this result does not extend to various subsystems of HAω, HA with restricted induction.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 31
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 63 (1999), S. 7-25 
    ISSN: 1572-8730
    Keywords: provability logic ; logic of proofs ; proof theory
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The logic of proofs was introduced by Artemov in order to analize the formalization of the concept of proof rather than the concept of provability. In this context, some operations on proofs play a very important role. In this paper, we investigate some very natural operations, paying attention not only to positive information, but also to negative information (i.e. information saying that something cannot be a proof). We give a formalization for a fragment of such a logic of proofs, and we prove that our fragment is complete and decidable.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 32
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 107-116 
    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 ...
  • 33
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 1-19 
    ISSN: 1572-8730
    Keywords: algebraic logic ; general theory of logics ; algebraizable logics ; Craig interpolation property ; amalgamation property ; superamalgamation property ; modal logics ; multimodal logics ; Boolean algebras with operators ; discriminator varieties
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract This is the second part of the paper [Part I] which appeared in the previous issue of this journal.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 34
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 21-48 
    ISSN: 1572-8730
    Keywords: monadic Heyting algebras ; augmented Kripke frames ; Ono frames ; Kripke bundles ; topological augmented Kripke frames
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper we continue the investigation of monadic Heyting algebras which we started in [2]. Here we present the representation theorem for monadic Heyting algebras and develop the duality theory for them. As a result we obtain an adequate topological semantics for intuitionistic modal logics over MIPC along with a Kripke-type semantics for them. It is also shown the importance and the effectiveness of the duality theory for further investigation of monadic Heyting algebras and logics over MIPC.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 35
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 49-75 
    ISSN: 1572-8730
    Keywords: predicate logic ; quantifiers ; display logic ; modal logic
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract The paper provides a uniform Gentzen-style proof-theoretic framework for various subsystems of classical predicate logic. In particular, predicate logics obtained by adopting van Behthem's modal perspective on first-order logic are considered. The Gentzen systems for these logics augment Belnap's display logic by introduction rules for the existential and the universal quantifier. These rules for ∀x and ∃x are analogous to the display introduction rules for the modal operators □ and ♦ and do not themselves allow the Barcan formula or its converse to be derived. En route from the minimal ‘modal’ predicate logic to full first-order logic, axiomatic extensions are captured by purely structural sequent rules.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 36
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 201-213 
    ISSN: 1572-8730
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 37
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 177-200 
    ISSN: 1572-8730
    Keywords: multi-modal logic ; epistemic logic ; dynamic logic ; information logics ; algebras of relations ; finite model property ; filtration
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract In this paper a unified framework for dealing with a broad family of propositional multimodal logics is developed. The key tools for presentation of the logics are the notions of closure relation operation and monotonous relation operation. The two classes of logics: FiRe-logics (finitely reducible logics) and LaFiRe-logics (FiRe-logics with local agreement of accessibility relations) are introduced within the proposed framework. Further classes of logics can be handled indirectly by means of suitable translations. It is shown that the logics from these classes have the finite model property with respect to the class of ♦-formulae, i.e. each ♦-formula has a ℒ-model iff it has a finite ℒ-model. Roughly speaking, a ♦-formula is logically equivalent to a formula in negative normal form without occurrences of modal operators with necessity force. In the proof we introduce a substantial modification of Claudio Cerrato's filtration technique that has been originally designed for graded modal logics. The main core of the proof consists in building adequate restrictions of models while preserving the semantics of the operators used to build terms indexing the modal operators.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 38
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 243-268 
    ISSN: 1572-8730
    Keywords: identification ; learning ; probability ; informants
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We investigate many paradigms of identifications for classes of languages (namely: consistent learning, EX learning, learning with finitely many errors, behaviorally correct learning, and behaviorally correct learning with finitely many errors) in a measure-theoretic context, and we relate such paradigms to their analogues in learning on informants. Roughly speaking, the results say that most paradigms in measure-theoretic learning wrt some classes of distributions (called δ canonical) are equivalent to the corresponding paradigms for identification on informants.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 39
    Electronic Resource
    Electronic Resource
    Springer
    Studia logica 62 (1999), S. 215-242 
    ISSN: 1572-8730
    Keywords: Explicit mathematics ; Types ; Extended lambda-calculus
    Source: Springer Online Journal Archives 1860-2000
    Topics: Mathematics , Philosophy
    Notes: Abstract We introduce a certain extension of λβη-calculus, and show that it has the Church-Rosser property. The associated open-term extensional combinatory algebra is used as a basis to construct models for theories of Explict Mathematics (formulated in the language of "types and names") with positive stratified comprehension. In such models, types are interpreted as collections of solutions (of terms) w.r. to a set of numerals. Exploiting extensionality, we prove some consistency results for special ontological axioms which are refutable under elementary comprehension.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 40
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 87-90 
    ISSN: 1572-8439
    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 ...
  • 41
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 5-14 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This essay addresses ethical aspects of the design and use of virtual reality (VR) systems, focusing on the behavioral options made available in such systems and the manner in which reality is represented or simulated in them. An assessment is made of the morality of ‘immoral’ behavior in virtual reality, and of the virtual modeling of such behavior. Thereafter, the ethical aspects of misrepresentation and biased representation in VR applications are discussed.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 42
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 21-31 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Anonymity is a form of nonidentifiability which I define as noncoordinatability of traits in a given respect. This definition broadens the concept, freeing it from its primary association with naming. I analyze different ways anonymity can be realized. I also discuss some ethical issues, such as privacy, accountability and other values which anonymity may serve or undermine. My theory can also conceptualize anonymity in information systems where, for example, privacy and accountability are at issue.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 43
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 53-60 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This article shows how common morality can be helpful in clarifying the discussion of ethical issues that arise in computing. Since common morality does not always provide unique answers to moral questions, not all such issues can be resolved, however common morality does provide a clear answer to the question whether one can illegally copy software for a friend.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 44
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 61-65 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Computer and information ethics, as well as other fields of applied ethics, need ethical theories which coherently unify deontological and consequentialist aspects of ethical analysis. The proposed theory of just consequentialism emphasizes consequences of policies within the constraints of justice. This makes just consequentialism a practical and theoretically sound approach to ethical problems of computer and information ethics.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 45
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 15-20 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract I shall translate Kierkegaard's account of the dangers and opportunities of what he called the Press into a critique of the Internet so as to raise the question: what contribution -- for good or ill -- can the World Wide Web, with its ability to deliver vast amounts of information to users all over the world, make to educators trying to pass on knowledge and to develop skills and wisdom in their students? I will then use Kierkegaard's three-stage answer to the problem of lack of involvement posed by the Press -- his claim that to have a meaningful life the learner must pass through the aesthetic, the ethical and the religious spheres of existence -- to suggest that only the first two stages -- the aesthetic and the ethical -- can be implemented with Information Technology, while the final stage, which alone makes meaningful learning possible, is undermined rather than supported by the tendencies of the desituated and anonymous Net.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 46
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 67-71 
    ISSN: 1572-8439
    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 ...
  • 47
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 71-73 
    ISSN: 1572-8439
    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 ...
  • 48
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 83-85 
    ISSN: 1572-8439
    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 ...
  • 49
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 75-81 
    ISSN: 1572-8439
    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 ...
  • 50
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 1-3 
    ISSN: 1572-8439
    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 ...
  • 51
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 33-52 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The essential difficulty about Computer Ethics' (CE) philosophical status is a methodological problem: standard ethical theories cannot easily be adapted to deal with CE-problems, which appear to strain their conceptual resources, and CE requires a conceptual foundation as an ethical theory. Information Ethics (IE), the philosophical foundational counterpart of CE, can be seen as a particular case of “environmental” ethics or ethics of the infosphere. What is good for an information entity and the infosphere in general? This is the ethical question asked by IE. The answer is provided by a minimalist theory of deseerts: IE argues that there is something more elementary and fundamental than life and pain, namely being, understood as information, and entropy, and that any information entity is to be recognised as the centre of a minimal moral claim, which deserves recognition and should help to regulate the implementation of any information process involving it. IE can provide a valuable perspective from which to approach, with insight and adequate discernment, not only moral problems in CE, but also the whole range of conceptual and moral phenomena that form the ethical discourse.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 52
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 117-125 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Poster (1989) and Schiller (1996) point out that electronic communications have the power to change social and political relationships. The ‘new’ discourse of the Internet has political uses in spreading neo-Nazi ideology and action. I look at two kinds of online neo-Nazi discourse: hate speech itself, including text, music, online radio broadcasts, and images that exhort users to act against target groups; and persuasive rhetoric that does not directly enunciate but ultimately promotes or justifies violence. The online location of these discourses poses urgent questions. Does information technology make the re-emergence of prejudicial messages and attitudes swifter and more likely? Does the Internet's wide range of distribution make for more followers and finally more persuasion?
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 53
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 127-135 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Although commonly confused, the values inherent in copyright policy are different from those inherent in scholarly standards for proper accreditation of ideas. Piracy is the infringement of a copyright, and plagiarism is the failure to give credit. The increasing use of Web-based electron publication has created new contexts for both piracy and plagiarism. In so far as piracy and plagiarism are confused, we cannot appreciate how the Web has changed the importance of these very different types of wrongs. The present paper argues that Web-based publication lessens the importance of piracy, while it heightens the need for protections against plagiarism. Copyright policy protects the opportunity for publishers to make a profit from their investments. As the cost of publication decreases in the electronic media, we need fewer copyright protections. Plagiarism is the failure to abide by scholarly standards for citation of sources. These standards assure us that information can be verified and traced to its source. Since Web sources are often volatile and changing, it becomes increasingly difficult and important to have clear standards for verifying the source of all information.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 54
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 155-160 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The infrastructure is becoming a network of computerized machines regulated by societies of self-directing software agents. Complexity encourages the emergence of novel values in software agent societies. Interdependent human and software political orders cohabitate and coevolve in a symbiosis of freedoms.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 55
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 95-104 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Internet stings to catch child molesters raise problems for popular tests of entrapment that focus on causation, initiative, counterfactuals, and subjective predisposition. An objective test of entrapment works better in the context of the Internet. The best form of objective test is determined by consequences of drawing a line at various places. This approach allows some Internet stings but counts other stings as entrapment when they go too far.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 56
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 147-154 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The positive qualities of the Internet--anonymity, openness, and reproducibility have added a new ethical dimension to the privacy debate. This paper describes a new and significant way in which privacy is violated. A type of personal information, called ‘virtual information’ is described and the effectiveness of techniques to protect this type of information is examined. This examination includes a discussion of technical approaches and professional standards as ways to address this violation of ‘virtual information.’
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 57
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 93-94 
    ISSN: 1572-8439
    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 ...
  • 58
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 137-145 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Privacy concerns involving data mining are examined in terms of four questions: (1) What exactly is data mining? (2) How does data mining raise concerns for personal privacy? (3) How do privacy concerns raised by data mining differ from those concerns introduced by ‘traditional’ information-retrieval techniques in computer databases? (4) How do privacy concerns raised by mining personal data from the Internet differ from those concerns introduced by mining such data from ‘data warehouses?’ It is argued that the practice of using data-mining techniques, whether on the Internet or in data warehouses, to gain information about persons raises privacy concerns that (a) go beyond concerns introduced in traditional information-retrieval techniques in computer databases and (b) are not covered by present data-protection guidelines and privacy laws.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 59
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 161-165 
    ISSN: 1572-8439
    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 ...
  • 60
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 167-169 
    ISSN: 1572-8439
    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 ...
  • 61
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 105-115 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract After describing the Child Pornography Prevention Act (CPPA) of 1996, I argue that the Act ought to be significantly amended. The central objections to CPPA are (1) that it is so broad in its main proscriptions as to violate the First Amendment rights of adults; (2) that it altogether fails to provide minors and their legal guardians with the privacy rights needed to combat the harms associated with certain classes of prurient material on the Internet; and, (3) that the actual rate of technological advance in home computing, and Congress' failure to appreciate how prurient material may be accessed, combined with CPPA to wrongfully expose an increasing number of individuals to possible prosecution and personal ruination. Several other objections are registered along the way, including one aimed at the draconian punishments the law metes out to violators. I close by offering the outlines of an amended version of the law that promises not to violate the rights of adults, that affords children and adults equal and effective protection against the very harmful practices the current law cannot eradicate, and that prescribes punishments that are consistent with the tolerance necessary to support a more democratic vision of the Internet.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 62
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 193-201 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This article presents an overview of significant issues facing contemporary information professionals. As the world of information continues to grow at unprecedented speed and in unprecedented volume, questions must be faced by information professionals. Will we participate in the worldwide mythology of equal access for all, or will we truly work towards this debatable goal? Will we accept the narrowing of choice for our corresponding increasing diverse clientele? Such questions must be considered in a holistic context and an understanding of the many levels of information inequities is requisite. Beginning with an historical perspective, Buchanan presents Mustapha Masmoudi's seminal review of forms of information inequities. She then describes qualitative forms of inequities, such as information imperialism and cultural bias embedded in such practices as cataloging and classification. Following, a review of quantitative inequities is presented. Such issues as the growing commoditization of information and information services demand attention from the ethical perspective. And, finally, the Internet and implications surrounding the world-wide dissemination of information is discussed. The article concludes with an extraction form Richard Sclove's Democracy and Technology, and asks that we as information professionals actively examine the information industry around us and demand a more democratic process within which to work.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 63
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 185-191 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract After reviewing some of the difficulties caused by spam and summarizing the arguments of its defenders, this paper will focus on its present legal status. It will then dwell on spam from a moral point of view and address some of the ethical implications associated with transmitting this unsolicited commercial e-mail. It will attempt to sort out the conflicting rights involved and develop a viable case that even if we prescind from its social costs, spam is ethically questionable under certain conditions. Moreover, given the current volume of spam and its negative impact on the Internet environment, the transmission of spam can also be characterized as an asocial act primarily because of the significant externalities which it generates. As a result, spam cannot be justified from the perspective of duty-based moral philosophies that emphasize the need to conform to the legitimate norms of the community.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 64
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 237-238 
    ISSN: 1572-8439
    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 ...
  • 65
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 173-184 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract To what extent should humans transfer, or abdicate, “responsibility” to computers? In this paper, I distinguish six different senses of ‘responsible’ and then consider in which of these senses computers can, and in which they cannot, be said to be “responsible” for “deciding” various outcomes. I sort out and explore two different kinds of complaint against putting computers in greater “control” of our lives: (i) as finite and fallible human beings, there is a limit to how far we can acheive increased reliability through complex devices of our own design; (ii) even when computers are more reliable than humans, certain tasks (e.g., selecting an appropriate gift for a friend, solving the daily crossword puzzle) are inappropriately performed by anyone (or anything) other than oneself. In critically evaluating these claims, I arrive at three main conclusions: (1) While we ought to correct for many of our shortcomings by availing ourselves of the computer's larger memory, faster processing speed and greater stamina, we are limited by our own finiteness and fallibility (rather than by whatever limitations may be inherent in silicon and metal) in the ability to transcend our own unreliability. Moreover, if we rely on programmed computers to such an extent that we lose touch with the human experience and insight that formed the basis for their programming design, our fallibility is magnified rather than mitigated. (2) Autonomous moral agents can reasonably defer to greater expertise, whether human or cybernetic. But they cannot reasonably relinquish “background-oversight” responsibility. They must be prepared, at least periodically, to review whether the “expertise” to which they defer is indeed functioning as he/she/it was authorized to do, and to take steps to revoke that authority, if necessary. (3) Though outcomes matter, it can also matter how they are brought about, and by whom. Thus, reflecting on how much of our lives should be directed and implemented by computer may be another way of testing any thoroughly end-state or consequentialist conception of the good and decent life. To live with meaning and purpose, we need to actively engage our own faculties and empathetically connect up with, and resonate to, others. Thus there is some limit to how much of life can be appropriately lived by anyone (or anything) other than ourselves.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 66
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 213-225 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract For commercial purveyors of digital speech, information and entertainment, the biggest threat posed by the Internet isn't the threat of piracy, but the threat posed by free speech -- speech that doesn't cost any money. Free speech has the potential to squeeze out expensive speech. A glut of high quality free stuff has the potential to run companies in the business of selling speech out of business. We haven't had to worry about this before, because speaking in a meaningful way to a large audience was expensive, and people couldn't afford to do serious mass speaking for free for very long. The Internet has made it much cheaper. It doesn't take much to give out information to the whole world, every day, for free, for years. And people do. If we are trying to increase the abundant dissemination of information, free speech is good. If we are trying to increase commerce in information, free speech is arguably bad, in that it competes with pay speech. Information merchants would obviously prefer that the only speech in the marketplace be pay speech. In the past two years, commercial content owners have scored significant progress in herding free speakers off the Net. There's an important synergy between persuading the government to give your industry some friendly new laws or regulations, and using new and old legal tools to make life more difficult or expensive for inconvenient competitors who aren't necessarily doing anything illegal. Recently, businesses have been able to combine the two strategies to make the Internet a much safer place to sell speech, by making the Internet a less friendly, more dangerous place to give away speech for free.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 67
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 227-236 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This is a review of Hans Moravec's book, Robot: Mere Machine to Transcendent Mind. This review raises three categories of questions relating to Moravec's vision of the future. First, there are the ethical and social implications issues implicit in robotics research. Second, there are the soul issues, which especially relate to the prospect of the demoralization of human beings. Third, there is the issue as to whether a robot could ever be a sentient being.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 68
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 203-212 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The information revolution has fostered the rise of new ways of waging war, generally by means of cyberspace-based attacks on the infrastructures upon which modern societies increasingly depend. This new way of war is primarily disruptive, rather than destructive; and its low “barriers to entry” make it possible for individuals and groups (not just nation-states) easily to acquire very serious war-making capabilities. The “less lethal” appearance of information warfare and the possibility of “cloaking” the attacker's true identity put serious pressure on traditional just war doctrines that call for adherence to the principles of “right purpose”, “duly constituted authority”, and “last resort”. Age-old strictures about noncombatant immunity are also attenuated by the varied means of attack enabled by advanced information technologies. Therefore, the nations and societies leading the information revolution have a primary ethical obligation to constrain the circumstances under which information warfare may be used -- principally by means of a pledge of “no first use” of such means against noncombatants.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 69
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 307-309 
    ISSN: 1572-8439
    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 ...
  • 70
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 171-172 
    ISSN: 1572-8439
    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 ...
  • 71
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 265-273 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The present study examines certain challenges that KDD (Knowledge Discovery in Databases) in general and data mining in particular pose for normative privacy and public policy. In an earlier work (see Tavani, 1999), I argued that certain applications of data-mining technology involving the manipulation of personal data raise special privacy concerns. Whereas the main purpose of the earlier essay was to show what those specific privacy concerns are and to describe how exactly those concerns have been introduced by the use of certain KDD and data-mining techniques, the present study questions whether the use of those techniques necessarily violates the privacy of individuals. This question is considered vis-à-vis a recent theory of privacy advanced by James Moor (1997). The implications of that privacy theory for a data-mining policy are also considered.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 72
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 305-306 
    ISSN: 1572-8439
    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
    Ethics and information technology 1 (1999), S. 275-281 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract KDD (Knowledge Discovery in Databases) confronts us withphenomena that can intuitively be grasped as highly problematic, but arenevertheless difficult to understand and articulate. Many of theseproblems have to do with what I call the ``deindividualization of theperson'': a tendency of judging and treating persons on the basis ofgroup characteristics instead of on their own individual characteristicsand merits. This tendency will be one of the consequences of theproduction and use of group profiles with the help of KDD. Currentprivacy law and regulations, as well as current ethical theoryconcerning privacy, start from too narrow a definition of ``personaldata'' to capture these problems. In this paper, I introduce the notionof ``categorical privacy'' as a starting point for a possible remedy forthe failures of the current conceptions of privacy. I discuss some waysin which the problems relating to group profiles definitely cannot besolved and I suggest a possible way out of these problems. Finally, Isuggest that it may take us a step forward if we would begin to questionthe predominance of privacy norms in the social debate on informationtechnologies and if we would be prepared to introduce normativeprinciples other than privacy rules for the assessment of newinformation technologies. If we do not succeed in articulating theproblems relating to KDD clearly, one day we may find ourselves in asituation where KDD appears to have undermined the methodic andnormative individualism which pervades the mainstream of morality andmoral theory.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 74
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 249-255 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract This paper begins with a discussion of the value of privacy,especially for medical records in an age of advancing technology.I then examine three alternative approaches to protection ofmedical records: reliance on governmental guidelines, the useof corporate self-regulation, and my own third hybrid view onhow to maintain a presumption in favor of privacy with respectto medical information, safeguarding privacy as vigorously andcomprehensively as possible, without sacrificing the benefitsof new information technology in medicine. None of the threemodels I examine are unproblematic, yet it is crucial to weighthe strengths and weaknesses of these alternative approaches.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 75
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract The paper has three parts. First, a survey and analysis is given ofthe structure of individual rights in the recent EU Directive ondata protection. It is argued that at the core of this structure isan unexplicated notion of what the data subject can `reasonablyexpect' concerning the further processing of information about himor herself. In the second part of the paper it is argued thattheories of privacy popular among philosophers are not able to shed much light on the issues treated in the Directive, whichare, arguably, among the central problems pertaining to theprotection of individual rights in the information society. Inthe third part of the paper, some suggestions are made for a richerphilosophical theory of data protection and privacy. It is arguedthat this account is better suited to the task of characterizingthe central issues raised by the Directive.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 76
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 247-247 
    ISSN: 1572-8439
    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 ...
  • 77
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 257-263 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Computing plays an important role in genetics (and vice versa).Theoretically, computing provides a conceptual model for thefunction and malfunction of our genetic machinery. Practically,contemporary computers and robots equipped with advancedalgorithms make the revelation of the complete human genomeimminent – computers are about to reveal our genetic soulsfor the first time. Ethically, computers help protect privacyby restricting access in sophisticated ways to genetic information.But the inexorable fact that computers will increasingly collect,analyze, and disseminate abundant amounts of genetic informationmade available through the genetic revolution, not to mentionthat inexpensive computing devices will make genetic informationgathering easier, underscores the need for strong and immediateprivacy legislation.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 78
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 303-304 
    ISSN: 1572-8439
    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 ...
  • 79
    Electronic Resource
    Electronic Resource
    Springer
    Ethics and information technology 1 (1999), S. 295-302 
    ISSN: 1572-8439
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract Biometrics is often described as `the next big thingin information technology'. Rather than IT renderingthe body irrelevant to identity – a mistaken idea tobegin with – the coupling of biometrics with ITunequivocally puts the body center stage. The questions to be raised about biometrics is howbodies will become related to identity, and what thenormative and political ramifications of this couplingwill be. Unlike the body rendered knowable in thebiomedical sciences, biometrics generates a readable body: it transforms the body's surfaces andcharacteristics into digital codes and ciphers to be`read' by a machine. ``Your iris is read, in the sameway that your voice can be printed, and yourfingerprint can be read'', by computers that, in turn,have become ``touch-sensitive'', and endowed with seeingand hearing capacities. Thus transformed into readable``text'', the meaning and significance of the biometricbody will be contingent upon ``context'', and therelations established with other ``texts''. Thesemetaphors open up ways to investigate the differentmeanings that will become attached to the biometricbody and the ways in which it will be tied toidentity. This paper reports on an analysis of plans andpractices surrounding the `Eurodac' project, aEuropean Union initiative to use biometrics (specif.fingerprinting) in controlling illegal immigration andborder crossings by asylum seekers.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 80
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 101-130 
    ISSN: 1572-8587
    Keywords: concept of truth ; criterion of truth ; protocol sentence ; linguistic framework ; formal and material mode of speech ; ontology ; structure ; logical syntax ; semantics ; internal and external questions ; existence ; fact ; reality ; world ; Carnap ; Hempel ; Neurath ; Schlick
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract The present article purports to show that the protocol sentence debate, pursued by some leading members of the Vienna Circle in the mid-1930s, was essentially a controversy over the explanation and the real significance of the concept of truth. It is further shown that the fundamental issue underlying the discussions about the concept of truth was the relationship between form and content, as well as between logic/language and the world. R. Carnap was the philosopher who most explicitly and systematically attempted to come to grips with this problem. It is shown that the form-content distinction pervades the three most important phases of Carnap's philosophical development: the structuralist (in Der logische Aufbau der Welt), the syntactical and the semantical. His final semantical stance is essentially determined by the concept of linguistic frameworks. The article purports to demonstrate that this concept cannot be dispensed with in philosophy, but that Carnap failed to work out its ontological implications. Finally, the concept of an internal ontology is briefly delineated.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 81
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 176-178 
    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 ...
  • 82
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 201-232 
    ISSN: 1572-8587
    Keywords: scientific revolutions ; epistemic ruptures ; epistemicframework ; incommensurability ; paradigm ; Kuhn ; Lakatos ; Crowe ; Dauben
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract The question whether Kuhn's theory of scientific revolutions could be applied to mathematics caused many interesting problems to arise. The aim of this paper is to discuss whether there are different kinds of scientific revolution, and if so, how many. The basic idea of the paper is to discriminate between the formal and the social aspects of the development of science and to compare them. The paper has four parts. In the first introductory part we discuss some of the questions which arose during the debate of the historians of mathematics. In the second part, we introduce the concept of the epistemic framework of a theory. We propose to discriminate three parts of this framework, from which the one called formal frame will be of considerable importance for our approach, as its development is conservative and gradual. In the third part of the paper we define the concept of epistemic rupture as a discontinuity in the formal frame. The conservative and gradual nature of the changes of the formal frame open the possibility to compare different epistemic ruptures. We try to show that there are four different kinds of epistemic rupture, which we call idealisation, re-presentation, objectivisation and re-formulation. In the last part of the paper we derive from the classification of the epistemic ruptures a classification of scientific revolutions. As only the first three kinds of rupture are revolutionary (the re-formulations are rather cumulative), we obtain three kinds of scientific revolution: idealisation, re-presentation, and objectivisation. We discuss the relation of our classification of scientific revolutions to the views of Kuhn, Lakatos, Crowe, and Dauben.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 83
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 273-287 
    ISSN: 1572-8587
    Keywords: concept of observation ; research practices ; instruments ; image processing ; astronomy
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract Vision, Visibility, and Empirical Research. In general, natural scientists use the concept of observation in a liberal way: they talk of observing electrons, DNA, or distant quasars. Several philosophers of science have recently argued for a similar use of the concept of observation: they have claimed that the important aspects of scientific research can only be properly reconstructed in accordance with how this term is actually used in science. With reference to an example from astronomy, I point out that the proposed generalisation of the concept of observation leads to undesirable consequences. I argue that a differentiated conceptual framework is required in order to give an adequate account of the varieties of scientific experience. Thus, the appropriate starting point for distinguishing these various scientific research practices should not be the generalised scientific conception of observation, but instead distinctly different uses of the term observation drawn from ordinary language.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 84
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 179-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 ...
  • 85
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 87-101 
    ISSN: 1572-8587
    Keywords: deterministic chaos ; computational complexity ; effective complexity reduction
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract Some problems rarely discussed in traditional philosophy of science are mentioned: The empirical sciences using mathematico-quantitative theoretical models are frequently confronted with several types of computational problems posing primarily methodological limitations on explanatory and prognostic matters. Such limitations may arise from the appearances of deterministic chaos and (too) high computational complexity in general. In many cases, however, scientists circumvent such limitations by utilizing reductional approximations or complexity reductions for intractable problem formulations, thus constructing new models which are computationally tractable. Such activities are compared with reduction types (more) established in philosophy of science.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 86
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 17-36 
    ISSN: 1572-8587
    Keywords: Cartesianism ; geometrodynamics ; holism ; non-separability ; quantum entanglement
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract The aim of this paper is to contribute to a more balanced judgement than the widespread impression that the changes which are called for in today's philosophy of physics and which centre around the concept of holism amount to a rupture with the framework of Cartesian philosophy of physics. I argue that this framework includes a sort of holism: As a result of the identification of matter with space, any physical property can be instantiated only if there is the whole of matter. Relating this holism to general relativity, I maintain that this holism cannot be directly applied to today's philosophy of physics consequent upon the failure of geometrodynamics. I show in what respect precisely the holism in quantum physics amounts to a revision of the holism within Cartesianism.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 87
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 379-388 
    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 ...
  • 88
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 289-316 
    ISSN: 1572-8587
    Keywords: realism in quantum theory ; empirical versus metaphysical realism ; Bohmian interpretations ; Vienna Circle ; Salmon's account of causal explanation ; d'Espagnat's empirical realism
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract On Two Types of Realism in Quantum Theory. Current realist approaches to the foundations of quantum theory emphasize the dichotomy between (Copenhagen) positivism and ‘beable’-realism. Recently it was even attempted to turn this picture into two (equally possible) histories in order to legitimate Bohmian Mechanics as a viable alternative. This paper argues that this dichotomy is philosophically inadequate and historically questionable by embedding it into the philosophical discussion on positivism and realism that has taken place since the 1920s. Logical Empiricists back then advocated empirical realism and contrasted it to absolutistic metaphysical realism. From this viewpoint David Bohm's ‘beable’-realism combines elements of Mach's sensualism with a pre-Kantian metaphysics. As Wesley Salmon's position shows, empirical realism can become quite pronounced without relapsing into Bohmian philosophy. Instead it arrives close to the GRWP-interpretation. Hence, when Bernard d'Espagnat binds both together as ‘ontological interpretations’, he blurs the borderline between empirical and metaphysical realism that his Veiled Reality has set out to draw, quite in concordance with Logical Empiricism.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 89
    Electronic Resource
    Electronic Resource
    Springer
    Journal for general philosophy of science 30 (1999), S. 365-378 
    ISSN: 1572-8587
    Keywords: Kant ; theory and experiment ; hermeneutics ; realism/anti-realism debate ; Bezugnahme
    Source: Springer Online Journal Archives 1860-2000
    Topics: Philosophy , Nature of Science, Research, Systems of Higher Education, Museum Science
    Notes: Abstract Representing and Reconstructing: A Hermeneutical Reply to Ian Hacking. Hacking published in 1983 Representing and Intervening which has provoked, particularly in the US, the so called realism/anti-realism debate which is still alive today. He lays claim to anti-realism for theory and to realism for the experiment. Following him, only that which can be used for manipulating something (e.g., the path of an electon) is realistic. H. Putnam is a severe critic of this dualism. In my paper I am going to take the Hacking-Putnam controversy as a starting-point for the problem about the determination of the relation between theory and experiment in the natural sciences. I shall then follow M. Schlick's discussion of this problem and the current solution to the problem as offered by H. Pietschmann. The differing interpretation of Kant according to the three perspectives shall be the guideline for the argumentation. The goal of my argumentation is that theory and experiment do not live their own lives, that in experimenting one always continues traditional chains of action, and that natural science cannot be regarded independently of the life world it takes place in. This insight into the representing and reconstructing overturns in natural science, due to the necessity of human decisions, opens up their hermeneutical dimension.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 90
    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 ...
  • 91
    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 ...
  • 92
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 111-118 
    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 ...
  • 93
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 94
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 57-80 
    ISSN: 1572-8641
    Keywords: situation theory ; situated reasoning ; organic programming ; dynamic subsumption architecture
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In this article, I present a software architecture for intelligent agents. The essence of AI is complex information processing. It is impossible, in principle, to process complex information as a whole. We need some partial processing strategy that is still somehow connected to the whole. We also need flexible processing that can adapt to changes in the environment. One of the candidates for both of these is situated reasoning, which makes use of the fact that an agent is in a situation, so it only processes some of the information – the part that is relevant to that situation. The combination of situated reasoning and context reflection leads to the idea of organic programming, which introduces a new building block of programs called a cell. Cells contain situated programs and the combination of cells is controlled by those programs.
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 95
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 267-270 
    ISSN: 1572-8641
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Type of Medium: Electronic Resource
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
  • 96
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 276-280 
    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 ...
  • 97
    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 ...
  • 98
    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 ...
  • 99
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 119-126 
    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 ...
  • 100
    Electronic Resource
    Electronic Resource
    Springer
    Minds and machines 9 (1999), S. 29-56 
    ISSN: 1572-8641
    Keywords: context ; situation theory ; proposition
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science , Philosophy
    Notes: Abstract In this paper, an “objective” conception of contexts based loosely upon situation theory is developed and formalized. Unlike “subjective” conceptions, which take contexts to be something like sets of beliefs, contexts on the objective conception are taken to be complex, structured pieces of the world that (in general) contain individuals, other contexts, and propositions about them. An extended first-order language for this account is developed. The language contains complex terms for propositions, and the standard predicate ‘ist’ that expresses the relation that holds between a context and a proposition just in case the latter is true in the former. The logic for the objective conception features a “global” classical predicate calculus, a “local” logic for reasoning within contexts, and axioms for propositions. The specter of paradox is banished from the logic by allowing ‘ist’ to be nonbivalent in problematic cases: it is not in general the case, for any context c and proposition p, that either ist(c,p) or ist(c, ¬ p). An important representational capability of the logic is illustrated by proving an appropriately modified version of an illustrative theorem from McCarthy's classic Blocks World example.
    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...