Search results for "Logik"

The complexity of finite model reasoning in description logics

2005

AbstractWe analyse the complexity of finite model reasoning in the description logic ALCQI, i.e., ALC augmented with qualifying number restrictions, inverse roles, and general TBoxes. It turns out that all relevant reasoning tasks such as concept satisfiability and ABox consistency are ExpTime-complete, regardless of whether the numbers in number restrictions are coded unarily or binarily. Thus, finite model reasoning with ALCQI is not harder than standard reasoning with ALCQI.

Ecumenical issues in Józef Herbut’s philosophy of religion

2020

Filozofia religii była jednym z głównych nurtów badań prof. Józefa Herbuta. Stworzył on oryginalną odmianę analitycznej filozofię religii. Przy pomocy środków logicznych analizował w niej różne wymiary religii, przede wszystkim język religijny. W ostatnim okresie twórczości do swych badań filozoficznych Herbut włączył zagadnienia ekumeniczne. Jego badania tych zagadnień miały dwa etapy. W pierwszym etapie Herbut próbował stworzyć specyficzną logikę ekumenizmu. Postawił on hipotezę, że przyczyną kryzysu dialogu ekumenicznego jest brak wyraźnie określonego celu. Wykorzystując logiczną teorię zbiorów, Herbut skonstruował możliwe modele jedności doktrynalnej różnych wyznań. Modele te zostały sk…

A uniform quantificational logic for algebraic notions ofcontext

2002

A quantificational framework of formal reasoning is proposed, which emphasises the pattern of entering and exiting context. Contexts are modelled by an algebraic structure which reflects the order and manner in which context is entered into and exited from. The equations of the algebra partitions context terms into equivalence classes. A formal semantics is defined, containing models that map equivalence classes of certain context terms to sets of first order structures. The corresponding Hilbert system incorporates the algebraic equations as axioms asserted in context. In this way a uniform logic for arbitrary algebras of context is obtained. Soundness and completeness are proved. In semig…

Abriss der Algebra der Logik, Teil 1. Elementarlehre

1909

Bearbeitet im Auftrag der Deutschen Mathematiker-Vereinigung von Eugen Müller.

Subjetividad y valor en un mundo natural

1998

I discuss, in this paper, the view of value that is associated with Humean moti- vational theories. I argue that these theories unjustifiedly constrain the kind of ele- ment that may contribute to our motivational economy and, thereby, unduly reduce our capacity to recognise certain sources of value. To this purpose, I will examine some axiological experiences that, if I am right, are inaccessible to a Humean analysis of our motivational structure. I will insist, for instance, on a sense in which social links may be important in the life of a human being which the Humean notion of de- sire cannot apprehend. Se discute, en este artículo, el tratamiento de lo valioso que se asocia a las teo-…

Cerebros y escarabajos: Sobre el argumento antiesceptico de Putnam

2003

In Reason, Truth, and History, Hilary Putnam presents an argument aimed at showing that the modern skeptic hypothesis of a brain in a vat is self-refuting. In my view, and despite the enormous amount of literature about this argument, it has not yet been shown all the absurd consequences to which the assumption of the thesis that Putnam maintains in order to refute that hypothesis may lead. The purpose of this paper is, then, to explore to the last consequences that argument and, bringing to light its scarce plausibility, to cast serious doubt upon Putnam's strategy.

El Idealismo fenomenológico de Husserl

1931

No vācu valodas tulkojis José Gao

Echt und Unecht: Betrachtungen über das Denken und den Charakter

1923

Der Begriff der Urteilskraft bei Kant

1906

A decidable multi-modal logic of context

1997

We give a logic for formulas Á¡± Ã, with the informal reading ”à is true in the context described by Á”. These are interpreted as binary modalities, by quantification over an enumerable set of unary modalities c¡± Ã, meaning ”à is true in context c”. The logic allows arbitrary nesting of contexts. A corresponding axiomatic presentation is given, and proven to be decidable, sound, and complete. Previously, quantificational logic of context restricted the nesting of contexts, and was only known to be decidable in very special cases.