| Show Cart |
| Your Cart is currently empty. |
| Show Cart |
| Your Cart is currently empty. |
Philosophia Contributions to Philosophy Boolean Algebras
|
Herre, Heinrich
Boolean AlgebrasISBN: 978-3-88405-581-6 |
|
|
|
||
| Price:
€14.80
(including 19 % tax) |
||
Partial orderings and mereological Systems. The present paper focuses on the inter-relation between mereological systems and Boolean algebras and the investigation of model-theoretic and algorithmic properties of the corresponding theories. Some of these topics are discussed in a broader context in (Herre 2010). Throughout the paper the standard notation of first order logic and model theory is used, and familiarity with the following notions is presupposed: first order theory, model, relational structure, elementary equivalence, elementary type, and semantic deduction (for these notions see Chang 1977, Hodges 1993). A mereological system M = (E, ) is a relational structure which is determined by a domain E of entities and a binary relation on E, called part-of relation. The theory of all mereological systems, denoted by M, is called basic mereology. M is specified by the following axioms: (M1) ∀x (x x), (reflexivity) ... |
||
Cosmetics and Makeup
 €9.80 Add to Cart |
The Virtue Analysis of Inner Beauty: Inner Beauty as Moral, Eudaimonistic, or Relational Virtueness
 €14.80 Add to Cart |
The Beauty of Landscape
 €9.80 Add to Cart |
Aesthetic Experience and the Experience of Poetry
 €14.80 Add to Cart |
An Aesthetics of Insight
 €14.80 Add to Cart |
The Case Against Beauty
 €14.80 Add to Cart |
The Beauty of Doing: Remarks on the Appreciation of Conceptual Art
 €14.80 Add to Cart |
The Value of Art: On Meaning and Aesthetic Experience in Difficult Modern Art
 €9.80 Add to Cart |
Art, Beauty, and Criticism
 €9.80 Add to Cart |
Beauty and Bell’s Aesthetic Emotion
 €14.80 Add to Cart |