Full-text resources of CEJSH and other databases are now available in the new Library of Science.
Visit https://bibliotekanauki.pl

Results found: 2

first rewind previous Page / 1 next fast forward last

Search results

Search:
in the keywords:  mereologia
help Sort By:

help Limit search:
first rewind previous Page / 1 next fast forward last
1
100%
PL
Recenzja książki: Lidia Obojska, U źródeł zbiorów kolektywnych. O mereologii nieantysymetrycznej, Wydawnictwo Uniwersytetu Przyrodniczo-Humanistycznego w Siedlcach, Siedlce 2013, ss. 180.
Roczniki Filozoficzne
|
2012
|
vol. 60
|
issue 1
105-124
EN
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.
PL
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.
first rewind previous Page / 1 next fast forward last
JavaScript is turned off in your web browser. Turn it on to take full advantage of this site, then refresh the page.