Informacja

Drogi użytkowniku, aplikacja do prawidłowego działania wymaga obsługi JavaScript. Proszę włącz obsługę JavaScript w Twojej przeglądarce.

Wyszukujesz frazę "mereology" wg kryterium: Temat


Wyświetlanie 1-6 z 6
Tytuł:
Czy monady mają części? Witkiewicz i jego krytyka mereologii jako ontologii
Have Monads Any Parts? Witkiewicz on Mereology as Ontology
Autorzy:
Szachniewicz, Artur
Powiązania:
https://bibliotekanauki.pl/articles/1621979.pdf
Data publikacji:
2017
Wydawca:
Uniwersytet Szczeciński. Wydawnictwo Naukowe Uniwersytetu Szczecińskiego
Tematy:
Witkiewicz
Leśniewski
mereology
monads
ontology
Opis:
This paper reconstructs Stanisław Ignacy Witkiewicz’s understanding of logic, accentuating the differences in his evaluation of logic and systems of ‘logistics’. Leśniewski’s theory of collective sets (mereology) exemplifies logistics as understood by Witkiewicz. I present an outline of Leśniewski’s nominalism, which entails a belief in a non-abstract nature of sets. I focus on these features of mereology that could have led Witkiewicz to interpreting it as an ontological system. Witkacy (Witkiewicz’s penname) was skeptical of the usefulness of formal systems (or logistics), and of mereology in particular, for the purposes of designing a unified ontological system describing essential properties of objects (the world). According to Witkiewicz, such formal systems assumed the role of ontology but severely lacked in philosophical justification. I argue that regardless of his nominalism and corporeal conception of individuals, mereology cannot be considered a formal theory of Witkiewicz’s monads.
Źródło:
Analiza i Egzystencja; 2017, 37; 79-99
1734-9923
2300-7621
Pojawia się w:
Analiza i Egzystencja
Dostawca treści:
Biblioteka Nauki
Artykuł
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ł
Tytuł:
W obronie mereologicznego esencjalizmu
In Defence of Mereological Essentialism
Autorzy:
Grygianiec, Mariusz
Powiązania:
https://bibliotekanauki.pl/articles/909936.pdf
Data publikacji:
2005-09-01
Wydawca:
Uniwersytet Warszawski. Wydział Filozofii
Tematy:
chisholm r.
entia per se
entia successiva
essentialism
mereology
Opis:
The paper is an attempt to defend the Chisholm's metaphysical doctrine called mereological essentialism. The main thesis of mereological essentialism states that for any objects x and y - if x is ever a part of y, then y is necessarily such that x is a part of y, i.e. that all parts of y are essential to it (y has them at any time that y exists). This radical theory gives a categorisation of all objects via entia per se and entia successiva. The paper contains a critical survey of the theory of mereological essentialism: it deals with some important arguments against it and answers as well. The author tries to show that in defence of the theory and the categorisation in question the applicability of the doctrine of mereological essentialism must be somehow limited. He suggests that the best way in doing so is to restrict theses of mereological essentialism either only to objects qua occurrents or only to objects qua continuants or only to persons.
Źródło:
Filozofia Nauki; 2005, 13, 3; 57-69
1230-6894
2657-5868
Pojawia się w:
Filozofia Nauki
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
On path planning for mobile robots: Introducing the mereological potential field method in the framework of mereological spatial reasoning
Autorzy:
Ośmiałowski, B.
Powiązania:
https://bibliotekanauki.pl/articles/385053.pdf
Data publikacji:
2009
Wydawca:
Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów
Tematy:
mobile robotics
path planning
rough mereology
potential field
Player/Stage system
Opis:
Path planning is one of the most vital problems in mobile robotics; it falls into general province of planning, however, due to specificity of the subject of mobile robotics, it has emerged as a discipline per se with its own solutions. Among many methods of probabilistic, geometrical and topological nature, the methodology of potential fields introduced by Krogh (1984) and Khatib (1985), based on physical analogies with gravitational or electromagnetic fields, has emerged. We adhere to this methodology, however, contrary to the practice of building the potential on the basis of Coulomb, or gravitational force fields, we apply the novel idea of building the potential function by means of mereological distance over a juxtaposition of grids of fixed diameter, i.e., over a discrete structure. We describe our implementation of the relevant mereological functors in the Player/Stage system as SQL predicates accessible in Player/Stage cooperating with PostgreSQL database. We present also the results of simulations with mobile robots.
Źródło:
Journal of Automation Mobile Robotics and Intelligent Systems; 2009, 3, 2; 24-33
1897-8649
2080-2145
Pojawia się w:
Journal of Automation Mobile Robotics and Intelligent Systems
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
The p-semisimple property for some generalizations of BCI algebras and its applications
Autorzy:
Obojska, Lidia
Walendziak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/1791758.pdf
Data publikacji:
2020-01-30
Wydawca:
Uniwersytet Pedagogiczny im. Komisji Edukacji Narodowej w Krakowie
Tematy:
RM/tRM/*RM/RM**/*aRM/BCI/BCH/BZ/pre-BZ/pre-BCI algebras
p-semisimplicity
mereology
antisymmetry
Opis:
This paper presents some generalizations of BCI algebras (the RM, tRM, *RM, RM**, *RM**, aRM**, *aRM**, BCH**, BZ, pre-BZ and pre-BCI algebras). We investigate the p-semisimple property for algebras mentioned above; give some examples and display various conditions equivalent to p-semisimplicity. Finally, we present a model of mereology without antisymmetry (NAM) which could represent a tRM algebra.
Źródło:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica; 2020, 19; 79-94
2300-133X
Pojawia się w:
Annales Universitatis Paedagogicae Cracoviensis. Studia Mathematica
Dostawca treści:
Biblioteka Nauki
Artykuł
Tytuł:
A comparison of two systems of point-free topology
Autorzy:
Gruszczyński, Rafał
Pietruszczak, Andrzej
Powiązania:
https://bibliotekanauki.pl/articles/749986.pdf
Data publikacji:
2018
Wydawca:
Uniwersytet Łódzki. Wydawnictwo Uniwersytetu Łódzkiego
Tematy:
point-free topology
region-based topology
foundations of topology
mereology
mereological structures
separation structures
connection structures
Grzegorczyk structures
Biacino-Gerla structures.
Opis:
This is a spin-off paper to [3, 4] in which we carried out an extensive analysis of Andrzej Grzegorczyk’s point-free topology from [5]. In [1] Loredana Biacino and Giangiacomo Gerla presented an axiomatization which was inspired by the Grzegorczyk’s system, and which is its variation. Our aim is to compare the two approaches and show that they are slightly different. Except for pointing to dissimilarities, we also demonstrate that the theories coincide (in the sense that their axioms are satisfied in the same class of structures) in presence of axiom stipulating non-existence of atoms.
Źródło:
Bulletin of the Section of Logic; 2018, 47, 3
0138-0680
2449-836X
Pojawia się w:
Bulletin of the Section of Logic
Dostawca treści:
Biblioteka Nauki
Artykuł
    Wyświetlanie 1-6 z 6

    Ta witryna wykorzystuje pliki cookies do przechowywania informacji na Twoim komputerze. Pliki cookies stosujemy w celu świadczenia usług na najwyższym poziomie, w tym w sposób dostosowany do indywidualnych potrzeb. Korzystanie z witryny bez zmiany ustawień dotyczących cookies oznacza, że będą one zamieszczane w Twoim komputerze. W każdym momencie możesz dokonać zmiany ustawień dotyczących cookies