ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

Ihre E-Mail wurde erfolgreich gesendet. Bitte prüfen Sie Ihren Maileingang.

Leider ist ein Fehler beim E-Mail-Versand aufgetreten. Bitte versuchen Sie es erneut.

Vorgang fortführen?

Exportieren
Filter
  • Bücher
  • Artikel  (662)
  • Springer  (633)
  • Oxford University Press  (29)
  • 2000-2004  (662)
  • 2000  (662)
  • Philosophie  (662)
Sammlung
  • Bücher
  • Artikel  (662)
Verlag/Herausgeber
Erscheinungszeitraum
  • 2000-2004  (662)
Jahr
Zeitschrift
  • 1
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 37-59 
    ISSN: 1572-8730
    Schlagwort(e): nonstandard set theories ; standard sets ; models of ZFC
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We study those models of ZFCwhich are embeddable, as the class of all standard sets, in a model of internal set theory 〉ISTor models of some other nonstandard set theories.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 2
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 21-36 
    ISSN: 1572-8730
    Schlagwort(e): Commutative BCK-algebra with the relative cancellation property ; lattice ordered group ; universal group ; categorical equivalence ; MV-algebra ; conical algebra ; property (S)
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract A commutative BCK-algebra with the relative cancellation property is a commutative BCK-algebra (X;*,0) which satisfies the condition: if a ≤ x, a ≤ y and x * a = y * a, then x = y. Such BCK-algebras form a variety, and the category of these BCK-algebras is categorically equivalent to the category of Abelian ℓ-groups whose objects are pairs (G, G 0), where G is an Abelian ℓ-group, G 0 is a subset of the positive cone generating G + such that if u, v ∈ G 0, then 0 ∨ (u - v) ∈ G 0, and morphisms are ℓ-group homomorphisms h: (G, G 0) → (G′,G′0) with f(G 0) ⫅ G′0. Our methods in particular cases give known categorical equivalences of Cornish for conical BCK-algebras and of Mundici for bounded commutative BCK-algebras (= MV-algebras).
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 3
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 83-92 
    ISSN: 1572-8730
    Schlagwort(e): Quasi-Stone algebra ; Q-distributive lattice ; Priestley space ; amalgamation property ; free algebra
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we describe the Priestley space of a quasi-Stone algebra and use it to show that the class of finite quasi-Stone algebras has the amalgamation property. We also describe the Priestley space of the free quasi-Stone algebra over a finite set.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 4
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 61-81 
    ISSN: 1572-8730
    Schlagwort(e): category of distributive lattices ; double dual functor ; non-classical propositional logics (intuitionistic, bi-intuitionistic, Moisil, Łukasiewicz, Nelson) ; completeness theorems ; conservative extensions
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The aim of this paper is to apply properties of the double dual endofunctor on the category of bounded distributive lattices and some extensions thereof to obtain completeness of certain non-classical propositional logics in a unified way. In particular, we obtain completeness theorems for Moisil calculus, n-valued Łukasiewicz calculus and Nelson calculus. Furthermore we show some conservativeness results by these methods.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 5
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 133-149 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 6
    ISSN: 1572-8730
    Schlagwort(e): Priestley duality ; distributive lattices ; canonical embedding algebras ; Kripke models ; non-classical logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The main goal of this paper is to explain the link between the algebraic and the Kripke-style models for certain classes of propositional logics. We start by presenting a Priestley-type duality for distributive lattices endowed with a general class of well-behaved operators. We then show that finitely-generated varieties of distributive lattices with operators are closed under canonical embedding algebras. The results are used in the second part of the paper to construct topological and non-topological Kripke-style models for logics that are sound and complete with respect to varieties of distributive lattices with operators in the above-mentioned classes.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 7
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 3-20 
    ISSN: 1572-8730
    Schlagwort(e): proof systems ; semantics ; functional completeness ; non-classical logics ; modal logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This is a purely conceptual paper. It aims at presenting and putting into perspective the idea of a proof-theoretic semantics of the logical operations. The first section briefly surveys various semantic paradigms, and Section 2 focuses on one particular paradigm, namely the proof-theoretic semantics of the logical operations.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 8
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 193-213 
    ISSN: 1572-8730
    Schlagwort(e): modal logic ; model theory ; definability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Dealing with topics of definability, this paper provides some interesting insights into the expressive power of basic modal logic. After some preliminary work it presents an abstract algebraic characterization of the elementary classes of basic modal logic, that is, of the classes of models that are definable by means of (sets of) basic modal formulas. Taking that for a start, the paper further contains characterization results for modal universal classes and modal positive classes.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 9
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 173-192 
    ISSN: 1572-8730
    Schlagwort(e): second order logic ; universal algebra
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract A Dedekind algebra is an order pair (B, h) where B is a non-empty set and h is a similarity transformation on B. Each Dedekind algebra can be decomposed into a family of disjoint, countable subalgebras called the configurations of the algebra. There are ℵ0 isomorphism types of configurations. Each Dedekind algebra is associated with a cardinal-valued function on ω called its configuration signature. The configuration signature counts the number of configurations in each isomorphism type which occur in the decomposition of the algebra. Two Dedekind algebras are isomorphic iff their configuration signatures are identical. It is shown that configuration signatures can be used to characterize the homogeneous, universal and homogeneous-universal Dedekind algebras. This characterization is used to prove various results about these subclasses of Dedekind algebras.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 10
    ISSN: 1572-8730
    Schlagwort(e): Priestley duality ; distributive lattices ; Kripke models ; non-classical logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The main goal of this paper is to explain the link between the algebraic models and the Kripke-style models for certain classes of propositional non-classical logics. We consider logics that are sound and complete with respect to varieties of distributive lattices with certain classes of well-behaved operators for which a Priestley-style duality holds, and present a way of constructing topological and non-topological Kripke-style models for these types of logics. Moreover, we show that, under certain additional assumptions on the variety of the algerabic models of the given logics, soundness and completeness with respect to these classes of Kripke-style models follows by using entirely algebraical arguments from the soundness and completeness of the logic with respect to its algebraic models.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 11
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 285-300 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 12
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 271-283 
    ISSN: 1572-8730
    Schlagwort(e): modal logic ; bisimulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We introduce a notion of bisimulation for graded modal logic. Using this notion, the model theory of graded modal logic can be developed in a uniform manner. We illustrate this by establishing the finite model property and proving invariance and definability results.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 13
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 257-270 
    ISSN: 1572-8730
    Schlagwort(e): intermediate predicate logics ; cardinality ; Kripke-type semantics ; Jankov formulas
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract A method for constructing continua of logics squeezed between some intermediate predicate logics, developed by Suzuki [8], is modified and applied to intervals of the form [L, L+ ¬¬S], where Lis a predicate logic, Sis a closed predicate formula. This solves one of the problems from Suzuki's paper.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 14
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 449-450 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 15
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 215-256 
    ISSN: 1572-8730
    Schlagwort(e): intuitionistic modal logic ; monadic Heyting algebras ; relatively complete sub-algebras ; monadic filters ; monadic ideals ; splittings ; augmented Kripke frames ; Kripke bundles ; topological augmented Kripke frames
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is the concluding part of [1] and [2], and it investigates the inner structure of the lattice Λ(MHA) of all varieties of monadic Heyting algebras. For every n ≤ ω, we introduce and investigate varieties of depth n and cluster n, and present two partitions of Λ(MHA), into varieties of depth n, and into varieties of cluster n. We pay a special attention to the lower part of Λ(MHA) and investigate finite and critical varieties of monadic Heyting algebras in detail. In particular, we prove that there exist exactly thirteen critical varieties in Λ(MHA) and that it is decidable whether a given variety of monadic Heyting algebras is finite or not. The representation of Λ(MHA) is also given. All these provide us with a satisfactory insight into Λ(MHA). Since Λ(MHA) is dual to the lattice NExtMIPC of all normal extensions of the intuitionistic modal logic MIPC, we also obtain a clearer picture of the lattice structure of intuitionistic modal logics over MIPC.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 16
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 301-313 
    ISSN: 1572-8730
    Schlagwort(e): modal logic ; model theory ; definability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper deals with modal Horn formulas. It contains a characterization of the classes of models definable by modal universal Horn formulas as well as a preservation result for modal universal Horn formulas.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 17
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 315-321 
    ISSN: 1572-8730
    Schlagwort(e): quantified propositional logic ; tree-like proofs ; polynomial simulation ; speed-up ; number of lines in proofs
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract There is an exponential speed-up in the number of lines of the quantified propositional sequent calculus over Substitution Frege Systems, if one considers proofs as trees. Whether this is true also for the number of symbols, is still an open problem.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 18
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 323-344 
    ISSN: 1572-8730
    Schlagwort(e): intuitionism ; negationless intuitionistic mathematics ; arithmetic ; analysis ; translatability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The present work contains an axiomatic treatment of some parts of the restricted version of intuitionistic mathematics advocated by G. F. C. Griss, also known as negationless intuitionistic mathematics. Formal systems NPC, NA, and FIM N for negationless predicate logic, arithmetic, and analysis are proposed. Our Theorem 4 in Section 2 asserts the translatability of Heyting's arithmetic HAinto NA. The result can in fact be extended to a large class of intuitionistic theories based on HAand their negationless counterparts. For instance, in Section 3 this is shown for Kleene's system of intuitionistic analysis FIMand our FIM N .
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 19
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 345-353 
    ISSN: 1572-8730
    Schlagwort(e): equivalential logics ; algebraic logic ; model theory
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We present a finitary regularly algebraizable logic not finitely equivalential, for every similarity type. We associate to each of these logics a class of algebras with an equivalence relation, with the property that in this class, the identity is atomatically definable but not finitely atomatically definable.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 20
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 405-448 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 21
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 365-403 
    ISSN: 1572-8730
    Schlagwort(e): contraction free logic ; unrestricted abstraction ; type free logic ; foundation of the notion of natural number
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract On the one hand, the absence of contraction is a safeguard against the logical (property theoretic) paradoxes; but on the other hand, it also disables inductive and recursive definitions, in its most basic form the definition of the series of natural numbers, for instance. The reason for this is simply that the effectiveness of a recursion clause depends on its being available after application, something that is usually assured by contraction. This paper presents a way of overcoming this problem within the framework of a logic based on inclusion and unrestricted abstraction, without any form of extensionality.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 22
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 64 (2000), S. 355-363 
    ISSN: 1572-8730
    Schlagwort(e): P-compatible identities ; P-compatible hypersubstitutions
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The study of hyperidentities is a growing field of research. While hyperidentities hark back to before 1965 (cf. [1]), they have found a rebirth in the late seventies and early eighties (cf. [8], [9]). It is being expanded in several directions, from connections with clone theory, to finite basis problems, to semigroup theory, to classification of M-solid varieties. Applications to digital logic, formal languages, and hypertext systems have been suggested. The concept of a P-compatible equation, where P is a partition on the set of operation symbols, is a good tool to study the structure of identities. In [4] we asked for P-compatible hyperidentities. In this paper we will consider hypersubstitutions which are compatible with the partition P and will develop a generalized equational theory for certain P-compatible hyperidentities.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 23
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 1-9 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 24
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 31-51 
    ISSN: 1572-8730
    Schlagwort(e): BCK algebras ; chains ; linearization ; algebraizable logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In the paper we obtain a new characterization of the BCK-algebras which are subdirect product of BCK-chains. We give an axiomatic algebraizable extension of the BCK-calculus, by means of a recursively enumerable set of axioms, such that its equivalent algebraic semantics is definitionally equivalent to the quasivariety of BCK-algebras generated by the BCK-chains. We propose the concept of "linearization of a system" and we give some examples.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 25
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 11-30 
    ISSN: 1572-8730
    Schlagwort(e): Algebraizable Gentzen system ; Intuitionistic logic ; substructural logic ; residuated lattices
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we prove the equivalence between the Gentzen system G LJ*\c , obtained by deleting the contraction rule from the sequent calculus LJ* (which is a redundant version of LJ), the deductive system IPC*\c and the equational system associated with the variety RL of residuated lattices. This means that the variety RL is the equivalent algebraic semantics for both systems G LJ*\c in the sense of [18] and [4], respectively. The equivalence between G LJ*\c and IPC*\c is a strengthening of a result obtained by H. Ono and Y. Komori [14, Corollary 2.8.1] and the equivalence between G LJ*\c and the equational system associated with the variety RL of residuated lattices is a strengthening of a result obtained by P.M. Idziak [13, Theorem 1]. An axiomatization of the restriction of IPC*\c to the formulas whose main connective is the implication connective is obtained by using an interpretation of G LJ*\c in IPC*\c.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 26
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 91-112 
    ISSN: 1572-8730
    Schlagwort(e): Abstract algebraic logic ; Beth definability property ; epimorphisms
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper it will be shown that the Beth definability property corresponds to surjectiveness of epimorphisms in abstract algebraic logic. This generalizes a result by I. Németi (cf. [11, Theorem 5.6.10]). Moreover, an equally general characterization of the weak Beth property will be given. This gives a solution to Problem 14 in [20]. Finally, the characterization of the projective Beth property for varieties of modal algebras by L. Maksimova (see [15]) will be shown to hold for the larger class of semantically algebraizable logics.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 27
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 137-153 
    ISSN: 1572-8730
    Schlagwort(e): Annotated logics ; paraconsistency ; algebraic semantics ; matrix semantics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We study the matrices, reduced matrices and algebras associated to the systems SAℒT of structural annotated logics. In previous papers, these systems were proven algebraizable in the finitary case and the class of matrices analyzed here was proven to be a matrix semantics for them. We prove that the equivalent algebraic semantics associated with the systems SAℒT are proper quasivarieties, we describe the reduced matrices, the subdirectly irreducible algebras and we give a general decomposition theorem. As a consequence we obtain a decision procedure for these logics.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 28
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 113-136 
    ISSN: 1572-8730
    Schlagwort(e): Pseudo-interior algebra ; interior algebra ; Brouwerian semilattice ; splitting algebra ; locally finite ; finite and prefinite variety
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The notion of a pseudo-interior algebra was introduced by Blok and Pigozzi in [BPIV]. We continue here our studies begun in [BK]. As a consequence of the representation theorem for pseudo-interior algebras given in [BK] we prove that the variety of all pseudo-interior algebras is generated by its finite members. This result together with Jónsson's Theorem for congruence distributive varieties provides a useful technique in the study of the lattice of varieties of pseudo-interior algebras.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 29
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 53-89 
    ISSN: 1572-8730
    Schlagwort(e): Sequent calculus ; cut rule ; structural rule ; logical rule ; many-sided sequent ; Gentzen system ; protoalgebraicity ; accumulative Gentzen system
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we show that, in Gentzen systems, there is a close relation between two of the main characters in algebraic logic and proof theory respectively: protoalgebraicity and the cut rule. We give certain conditions under which a Gentzen system is protoalgebraic if and only if it possesses the cut rule. To obtain this equivalence, we limit our discussion to what we call regular sequent calculi, which are those comprising some of the structural rules and some logical rules, in a sense we make precise. We note that this restricted set of rules includes all the usual rules in the literature. We also stress the difference between the case of two-sided sequents and the case of many-sided sequents, in which more conditions are needed.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 30
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 199-222 
    ISSN: 1572-8730
    Schlagwort(e): arrow logic ; weakly associative relation algebras ; graded modalities
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We consider arrow logics (i.e., propositional multi-modal logics having three -- a dyadic, a monadic, and a constant -- modal operators) augmented with various kinds of infinite counting modalities, such as 'much more', 'of good quantity', 'many times'. It is shown that the addition of these modal operators to weakly associative arrow logic results in finitely axiomatizable and decidable logics, which fail to have the finite base property.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 31
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 155-179 
    ISSN: 1572-8730
    Schlagwort(e): intuitionism ; negationless intuitionistic mathematics ; higher-order arithmetic ; translatability
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This work is a sequel to our [16]. It is shown how Theorem 4 of [16], dealing with the translatability of HA(Heyting's arithmetic) into negationless arithmetic NA, can be extended to the case of intuitionistic arithmetic in higher types.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 32
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 181-198 
    ISSN: 1572-8730
    Schlagwort(e): quantifiers ; Heyting algebras ; distributive lattices ; varieties ; equational bases
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties Λ(Q 3 ) of the variety Q 3 .
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 33
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 223-236 
    ISSN: 1572-8730
    Schlagwort(e): non-commutative topology ; quantales ; Sheaves ; C*-algebras
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The relationship between q-spaces (c.f. [9]) and quantum spaces (c.f. [5]) is studied, proving that both models coincide in the case of Spec A, the spectrum of a non-commutative C*-algebra A. It is shown that a sober T 1 quantum space is a classical topological space. This difficulty is circumvented through a new definition of point in a quantale. With this new definition, it is proved that Lid A has enough points. A notion of orthogonality in quantum spaces is introduced, which permits us to express the usual topological properties of separation. The notion of stalks of sheaves over quantales is introduced, and some results in categorial model theory are obtained.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 34
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 273-298 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 35
    ISSN: 1572-8730
    Schlagwort(e): Modal predicate logics ; Kripke incompleteness ; Canonical formulas
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We generalize the incompleteness proof of the modal predicate logic Q-S4+ □⋄p ⊃ ⋄□p + BF described in Hughes-Cresswell [6]. As a corollary, we show that, for every subframe logic Lcontaining S4, Kripke completeness of Q-L+ BF implies the finite embedding property of L.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 36
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 37
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 249-271 
    ISSN: 1572-8730
    Schlagwort(e): Epistemic Logic ; Game theory ; Axiomatizability ; Common knowledge
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we investigate first order common knowledge logics; i.e., modal epistemic logics based on first order logic with common knowledge operators. It is shown that even rather weak fragments of first order common knowledge logics are not recursively axiomatizable. This applies, for example, to fragments which allow to reason about names only; that is to say, fragments the first order part of which is based on constant symbols and the equality symbol only. Then formal properties of "quantifying into" epistemic contexts are investigated. The results are illustrated by means of epistemic representations of Nash Equilibria for finite games with mixed strategies.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 38
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 315-322 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract RGLis a version of the modal logic GLbased on the relevant logic R. It is shown that the class of RKframes that verify all theorems of RGLalso verify a scheme that we call (!). If RGLhas (!) as a theorem, however, it is not a relevant logic. I go on to show that not all instances of (!) are theorems of RGL, hence this logic is not complete over any class of RKframes.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 39
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 355-366 
    ISSN: 1572-8730
    Schlagwort(e): pregroup ; MV-algebra ; Abelian l-group ; fuzzy logic ; comparative logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We investigate the class of strongly distributive pregroups, a common abstraction of MV-algebras and Abelian l-groups which was introduced by E.Casari. The main result of the paper is a representation theorem which yields both Chang's representation of MV-algebras and Clifford's representation of Abelian l-groups as immediate corollaries.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 40
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 323-353 
    ISSN: 1572-8730
    Schlagwort(e): Polymodal logic ; relative accessibility relation ; translation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This work is divided in two papers (Part I and Part II). In Part I, we study a class of polymodal logics (herein called the class of "Rare-logics") for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability are established by faithfully translating the Rare-logics into more standard modal logics. The main idea of the translation consists in eliminating the Boolean terms by taking advantage of the components construction and in using various properties of the classes of semilattices involved in the semantics. The novelty of our approach allows us to prove new decidability results (presented in Part II), in particular for information logics derived from rough set theory and we open new perspectives to define proof systems for such logics (presented also in Part II).
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 41
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 367-381 
    ISSN: 1572-8730
    Schlagwort(e): sortal logic ; conceptualism ; semantics for sortals
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract A formal logical system for sortal quantifiers, sortal identity and (second order) quantification over sortal concepts is formulated. The absolute consistency of the system is proved. A completeness proof for the system is also constructed. This proof is relative to a concept of logical validity provided by a semantics, which assumes as its philosophical background an approach to sortals from a modern form of conceptualism.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 42
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 383-416 
    ISSN: 1572-8730
    Schlagwort(e): intuitionistic logic ; modal logic ; proof theory ; categorical models
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we consider an intuitionistic variant of the modal logic S4 (which we call IS4). The novelty of this paper is that we place particular importance on the natural deduction formulation of IS4— our formulation has several important metatheoretic properties. In addition, we study models of IS4— not in the framework of Kirpke semantics, but in the more general framework of category theory. This allows not only a more abstract definition of a whole class of models but also a means of modelling proofs as well as provability.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 43
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 429-446 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 44
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 65 (2000), S. 417-428 
    ISSN: 1572-8730
    Schlagwort(e): modal logic ; superintuitionistic logic ; axiomatic system ; inference rule ; admissible rules
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We study quasi-characterizing inference rules (this notion was introduced into consideration by A. Citkin (1977). The main result of our paper is a complete description of all self-admissible quasi-characterizing inference rules. It is shown that a quasi-characterizing rule is self-admissible iff the frame of the algebra generating this rule is not rigid. We also prove that self-admissible rules are always admissible in canonical, in a sense, logics S4 or IPC regarding the type of algebra generating rules.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 45
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 1-4 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 46
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 41-58 
    ISSN: 1572-8730
    Schlagwort(e): semantics of natural language ; modal logic ; dynamic logic ; knowledge representation languages
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We explore some logics of change, focusing on commands to change the world in such a way that certain elementary propositions become true or false. This investigation starts out from the following two simplifying assumptions: (1) the world is a collection of facts (Wittgenstein), and (2), the world can be changed by changing elementary facts (Marx). These assumptions allow us to study the logic of imperatives in the simplest possible setting.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 47
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 5-40 
    ISSN: 1572-8730
    Schlagwort(e): consequence ; four-valued ; paraconsistent ; partial ; three-valued ; constructible falsity ; relevance logic ; intuitionistic logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper explores allowing truth value assignments to be undetermined or "partial" (no truth values) and overdetermined or "inconsistent" (both truth values), thus returning to an investigation of the four-valued semantics that I initiated in the sixties. I examine some natural consequence relations and show how they are related to existing logics, including Łukasiewicz's three-valued logic, Kleene's three-valued logic, Anderson and Belnap's (first-degree) relevant entailments, Priest's "Logic of Paradox", and the first-degree fragment of the Dunn-McCall system "R-mingle". None of these systems have nested implications, and I investigate twelve natural extensions containing nested implications, all of which can be viewed as coming from natural variations on Kripke's semantics for intuitionistic logic. Many of these logics exist antecedently in the literature, in particular Nelson's "constructible falsity".
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 48
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 59-78 
    ISSN: 1572-8730
    Schlagwort(e): set theory ; NBC ; mechanized mathematics ; theorem proving systems ; partial functions ; undefinedness ; sorts
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Partial functions can be easily represented in set theory as certain sets of ordered pairs. However, classical set theory provides no special machinery for reasoning about partial functions. For instance, there is no direct way of handling the application of a function to an argument outside its domain as in partial logic. There is also no utilization of lambda-notation and sorts or types as in type theory. This paper introduces a version of von-Neumann-Bernays-Gödel set theory for reasoning about sets, proper classes, and partial functions represented as classes of ordered pairs. The underlying logic of the system is a partial first-order logic, so class-valued terms may be nondenoting. Functions can be specified using lambda-notation, and reasoning about the application of functions to arguments is facilitated using sorts similar to those employed in the logic of the IMPS Interactive Mathematical Proof System. The set theory is intended to serve as a foundation for mechanized mathematics systems.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 49
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 79-119 
    ISSN: 1572-8730
    Schlagwort(e): internal and external non-determinism ; dynamic modal logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We demonstrate ways to incorporate nondeterminism in a system designed to formalize the reasoning of agents concerning their abilities and the results of the actions that they may perform. We distinguish between two kinds of nondeterministic choice operators: one that expresses an internal choice, in which the agent decides what action to take, and one that expresses an external choice, which cannot be influenced by the agent. The presence of abilities in our system is the reason why the usual approaches towards nondeterminism cannot be used here. The semantics that we define for nondeterministic actions is based on the idea that composite actions are unravelled in the strings of atomic actions and tests that constitute them. The main notions used in defining this semantics are finite computation sequences and finite computation runs of actions. The results that we obtain meet our intuitions regarding events and abilities in the presence of nondeterminism.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 50
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 121-145 
    ISSN: 1572-8730
    Schlagwort(e): sequent calculus ; weak modal systems ; decision procedure ; bounds on finite countermodels ; inversion rules ; Löb rules
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We investigate sequent calculi for the weak modal (propositional) system reduced to the equivalence rule and extensions of it up to the full Kripke system containing monotonicity, conjunction and necessitation rules. The calculi have cut elimination and we concentrate on the inversion of rules to give in each case an effective procedure which for every sequent either furnishes a proof or a finite countermodel of it. Applications to the cardinality of countermodels, the inversion of rules and the derivability of Löb rules are given.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 51
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 147-163 
    ISSN: 1572-8730
    Schlagwort(e): protothetics ; propositional type theory ; partial logic ; partial functions ; monotonic logic ; saturated sets ; epistemic logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper has four parts. In the first part, I present Leśniewski's protothetics and the complete system provided for that logic by Henkin. The second part presents a generalized notion of partial functions in propositional type theory. In the third part, these partial functions are used to define partial interpretations for protothetics. Finally, I present in the fourth part a complete system for partial protothetics. Completeness is proved by Henkin's method [4] using saturated sets instead of maximally saturated sets. This technique provides a canonical representation of a partial semantic space and it is suggested that this space can be interpreted as an epistemic state of a non-omniscient agent.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 52
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 187-198 
    ISSN: 1572-8730
    Schlagwort(e): non-normal modal logic ; relational semantics ; skepticism ; 3-valued logic ; partial logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This essay attempts to implement epistemic logic through a non-classical inference relation. Given that relation, an account of '(the individual) a knows that A' is constructed as an unfamiliar non-normal modal logic. One advantage to this approach is a new analysis of the skeptical argument.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 53
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 201-204 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 54
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 165-186 
    ISSN: 1572-8730
    Schlagwort(e): reasoning about knowledge and action ; knowledge prerequisites of actions
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Most agents can acquire information about their environments as they operate. A good plan for such an agent is one that not only achieves the goal, but is also executable, i.e., ensures that the agent has enough information at every step to know what to do next. In this paper, we present a formal account of what it means for an agent to know how to execute a plan and to be able to achieve a goal. Such a theory is a prerequisite for producing specifications of planners for agents that can acquire information at run time. It is also essential to account for cooperation among agents. Our account is more general than previous proposals, correctly handles programs containing loops, and incorporates a solution to the frame problem. It can also be used to prove programs containing sensing actions correct.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 55
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 205-213 
    ISSN: 1572-8730
    Schlagwort(e): V.A. Smirnov ; logic in Russia ; philosophy and methodology of science
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract The article gives a short account of V.A. Smirnov’s scientific biography, including his work in Tomsk University in Siberia and in the Department of Logic of the Institute of Philosophy in Moscow.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 56
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 215-225 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 57
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 227-252 
    ISSN: 1572-8730
    Schlagwort(e): formal inference ; logical calculi ; relevant logics ; implicational calculi ; definability ; modal-temporal logics ; combined logics ; multidimensional logics ; syllogistics ; Leśniewski’s systems ; proof theory
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper is a survey of V.A. Smirnov’s main results in modern logic.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 58
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 273-283 
    ISSN: 1572-8730
    Schlagwort(e): quantifiers ; assignments ; functional dependencies
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We consider a predicate logic Lfd where not all assignments of values to individual variables are possible. Some variables are functionally dependent on other variables. This makes sense if the models of logic are assumed to correspond to databases or states. We show that Lfd is undecidable but has a complete and sound sequent calculus formalisation.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 59
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 253-271 
    ISSN: 1572-8730
    Schlagwort(e): implicational logics ; combinators ; independence ; finite Boolean lattice ; maximal lattice of logics ; full logic
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract We discuss Smirnov’s problem of finding a common background for classifying implicational logics. We formulate and solve the problem of extending, in an appropriate way, an implicational fragment H → of the intuitionistic propositional logic to an implicational fragment TV → of the classical propositional logic. As a result we obtain logical constructions having the form of Boolean lattices whose elements are implicational logics. In this way, whole classes of new logics can be obtained. We also consider the transition from implicational logics to full logics. On the base of the lattices constructed, we formulate the main classification principles for propositional logics.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 60
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 447-448 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 61
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 285-296 
    ISSN: 1572-8730
    Schlagwort(e): combinatory logic ; dual combinators ; Church-Rosser property ; symmetric λ-calculus ; substructural logics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Combinatory logic is known to be related to substructural logics. Algebraic considerations of the latter, in particular, algebraic considerations of two distinct implications (→, ←), led to the introduction of dual combinators in Dunn & Meyer 1997. Dual combinators are "mirror images" of the usual combinators and as such do not constitute an interesting subject of investigation by themselves. However, when combined with the usual combinators (e.g., in order to recover associativity in a sequent calculus), the whole system exhibits new features. A dual combinatory system with weak equality typically lacks the Church-Rosser property, and in general it is inconsistent. In many subsystems terms "unexpectedly" turn out to be weakly equivalent. The paper is a preliminary attempt to investigate some of these issues, as well as, briefly compare function application in symmetric λ-calculus (cf. Barbanera & Berardi 1996) and dual combinatory logic.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 62
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 297-323 
    ISSN: 1572-8730
    Schlagwort(e): algebraic logic ; relation algebras ; relativization ; representation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In this paper we introduced various classes of weakly associative relation algebras with polyadic composition operations. Among them is the class RWA∞ of representable weakly associative relation algebras with polyadic composition operations. Algebras of this class are relativized representable relation algebras augmented with an infinite set of operations of increasing arity which are generalizations of the binary relative composition. We show that RWA∞ is a canonical variety whose equational theory is decidable.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 63
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 327-348 
    ISSN: 1572-8730
    Schlagwort(e): compatibility ; adaptive logic ; ampliative reasoning ; S5-semantics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This paper describes the adaptive logic of compatibility and its dynamic proof theory. The results derive from insights in inconsistency-adaptive logic, but are themselves very simple and philosophically unobjectionable. In the absence of a positive test, dynamic proof theories lead, in the long run, to correct results and, in the short run, sometimes to final decisions but always to sensible estimates. The paper contains a new and natural kind of semantics for S5from which it follows that a specific subset of the standard worlds-models is characteristic for S5.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 64
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 409-418 
    ISSN: 1572-8730
    Schlagwort(e): contractionless logic ; intuitionistic logic ; substructural logic ; negation ; reductio
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract Routley-Meyer type relational complete semantics are constructed for intuitionistic contractionless logic with reductio. Different negation completions of positive intuitionistic logic without contraction are treated in a systematical, unified and semantically complete setting.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 65
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 419-446 
    ISSN: 1572-8730
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 66
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 385-407 
    ISSN: 1572-8730
    Schlagwort(e): relevance logics ; computational complexity ; labelled deduction systems ; sequent systems
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract In previous work we gave a new proof-theoretical method for establishing upper-bounds on the space complexity of the provability problem of modal and other propositional non-classical logics. Here we extend and refine these results to give an O(n log n)-space decision procedure for the basic positive relevance logic B+. We compute this upper-bound by first giving a sound and complete, cut-free, labelled sequent system for B+, and then establishing bounds on the application of the rules of this system.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 67
    Digitale Medien
    Digitale Medien
    Springer
    Studia logica 66 (2000), S. 349-384 
    ISSN: 1572-8730
    Schlagwort(e): polymodal logic ; relative accessibility relation ; decision procedure ; translation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Mathematik , Philosophie
    Notizen: Abstract This work is divided in two papers (Part I and Part II). In Part I, we introduced the class of Rare-logics for which the set of terms indexing the modal operators are hierarchized in two levels: the set of Boolean terms and the set of terms built upon the set of Boolean terms. By investigating different algebraic properties satisfied by the models of the Rare-logics, reductions for decidability were established by faithfully translating the Rare-logics into more standard modal logics (some of them contain the universal modal operator). In Part II, we push forward the results from Part I. For Rare-logics with nominals (present at the level of formulae and at the level of modal expressions), we show that the constructions from Part I can be extended although it is technically more involved. We also characterize a class of standard modal logics for which the universal modal operator can be eliminated as far as satifiability is concerned. Although the previous results have a semantic flavour, we are also able to define proof systems for Rare-logics from existing proof systems for the corresponding standard modal logics. Last, but not least, decidability results for Rare-logics are established uniformly, in particular for information logics derived from rough set theory. Since this paper is the continuation of Part I, we do not recall here the definitions of Part I although we refer to them.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 68
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 1-2 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 69
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 3-9 
    ISSN: 1572-8439
    Schlagwort(e): cyber world ; natural world ; philosophical dialogue ; reality ; virtual reality
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Humanity has begun to move from the natural world intothe cyber world. Issues surrounding this mentalmigration are debated in philosophical dialogue. Thelead character is Becket Geist, a romantic philosopherwith views tempered by 20th century science. He openswith a monologue in which he argues that ‘loss of theworld’ in exchange for the cyber world is dark andinevitable. His chief adversary is Fortran McCyborg,a cyborg with leanings toward Scottish philosophy. The moderating force is Nonette Naturski who championsnaturalism, conservation of humanist ideals, andprudent conclusions. The ensuing dialogue examineseight counter-arguments to Geist's vision. Thearguments and Geist's replies lead to unanticipatedchanges in position that cascade to a chillingclose.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 70
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 19-25 
    ISSN: 1572-8439
    Schlagwort(e): Csikszentmihalyi ; self ; self-shrinkage ; synthetic sites
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In this essay we show how certain tendencies of theself are enhanced and hindered by technologicallyorganized places. We coordinate a cognitive andbehavioral technology for the control of personalidentity with the technologically totalizedenvironments that we call “synthetic sites.” Weproceed by describing Mihaly Csikszentmihalyi'sstrategy for intensifying experience and organizingthe self. Walt Disney World is then considered as theexample, par excellence, of a synthetic sitethat promotes ordered experience via self-shrinkage. Finally, we reflect briefly on problems andpossibilities of human life lived in a world that canbe described with increasing accuracy as “anarchipelago of synthetic sites.”
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 71
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 27-35 
    ISSN: 1572-8439
    Schlagwort(e): ethics ; information technology ; Levinas ; neutrality
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Is cybernetics good, bad, or indifferent? SherryTurkle enlists deconstructive theory to celebrate thecomputer age as the embodiment of “difference.” Nolonger just a theory, one can now live a “virtual” life. Within a differential but ontologically detachedfield of signifiers, one can construct and reconstructegos and environments from the bottom up andendlessly. Lucas Introna, in contrast, enlists theethical philosophy of Emmanuel Levinas to condemn thesame computer age for increasing the distance betweenflesh and blood people. Mediating the face-to-facerelation between real people, allowing and encouragingcommunication at a distance, information technologywould alienate individuals from the social immediacyproductive of moral obligations and responsibilities. In this paper I argue against both of thesepositions, and for similar reasons. Turkle'scelebration and Introna's condemnation of informationtechnology both depend, so I will argue, on the samemistaken meta-interpretation of it. Like Introna,however, but to achieve a different end, I will enlistLevinas's ethical philosophy to make this case.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 72
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 11-17 
    ISSN: 1572-8439
    Schlagwort(e): cyborg ; freedom ; human autonomy ; machine autonomy ; philosophical dialogue
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Is machine autonomy the same as human autonomy? Answers to this question are developed inphilosophical dialogue. Becket Geist, a romanticphilosopher with scientific leanings, is irked by thearrogance of Fortran McCyborg – a Model 2000 cyborg. Nonette Naturski, a champion of naturalistic views,joins Becket in playing devil's advocate by arguingthat Fortran's actions are voluntary, not chosen byhim, and lacking the freedom caused by deliberatedesire. With the attempts to reduce Fortran's status,Fortran ups the ante by arguing for yet higher status– that he is an angel. The dialogue with therealization that the conversation which denied Fortranautonomous status presupposed it on some level. Angelic Machines picks up where Loss of theWorld leaves off.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 73
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 73-75 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 74
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 37-47 
    ISSN: 1572-8439
    Schlagwort(e): computer ethics ; ethic of care ; ethics and power ; ethics research methodologies ; feminist ethics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Computer ethics is a relatively young discipline,hence it needs time both for reflection and forexploring alternative ethical standpoints in buildingup its own theoretical framework. Feminist ethics isoffered as one such alternative particularly to informissues of equality and power. We argue that feministethics is not narrowly confined to ‘women's issues’ but is an approach with wider egalitarianapplications. The rise of feminist ethics in relationto feminist theory in general is described and withinthat the work of Gilligan and others on an ‘ethic of care’. We argue for the need to connect theory toempirical evidence. Empirical studies of gender andbusiness and computer ethics are reviewed. We noteconcerns with surveying a student audience, the issueof how far questionnaires and interviews can get tothe heart of ethical beliefs and problems ofperforming statistical analyses of quantitative data.Although we recognize them, our own small surveycannot avoid all these problems. Nevertheless byrefining our scenarios we are able to offer analternative reading of a hacking problem in terms ofan ethic of care thereby pointing a way forward forfuture research in computer ethics inspired byfeminist theory.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 75
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 49-71 
    ISSN: 1572-8439
    Schlagwort(e): access ; copyright ; ethics ; intellectual property ; new media ; ownership ; patent ; trademark ; trade secret
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This paper discusses basic concepts and recentdevelopments in intellectual property ownership in theUnited States. Various philosophical arguments havepreviously been put forward to support the creation andmaintenance of intellectual property systems. However, in an age of information, access toinformation is a critical need and should beguaranteed for every citizen. Any right of controlover the information, adopted as an incentive toencourage creation and distribution of intellectualproperty, should be subservient to an overriding needto ensure access to the information. The principlesunderlying intellectual property regimes in the UnitedStates recognize and embody this. In addition, thephilosophical/ethical dimensions of this debate couldalso be structured to support this attitude as well. Intellectual property is fast becoming digitalproperty. New technologies allow owners to extendtheir control of both legitimate uses and misuses ofthe intellectual property. Recent trends demonstratethat the access principle has not always beenparamount in judicial or legislative applications. Thetrend rather is to allow a proprietarianism factor todominate the analysis. Finally, several principles areforwarded which would assist adjudicators and policymakers in reaffirming the basic purpose of theintellectual property law, which is to benefit thepublic at large.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 76
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 77-83 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 77
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 121-123 
    ISSN: 1572-8439
    Schlagwort(e): databases ; fair-use-codes ; genetics
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This paper concerns the deficiencies of currentlyaccepted principles governing the fair use ofelectronically recorded data when applied to geneticinformation. Principles are proposed by which to dealwith the unique group-characteristics of geneticinformation.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 78
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 99-104 
    ISSN: 1572-8439
    Schlagwort(e): crime ; cyberspace ; ethics ; jurisdiction ; law ; ontology
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The emergence of the new information economy hascomplicated jurisdictional issues in commerce andcrime. Many of these difficulties are simplyextensions of problems that arose due to other media.Telephones and fax machines had already complicatedjurists' determinations of applicable laws. Evenbefore the Internet, contracts were often negotiatedwithout any face-to-face contact – entirely bytelephone and fax. Where is such a contractnegotiated? The answer to this question is critical toany litigation that may arise over such contracts. Thelaws of contract are often quite different from onejurisdiction to the next.The Internet has brought with it new forms ofcommunication which make determining the loci of actseven more complicated. Where are contracts negotiatedwhen they are negotiated in cyberspace? Business isbeing conducted in chat rooms, on web sites, andthrough e-mail. Each of these is technically distinctfrom telephones and fax machines. More importantly,these tools seem ontologically different, in varyingdegrees, from traditional methods of communication.The question is, are these ontological differencessufficient to warrant new legal notions ofjurisdiction in cyberspace?Only a thorough ontological analysis of the parts ofcyberspace and acts ``in'' it can reveal the answers tothe legal questions posed by this new medium.Traditional legal analyses have relied, in part, on acrude legal ontology. That is, courts have grappledwith notions of the topology and mereology of theworld and legal objects when considering questions ofjurisdiction. There is a simpler, theoretically soundmethod for determining legal jurisdiction which isbased upon the notion of ``purposeful direction,'' andwhich treats computer-mediated transactions as justanother form of communication. I will explore thatmethod below.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 79
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 131-136 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 80
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 113-119 
    ISSN: 1572-8439
    Schlagwort(e): agents ; deception ; MAS ; secrets
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In H-C interaction, computer supported cooperation andorganisation, computer mediated commerce, intelligentdata bases, teams of robots. etc. there will bepurposively deceiving computers. In particular, withinthe Agent-based paradigm we will have ``deceivingagents''. Several kinds of deception will be present ininteraction with the user, or among people viacomputer, or among artificial agents not only formalicious reasons (war, commerce, fraud, etc.) butalso for goodwill and in our interest. Social control,trust, and moral aspects in artificial societies willbe the focus of theoretical worm as well as ofimplementation. Is there any special affinity betweenAI and deception?
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 81
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 91-97 
    ISSN: 1572-8439
    Schlagwort(e): civil society ; computer-mediated social interaction ; cosmopolitanism ; globality ; public sphere
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In response to the attractive moral and politicalmodel of cosmopolitanism, this paper offers anoverview of some of the conceptual limitations to thatmodel arising from computer-mediated, interest-basedsocial interaction. I discuss James Bohman'sdefinition of the global and cosmopolitan spheres andhow computer-mediated communication might impact thedevelopment of those spheres. Additionally, I questionthe commitment to purely rational models of socialcooperation when theorizing a computer-mediated globalpublic sphere, exploring recent alternatives. Andfinally, I discuss a few of the political andepistemic constraints on participation in thecomputer-mediated public sphere that threaten thecosmopolitan ideal.``Nature should be thanked for fostering socialincompatibility, enviously competitive vanity, andinsatiable desires for possessions and even power.Without these desires, all man's excellent naturalcapacities would never be roused to develop.'' Theultimate destiny for mankind, according to Kant whowrote these words in 1784, is to achieve through theuse of reason a `cosmopolitan existence' or ``thematrix within which all the original capacities of thehuman race may develop.'' Ironically, however, as Habermas andothers have realized, Kant's carefully developedvision for `perpetual peace' among nations and `worldcitizenship' is now murky even as the electronicallymediated infrastructure of that matrix is rapidlydeveloping. Globalization as a process has intensifiedto the point where a new social, political, andeconomic condition has taken hold in the global arena.Recently this condition has been termed ``globality'' –a term denoting a networked world characterized byspeed, mobility, risk, insecurity, andflexibility. And a debate is forming around thequestion of whether we are still in late modernity andexperiencing the culmination of modernity's inherentlyglobalizing tendency or instead we have entered thenetworked age, in which the tension between collectiveand transformative identities and the networking logicof dominant institutions and organizations heralds theend of civil society. Inthis paper assume the latter but wish to explorefurther the political and epistemic constraints onparticipation in the computer-mediated public sphere.These constraints seem certain to impact the viabilityof a cosmopolitan public sphere. In the first sectionI shall discuss James Bohman's definition of theglobal and cosmopolitan spheres and howcomputer-mediated communication (hereafter CMC) mightimpact the development of those spheres. In the secondsection, I question the commitment to purely rationalmodels of social cooperation when theorizing a globalpublic sphere. I explore recently proposed alternativeways of thinking about this issue in section three.And finally, I discuss a few of the political andepistemic constraints on participation in thecomputer-mediated public sphere that threaten thecosmopolitan ideal.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 82
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 137-138 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 83
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 105-111 
    ISSN: 1572-8439
    Schlagwort(e): censorship ; freedom of expression ; freedom of speech ; harm ; Internet ; regulation
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Legislation was recently introduced into theAustralian parliament to regulate the Internet. Thiscreated a storm of protest from within the computerindustry, where arguments against the legislationranged from those based on technical difficulties tothose based on moral considerations, particularly offreedom of speech and freedom to access information.This paper is primarily concerned with the moralaspects of Internet regulation, but within theparameters of current technology. It will argue thatsuch regulation can be justified, despite the factthat given the current technology there will bedifficulties with enforcement, and reduction inInternet performance.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 84
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 89-89 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 85
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 139-144 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 86
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 125-129 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract This essay considers methodological aspects ofcomputer ethics and argues for a multi-levelinterdisciplinary approach with a central role forwhat is called disclosive computer ethics. Disclosivecomputer ethics is concerned with the moraldeciphering of embedded values and norms in computersystems, applications and practices. In themethodology for computer ethics research proposed inthe essay, research takes place at three levels: thedisclosure level, in which ideally philosophers,computer scientists and social scientists collaborateto disclose embedded normativity in computer systemsand practices, the theoretical level, in whichphilosophers develop and modify moral theory, and theapplication level, that draws from research performedat the other two levels, and at which normativeevaluations of computer systems and practices takesplace.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 87
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 145-146 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 88
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 147-152 
    ISSN: 1572-8439
    Schlagwort(e): cyberspace ; ethical theory ; responsibility ; technological change
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Some kinds of technological change not only trigger new ethical problems, but also give rise to questions about those very approaches to addressing ethical problems that have been relied upon in the past. Writing in the aftermath of World War II, Hans Jonas called for a new ``ethics of responsibility,'' based on the reasoning that modern technology dramatically divorces our moral condition from the assumptions under which standard ethical theories were first conceived. Can a similar claim be made about the technologies of cyberspace? Do online information technologies so alter our moral condition that standard ethical theories become ineffective in helping us address the moral problems they create? I approach this question from two angles. First, I look at the impact of online information technologies on our powers of causal efficacy. I then go on to consider their impact on self-identity. We have good reasons, I suggest, to be skeptical of any claim that there is a need for a new, cyberspace ethics to address the moral dilemmas arising from these technologies. I conclude by giving a brief sketch of why this suggestion does not imply there is nothing philosophically interesting about the ethical challenges associated with cyberspace.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 89
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 159-166 
    ISSN: 1572-8439
    Schlagwort(e): Beauvoir ; communication ; cyberspace ; embodiment ; existentialism ; gender ; identity ; oppression
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In this paper I wish to show that, although traditional notions of genderand sex break down in cyberspace, a revised Beauvoirian understanding ofsexual secondariness is applicable and useful in coming to terms with thepossible ethical and philosophical ramifications of this relatively newcommunication medium. To this end, I argue that persons who enter intocommunication in online chat rooms necessarily deny the bodily aspectsof their own identity. In so doing, these persons make themselvesinessential, or secondary, in Beauvior's sense. For Beauvoir, this isa denial of one's own freedom, and thus commmunication in cyberspacebecomes an instance of self-oppression. Yet, if self-oppression canbe avoided, the self-oppressor is morally responsible for her or hisown oppression. Ultimately, I argue, cyberspatial communication is aninstance of such self-oppression.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 90
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 193-194 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 91
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 181-187 
    ISSN: 1572-8439
    Schlagwort(e): privacy ; public space ; sociality ; surveillance ; technology
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract While maintaining the importance of privacy for critical evaluations of surveillance technologies, I suggest that privacy also constrains the debate by framing analyses in terms of the individual. Public space provides a site for considering what is at stake with surveillance technologies besides privacy. After describing two accounts of privacy and one of public space, I argue that surveillance technologies simultaneously add an ambiguityand a specificity to public places that are detrimental to the social, cultural, and civic importance of these places. By making public places accessible to other places and/or times, surveillance technologies make these social contexts ambiguous by blurring their spatial and temporal bounds. At the same time, surveillancetechnologies valence public places in functionally specificways that are detrimental to informal civic life. To complement defensive approaches to surveillance technologies based onindividual privacy, I conclude by suggesting how sociality as a relational value or an ethics of place as a contextual value could provide a proactive line of reasoning for affirming the value ofthat which is between people and places.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 92
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 153-158 
    ISSN: 1572-8439
    Schlagwort(e): body ; communities, real ; communities, virtual ; freedom ; internet/cyberspace ; Marcel ; self-identity, virtual ; self-identity, real
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Many who speak glowingly about the possibilities for human relations in cyberspace, or virtual communities, laud them precisely because such communities are to a great extent free of the real spatial-temporal restrictions rooted in the limitations of our bodies. In this paper I investigate the importance of the body in establishing and maintaining human relations by considering the thought of the twentieth century French philosopher Gabriel Marcel. Because Marcel emphasized the central importance of the body in one's personal self-identity as well as in initiating and maintaining intersubjective bonds in human communities, he is able to offer some interesting reflections on the character of virtual communities. I suggest that a number of the features of cyberspace and its communities that make it attractive to many are precisely the characteristics that Marcel would consider detrimental to establishing intimate lasting human communities. I conclude by indicating why I think that Marcel would be concerned that certain trends in our high tech culture may well lead many to prefer ``living'' in virtual, rather than real communities.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 93
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 189-191 
    ISSN: 1572-8439
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 94
    Digitale Medien
    Digitale Medien
    Springer
    Ethics and information technology 2 (2000), S. 167-180 
    ISSN: 1572-8439
    Schlagwort(e): authenticity ; community ; computer mediated communication ; Dreyfus ; education ; internet ; Kierkegaard
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract If the rhetorical and economic investment of educators, policy makersand the popular press in the United States is any indication, thenunbridled enthusiasm for the introduction of computer mediatedcommunication (CMC) into the educational process is wide-spread.In large part this enthusiasm is rooted in the hope that throughthe use of Internet-based CMC we may create an expanded communityof learners and educators not principally bounded by physicalgeography. The purpose of this paper is to reflect critically uponwhether students and teachers are truly linked together as a``community'' through the use of Internet-based CMC. The paper usesthe writings of Kierkegaard, and Hubert Dreyfus's exploration ofKierkegaardian ideas, to look more closely at the prospects andproblems embedded in the use of Internet-based CMC to create ``distributed communities'' of teachers and learners. It is arguedthat from Kierkegaard's perspective, technologically mediatedcommunications run a serious risk of attenuating interpersonalconnectivity. Insofar as interpersonal connectivity is an integralcomponent of education, such attenuation bodes ill for some, andperhaps many instances of Internet-based CMC.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 95
    Digitale Medien
    Digitale Medien
    Springer
    Minds and machines 10 (2000), S. 129-135 
    ISSN: 1572-8641
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 96
    Digitale Medien
    Digitale Medien
    Springer
    Minds and machines 10 (2000), S. 1-14 
    ISSN: 1572-8641
    Schlagwort(e): connectionism ; logic ; subsymbols ; symbols ; trained network analysis
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In 1988, Smolensky proposed that connectionist processing systems should be understood as operating at what he termed the `subsymbolic' level. Subsymbolic systems should be understood by comparing them to symbolic systems, in Smolensky's view. Up until recently, there have been real problems with analyzing and interpreting the operation of connectionist systems which have undergone training. However, recently published work on a network trained on a set of logic problems originally studied by Bechtel and Abrahamsen (1991) seems to offer the potential to provide a detailed, empirically based answer to questions about the nature of subsymbols. In this paper, a network analysis procedure and the results obtained using it are discussed. This provides the basis for an insight into the nature of subsymbols, which is surprising.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 97
    Digitale Medien
    Digitale Medien
    Springer
    Minds and machines 10 (2000), S. 79-109 
    ISSN: 1572-8641
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract In the debate between simple inference heuristics and complex decision mechanisms, we take a position squarely in the middle. A decision making process that extends to both naturalistic and novel settings should extend beyond the confines of this debate; both simple heuristics and complex mechanisms are cognitive skills adapted to and appropriate for some circumstances but not for others. Rather than ask `Which skill is better?' it is often more important to ask `When is a skill justified?' The selection and application of an appropriate cognitive skill for a particular problem has both costs and benefits, and therefore requires the resolution of a tradeoff. In revisiting satisficing, we observe that the essence of satisficing is tradeoff. Unlike heuristics, which derive their justification from empirical phenomena, and unlike optimal solutions, which derive their justification by an evaluation of alternatives, satisficing decision-making derives its justification by an evaluation of consequences. We formulate and present a satisficing decision paradigm that has its motivation in Herbert Simon's work on bounded rationality. We characterize satisficing using a cost–benefit tradeoff, and generate a decision rule applicable to both designing intelligent machines as well as describing human behavior.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 98
    ISSN: 1572-8641
    Schlagwort(e): belief networks ; knowledge representation ; agile modeling ; bounded rationality ; decision theory
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Information is a force multiplier. Knowledge of the enemy's capability and intentions may be of far more value to a military force than additional troops or firepower. Situation assessment is the ongoing process of inferring relevant information about the forces of concern in a military situation. Relevant information can include force types, firepower, location, and past, present and future course of action. Situation assessment involves the incorporation of uncertain evidence from diverse sources. These include photographs, radar scans, and other forms of image intelligence, or IMINT; electronics intelligence, or ELINT, derived from characteristics (e.g., wavelength) of emissions generated by enemy equipment; communications intelligence, or COMINT, derived from the characteristics of messages sent by the enemy; and reports from human informants (HUMINT). These sources must be combined to form a model of the situation. The sheer volume of data, the ubiquity of uncertainty, the number and complexity of hypotheses to consider, the high-stakes environment, the compressed time frame, and deception and damage from hostile forces, combine to present a staggeringly complex problem. Even if one could formulate a decision problem in reasonable time, explicit determination of an optimal decision policy exceeds any reasonable computational resources. While it is tempting to drop any attempt at rational analysis and rely purely on simple heuristics, we argue that this can lead to catastrophic outcomes. We present an architecture for a ``complex decision machine'' that performs rational deliberation to make decisions in real time. We argue that resource limits require such an architecture to be grounded in simple heuristic reactive processes. We thus argue that both simple heuristics and complex decision machines are required for effective decision making in real time for complex problems. We describe an implementation of our architecture applied to the problem of military situation assessment.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 99
    ISSN: 1572-8641
    Schlagwort(e): cyclicity of behaviour ; cyclicity of environmental phenomena ; autonomous action ; sequence storage ; periodicity detection ; entrainment ; self-organizing map ; recurrent oscillatory self-organizing map ; knowing-what ; knowing-when
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract The study addresses the cyclically temporal aspect of sequence recognition, storage and recall using the Recurrent Oscillatory Self-Organizing Map (ROSOM), first introduced by Kaipainen, Papadopoulos and Karhu (1997). The unique solution of the network is that oscillatory States are assigned to network units, corresponding to their `readiness-to-fire'. The ROSOM is a categorizer, a temporal sequence storage system and a periodicity detector designed for use in an ambiguous cyclically repetitive environment. As its external input, the model accepts a multidimensional stream of environment-describing feature configurations with implicit periodicities. The output of the model is one or a few closed cycles abstracted from such a stream, mapped as trajectories on a two-dimensional sheet with an organization reminiscent of multi-dimensional scaling. The model's capabilities are explored with a variety of workbench data.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
  • 100
    Digitale Medien
    Digitale Medien
    Springer
    Minds and machines 10 (2000), S. 255-265 
    ISSN: 1572-8641
    Schlagwort(e): mind ; computation ; subjectivity ; understanding ; intelligence ; thinking ; creating ; three-world ontology ; care thesis ; background thesis
    Quelle: Springer Online Journal Archives 1860-2000
    Thema: Informatik , Philosophie
    Notizen: Abstract Discussions about the achievements and limitations of the various approaches to the development of intelligent systems can have an essential impact on empirically based research, and with that also on the future development of computer technologies. However, such discussions are often based on vague concepts and assumptions. In this context, we claim that the proposed `three-world ontology' offers the most appropriate conceptual framework in which the basic problems concerned with cognition and computation can be suitably expressed and discussed, although the solutions of some of these problems seem to lie beyond the horizon of our current understanding. We stress the necessity to differentiate between authentic and functional cognitive abilities; although computation is not a plausible way towards authentic intelligence, we claim that computational systems do offer virtually unlimited possibilities to replicate and surpass human cognitive abilities on the functional level.
    Materialart: Digitale Medien
    Standort Signatur Erwartet Verfügbarkeit
    BibTip Andere fanden auch interessant ...
Schließen ⊗
Diese Webseite nutzt Cookies und das Analyse-Tool Matomo. Weitere Informationen finden Sie hier...