標(biāo)題: Titlebook: Le?niewski’s Systems; Ontology and Mereolo Jan T. J. Srzednicki,V. F. Rickey Book 1984 Martinus Nijhoff Publishers, The Hague and Ossolineu [打印本頁(yè)] 作者: squamous-cell 時(shí)間: 2025-3-21 16:46
書(shū)目名稱(chēng)Le?niewski’s Systems影響因子(影響力)
作者: exhilaration 時(shí)間: 2025-3-21 23:41 作者: ostrish 時(shí)間: 2025-3-22 02:11
The Dependence of a Mereological Axiom,In this note we show that in the standard axiom system for mereology which follows, the reflexive axiom, ., is dependent on ., ., . and ..作者: CORE 時(shí)間: 2025-3-22 05:55
,Relation of Le?niewski’s Mereology to Boolean Algebra,It has been stated in Tarski [1956] and ‘proved’ in Grzegorczyk [1955] that:.Proved has been put in quotes, not because Grzegorczyk’s proof is faulty but because the system he describes as mereology is in fact not Le?niewski’s mereology.作者: 善變 時(shí)間: 2025-3-22 09:32 作者: ASTER 時(shí)間: 2025-3-22 16:24
,S. Le?niewski’s Calculus of Names,gen. .). This was by no means the only reason for Le?niewski’s use for his system a name indicating one of the main branches of philosophy. Thus in Le?niewski’s article “On the Foundations of Mathematics”. we read: 作者: paragon 時(shí)間: 2025-3-22 18:22 作者: 殘暴 時(shí)間: 2025-3-22 22:21 作者: decipher 時(shí)間: 2025-3-23 02:55
978-94-009-6091-6Martinus Nijhoff Publishers, The Hague and Ossolineum Publishing House, Wroclaw — Poland 1984作者: Essential 時(shí)間: 2025-3-23 07:36
Le?niewski’s Systems978-94-009-6089-3Series ISSN 0924-4530 作者: nonradioactive 時(shí)間: 2025-3-23 11:11
0924-4530 Overview: 978-94-009-6091-6978-94-009-6089-3Series ISSN 0924-4530 作者: 妨礙 時(shí)間: 2025-3-23 16:05
https://doi.org/10.1007/978-94-009-6089-3algebra; calculus; logic; ontology作者: adipose-tissue 時(shí)間: 2025-3-23 18:40
Ontology without Axioms,nd agreed principles, we avoid difficulties consequent on operating functions having different and varying domains. Such difficulties ought to be solved once and for all within the theory of apparent variables so as to make free operations with functions of different categories possible within the f作者: bacteria 時(shí)間: 2025-3-23 23:46
Logic and Existence,t will be adopted in my analysis. The problem of existence will interest me only to the extent to which it enters the province of logical enquiry and I shall try to disentangle it a little by departing from the generally accepted interpretation of the quantifiers and by bringing in other concepts re作者: Wordlist 時(shí)間: 2025-3-24 02:24
,S. Le?niewski’s Calculus of Names,gen. .). This was by no means the only reason for Le?niewski’s use for his system a name indicating one of the main branches of philosophy. Thus in Le?niewski’s article “On the Foundations of Mathematics”. we read: 作者: Mitigate 時(shí)間: 2025-3-24 06:54 作者: Ambulatory 時(shí)間: 2025-3-24 11:48 作者: conflate 時(shí)間: 2025-3-24 16:52 作者: Confirm 時(shí)間: 2025-3-24 19:05
,Studies in Le?niewski’s Mereology,wski’s system of the foundations of mathematics, it is little known, and little research has been done up to now in this field of study.. Consequently Mereology abounds in problems which so far have remained unsolved. Some of these problems will emerge in the last section of the paper.作者: burnish 時(shí)間: 2025-3-25 02:45 作者: 表主動(dòng) 時(shí)間: 2025-3-25 05:11
,Consistency of Le?niewski’s Mereology,mework of the theory of real numbers. His proof was never published, but in a recent paper R. E. Clay has succeeded in reconstructing a version of it.. Clay’s result amounts to showing that if Le?niewski’s Ontology expanded by the addition of the axioms for the real numbers is consistent then Mereol作者: Trypsin 時(shí)間: 2025-3-25 11:34
Ontology without Axioms,he substitution of a constant for the variable becomes a sentence. — Consider some expressions of type F(.), e.g.: . is divisible by 5, . is running, it is not true that ., etc. All these expressions attribute some property to ., and when the expression is written in symbols, the property is represe作者: BLUSH 時(shí)間: 2025-3-25 13:30
,On Le?niewski’s Elementary Ontology,s investigations into ontology were destroyed during world war II. Nor should one ignore the fact that most of the published papers, in which Le?niewski presented his system at the stage of formalisation, were written in a difficult and not easily intelligible style. Le?niewski’s complicated symbols作者: CESS 時(shí)間: 2025-3-25 16:36 作者: addict 時(shí)間: 2025-3-25 22:18 作者: Kidnap 時(shí)間: 2025-3-26 03:18
,On Le?niewski’s Ontology,ic to be a true, though very general, description of reality, a kind of πρωτη ?ιλοσο??α. It is significant that the Warsaw School of Logic influenced the development of philosophy in Poland to an extent to which it never succeeded in influencing the development of mathematics.作者: Omniscient 時(shí)間: 2025-3-26 05:33
5樓作者: exacerbate 時(shí)間: 2025-3-26 11:45
5樓作者: Synapse 時(shí)間: 2025-3-26 16:20
5樓作者: Camouflage 時(shí)間: 2025-3-26 20:06
6樓作者: 加強(qiáng)防衛(wèi) 時(shí)間: 2025-3-26 22:22
6樓作者: periodontitis 時(shí)間: 2025-3-27 01:30
6樓作者: 要素 時(shí)間: 2025-3-27 05:21
6樓作者: 閑聊 時(shí)間: 2025-3-27 13:09
7樓作者: Filibuster 時(shí)間: 2025-3-27 16:14
7樓作者: 凹處 時(shí)間: 2025-3-27 19:15
7樓作者: 不可救藥 時(shí)間: 2025-3-28 01:34
7樓作者: genesis 時(shí)間: 2025-3-28 02:48
8樓作者: 頑固 時(shí)間: 2025-3-28 08:49
8樓作者: 博愛(ài)家 時(shí)間: 2025-3-28 13:21
8樓作者: Ingenuity 時(shí)間: 2025-3-28 16:35
8樓作者: 最有利 時(shí)間: 2025-3-28 21:40
9樓作者: 不感興趣 時(shí)間: 2025-3-28 23:30
9樓作者: Medicaid 時(shí)間: 2025-3-29 03:52
9樓作者: faucet 時(shí)間: 2025-3-29 10:15
9樓作者: aggrieve 時(shí)間: 2025-3-29 13:56
10樓作者: 破譯 時(shí)間: 2025-3-29 18:04
10樓作者: amplitude 時(shí)間: 2025-3-29 23:48
10樓作者: garrulous 時(shí)間: 2025-3-30 00:26
10樓
