Ontologia Leśniewskiego

Ontologia Leśniewskiego jest współczesnym rachunkiem nazw stworzonym przez polskiego logika Stanisława Leśniewskiego.

Stanowi z jednej strony uogólnienie klasycznego rachunku predykatów, a z drugiej strony jest to system zawierający najszerzej ujęty współczesny rachunek nazw. W wyrażeniach tego systemu występują stałe i zmienne należące do kategorii składniowych zdań i nazw oraz funktorów dowolnego rzędu, które można uzyskać wychodząc od tych dwóch kategorii składniowych, a także kwantyfikatory wiążące dowolne zmienne systemu. System ten jest nadbudowany na protetyce, a jego swoisty aksjomat zawiera nową stałą pierwotną będącą funktorem zdaniotwórczym od dwóch argumentów zdaniowych.

W ontologii formalnej Leśniewskiego spotykamy następujące twierdzenia: "A jest przedmiotem" znaczy tyle, co "dla pewnego x, A jest x". W rezultacie: jeżeli A jest przedmiotem, to A istnieje; a dokładniej: A jest przedmiotem zawsze i tylko wtedy, gdy A istnieje i istnieje co najwyżej jedno A. Ontologia formalna nie implikuje jednak żadnych tez egzystencjalnych. Jak pokazał Kazimierz Ajdukiewicz, sens słowa "istnieje" musi być każdorazowo ustalany przez kontekst semantyczny, w którym pojawiają się wyrażenia typu "A istnieje".

Odmienne stanowisko zajmowali m.in. Bertrand Russell i Willard Van Orman Quine. Uważali oni, że w odróżnieniu od języka potocznego i filozoficznego, w którym słowo "istnieje" ma wiele znaczeń, logika formułuje jedno uniwersalne pojęcie istnienia, wyrażone przy pomocy kwantyfikatora egzystencjalnego.

Podstawowym aksjomatem ontologii Leśniewskiego jest aksjomat Leśniewskiego z 1921 roku:

aεb ↔ ∃ c: cεa ∧ ∀ c,d: cεa∧dεa→cεd ∧ ∀ c: cεa→cεb

, przy czym "ε" znaczy tyle, co "jest" w roli łącznika między podmiotem a orzecznikiem[1].

Przypisy

  1. ↑ Tadeusz Kotarbiński: Elementy teorii poznania, logiki formalnej i metodologii nauk. Warszawa: Zakład Narodowy im. Ossolińskich – Wydawnictwo, Ediciones Altaya Polska Sp. z o.o. & De Agostini Polska Sp. z o.o., 2003, s. 363. ISBN 83-7316-051-5.

Bibliografia

  • Hempoliński Michał, "Filozofia współczesna. Wprowadzenie do zagadnień i kierunków", Warszawa 1989.
  • Borkowski Ludwik "Wprowadzenie do logiki i teorii mnogości" Lublin 1991.

Read other articles:

Carolina, Rhode Island

United States historic placeCarolina Village Historic DistrictU.S. National Register of Historic PlacesU.S. Historic district Albert S. Potter Octagon House (1867)Show map of Rhode IslandShow map of the United StatesLocationCharlestown and Richmond, Rhode IslandCoordinates41°27′31″N 71°39′51″W / 41.45861°N 71.66417°W / 41.45861; -71.66417Architectural styleGreek Revival, Italianate, Queen AnneNRHP reference No.74000009[1]Added to NRH...

 

هراري

  ميّز عن هرري.   هراري (بالروسية: Хараре)‏  هراري هراري  خريطة الموقع تاريخ التأسيس 1890  تقسيم إداري البلد زيمبابوي  [1][2] عاصمة لـ زيمبابويرودسيارودسيا الجنوبيةاتحاد رودسيا ونياسالاند  التقسيم الأعلى إقليم هراري  [لغات أخرى]‏  خصائص جغ...

 

PAS Mantab

Untuk sekuel dari acara ini yang juga dibintangi oleh Andre Taulany, lihat Pas Buka FM dan Pas Sore. PAS MantabPAS MantabNegara asalIndonesiaJmlh. episode424 episodeProduksiDurasi105 menit (23.00-00.45 hari Sabtu)Rilis asliJaringanTrans7RilisSabtu, 6 Maret 2010 –Sabtu, 28 Juni 2014Acara terkaitOpera Van Java (di Trans 7) Ini Talkshow (di NET.) Ini Sahur (di NET.) Pagi Pagi (di NET.) PAS Mantab adalah acara talkshow berbasis komedi yang ditayangkan oleh Trans7. Tayang sejak Sabtu, 6 Mar...

Marvel vs. Capcom: Infinite

2017 fighting video game MVCI redirects here. For the timeshare brand, see Marriott Vacation Club International. 2017 video gameMarvel vs. Capcom: InfiniteDeveloper(s)CapcomPublisher(s)CapcomDirector(s)Norio HiroseProducer(s)Mike EvansTsukasa TakenakaDesigner(s)Tsuyoshi NagayamaProgrammer(s)Takashi NishimuraWriter(s)Paul GardnerComposer(s)Eishi SegawaSeriesMarvel vs. CapcomEngineUnreal Engine 4Platform(s)PlayStation 4WindowsXbox OneReleaseWW: September 19, 2017JP: September 21, 2017Genre(s)Fi...

 

Basilika Santa Amelberga di Biara Susteren, Susteren

Basilika Santa AmelbergaBasilika Minor Santa AmelbergaBelanda: Sint-Amelbergabasiliekcode: nl is deprecated Basilika Santa AmelbergaLokasiSusterenNegara BelandaDenominasiGereja Katolik RomaArsitekturStatusBasilika minorStatus fungsionalAktif Basilika Santa Amelberga (Belanda: Sint-Amelbergabasiliekcode: nl is deprecated ) adalah sebuah gereja basilika minor Katolik yang terletak di kompleks Biara Susteren, Susteren, Belanda. Basilika ini ditetapkan statusnya pada 2007 dan didedikasikan k...

 

Old Town (San Diego)

Old Town San Diego Il vecchio agglomerato di San Diego, definito Old Town, si trova a nord di Downtown, ed è caratterizzato dalla particolarità dei suoi edifici, in stile coloniale spagnolo. La Old Town si estende per 93 ettari ed è sfiorata dalla Interstate 8 a nord, dalla Interstate 5 ad ovest, da Mission Hills ad est e da Bankers Hill a sud. È la più vecchia area edificata nella città di San Diego ed è il luogo in cui è avvenuto il primo insediamento europeo nell'area che, oggigior...

Chongos zamoranos

Dessert of Mexican cuisine made of curdled milk Traditional earthenware pot with prepared chongos Chongos zamoranos is a Mexican dessert made of curdled milk.[1] It is typically prepared with rennet tablets, milk, sugar and cinnamon. The result is a dish of soft cheese-like consistency on a sweet brown milky syrup. Its origin is attributed to colonial-era convents in the city of Zamora, Michoacán.[2] See also List of Mexican dishes  food portal References ^ Hursh Gra...

 

Doughboy Park

Public park in Queens, New York Doughboy ParkDoughboy statue at entrance to parkTypeUrban parkLocationWoodside, Queens, New York CityCoordinates40°44′46.58″N 73°54′31.52″W / 40.7462722°N 73.9087556°W / 40.7462722; -73.9087556 (Doughboy Park)Area1.71 acres (0.69 ha)Created1957Operated byNew York CityOpenAll year Doughboy Park is a 1.71-acre (6,900 m2) New York City public park in the Woodside neighborhood of Queens. It is located on a ...

 

コルク

この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出典検索?: コルク – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL（2017年4月） コルクを打ち抜いて作った瓶の栓 コルク（木栓、�...

لورغروت

لورغروتمعلومات عامةالمكان Semriach (en) [1] — Peggau (en) [2] الجبل Tanneben (en) البلد  النمسا[1] الإحداثيات 47°13′37″N 15°22′48″E / 47.227°N 15.38°E / 47.227; 15.38 المستوى 466 متر[2] الاكتشاف 1893 تعديل - تعديل مصدري - تعديل ويكي بيانات لورغروت كهف منفرد هو أكبر كهف في جبال الألب ال�...

 

1988–89 Italy rugby union tour of Ireland

This article includes a list of references, related reading, or external links, but its sources remain unclear because it lacks inline citations. Please help improve this article by introducing more precise citations. (September 2018) (Learn how and when to remove this message) 1988–89 Italy rugby union tour of IrelandSummaryP W D L Total03 01 00 02Test match01 00 00 01OpponentP W D L  Ireland1 0 0 1 The 1989 Italy rugby union tour of Ireland was a series of matches played between Dece...

 

Чемпионат мира по хоккею с шайбой среди молодёжных команд 2019

Чемпионат мира по хоккею с шайбой среди молодёжных команд 20192019 IIHF Ice Hockey U20 World Championship Подробности турнира Страна проведения  Канада Города проведения Ванкувер Виктория Время проведения 26 декабря 2018 — 5 января 2019 Число команд 10 Призовые места 1 Чемпион  Финляндия (5-й �...

James S. Wadsworth

Union Army officer in the American Civil War For other people named James Wadsworth, see James Wadsworth (disambiguation). James S. WadsworthBirth nameJames Samuel WadsworthBorn(1807-10-30)October 30, 1807Geneseo, New YorkDiedMay 8, 1864(1864-05-08) (aged 56)Spotsylvania County, VirginiaPlace of burialTemple Hill Cemetery, Geneseo, New YorkAllegianceUnited States of AmericaUnionService/branchUnited States ArmyUnion ArmyYears of service1861–1864Rank Brevet Major GeneralBattles/...

 

ペルシア人

この項目では、民族について説明しています。その他の用法については「ペルシア人 (曖昧さ回避)」をご覧ください。 古代ペルシアの貴族と兵士の服装 ペルシア人（ペルシアじん、ペルシア語: فارس‎、英語: persian）は、中東のイランを中心に住み、ペルシア語を話す人々。イラン系民族の一つ。 一般的定義 ペルシア語の話者の分布図 アケメネス朝ペルシ�...

 

THE AGIT: Ryeo Wook - Ever Lasting Star

THE AGIT: Ryeo Wook - Ever Lasting StarTur  Korea Selatan oleh RyeowookTHE AGIT: Ryeo Wook - Ever Lasting Star PosterThe Little PrinceMulai19 Februari 2016 (2016-02-19)Berakhir13 Maret 2016 (2016-03-13)Penampilan6Situs webryeowook.smtown.com THE AGIT: Ryeo Wook - Ever Lasting Star merupakan konser solo pertama anggota boy band Korea Selatan Super Junior, Ryeowook untuk mempromosikan album mini perdananya The Little Prince. Dan merupakan bagian keempat dari seri konser SMTOWN TH...

Lamiadji

Artikel ini sebatang kara, artinya tidak ada artikel lain yang memiliki pranala balik ke halaman ini.Bantulah menambah pranala ke artikel ini dari artikel yang berhubungan atau coba peralatan pencari pranala.Tag ini diberikan pada Desember 2023. Marsekal Pertama TNI (Purn.) Drs. H.R. Lamiadji (9 Agustus 1929 – 7 Januari 1989) adalah seorang perwira tinggi angkatan udara dan politikus dari Indonesia. Ia menjabat sebagai Kepala Sekretariat Umum Angkatan Udara dan anggota Dewan P...

 

Philippe Rühl

French politician (1737–1795) This article needs additional citations for verification. Please help improve this article by adding citations to reliable sources. Unsourced material may be challenged and removed.Find sources: Philippe Rühl – news · newspapers · books · scholar · JSTOR (May 2021) (Learn how and when to remove this message) Philippe Rühl37th President of the National ConventionIn office6 March 1794 – 21 March 1794Preceded b...

 

Annihilation

Collision of a particle and its antiparticle This article is about the physical process of particle–antiparticle annihilation. For other uses, see Annihilation (disambiguation). A Feynman diagram showing the mutual annihilation of a bound state electron positron pair into two photons. This bound state is more commonly known as positronium. Antimatter Antiparticles Positron Antiproton Antineutron Antihydrogen Antihelium Onia Antiprotonic hydrogen Antiprotonic helium Muonium True muonium ...

Great Depression

Worldwide economic depression (1929–1939) This article is about the severe worldwide economic downturn in the 1930s. For other uses, see The Great Depression (disambiguation). Unemployed people lined up outside a soup kitchen in Chicago during the Great Depression The Great Depression was a severe global economic downturn from 1929 to 1939 that affected many countries across the world. It became evident after a sharp decline in stock prices in the United States, the largest economy in the w...

 

餅

この項目では、日本におけるもち米の加工食品について説明しています。 作物の特性については「糯」をご覧ください。 中華料理における食べ物の分類の一つについては「餅 (中国)」をご覧ください。 この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。（このテンプレートの使い方）出...