表主动
发表于 2025-3-25 05:11:00
,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
发表于 2025-3-25 11:34: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
发表于 2025-3-25 13:30:09
,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
发表于 2025-3-25 16:36:18
http://reply.papertrans.cn/59/5856/585529/585529_24.png
addict
发表于 2025-3-25 22:18:04
http://reply.papertrans.cn/59/5856/585529/585529_25.png
Kidnap
发表于 2025-3-26 03:18:04
,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
发表于 2025-3-26 05:33:07
5楼
exacerbate
发表于 2025-3-26 11:45:21
5楼
Synapse
发表于 2025-3-26 16:20:25
5楼
Camouflage
发表于 2025-3-26 20:06:42
6楼