- Tytuł:
-
ALGEBRAICZNE ASPEKTY MEREOLOGII NIEEKSTENSJONALNEJ
ALGEBRAIC ASPECTS OF NON-EXTENSIONAL MEREOLOGY - Autorzy:
- Obojska, Lidia
- Powiązania:
- https://bibliotekanauki.pl/articles/488740.pdf
- Data publikacji:
- 2012
- Wydawca:
- Katolicki Uniwersytet Lubelski Jana Pawła II. Towarzystwo Naukowe KUL
- Tematy:
-
zasada ekstensjonalności
mereologia
kraty
Extensional Principle
mereology
lattices - Opis:
-
An extensional mereology was subjected to analysis of many authors. It was proved that it corresponds to a Boolean algebra without a null element. A slightly modified version of this model in which the primitive relation of being a part does not fullfill the Extensional Principle, will be called: Non-extensional Mereology. There is no systematic analysis for such a model until now. Some authors present partial descriptions of it. In this work we would like to propose a detailed and systematic analysis of Non-extensional Mereology. We present a minimal set of axioms and show that this model, under certain conditions, corresponds to an implicative lattice.
Mereologia klasyczna, nazywana również˙ mereologia˛ ekstensjonalna˛ została dość szczegółowo przebadana przez wielu autorów. Udowodniono, z˙e jest to model odpowiadający algebrom Boole’a bez zera. Model nieco słabszy, w którym relacja pierwotna bycia częścią nie spełnia zasady ekstensjonalności, może zostać nazwany mereologią nieekstensjonalną. Jak dotychczas nie istnieje systematyczna analiza takiego modelu. Kilka prac przedstawia jedynie pewne jej fragmentaryczne opisy. W niniejszej pracy pra- gniemy zaproponować formalna˛ i kompletna˛ analizę części tej teorii. Wprowadzając minimalny układ aksjomatów wykazujemy, że odpowiada ona algebraicznej strukturze kraty implikatywnej. - Źródło:
-
Roczniki Filozoficzne; 2012, 60, 1; 105-124
0035-7685 - Pojawia się w:
- Roczniki Filozoficzne
- Dostawca treści:
- Biblioteka Nauki
Artykuł