{"entities":{"Q2652280":{"pageid":2663023,"ns":120,"title":"Item:Q2652280","lastrevid":44564754,"modified":"2025-11-23T22:57:49Z","type":"item","id":"Q2652280","labels":{"en":{"language":"en","value":"St. Le\u015bniewski's protothetics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3094248"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$ABC4049E-9BA2-4CFE-BF3C-720DC120BF1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"aac17f57f8bf59011ee0d5568cc13c7ccf58fc7d","datavalue":{"value":{"text":"St. Le\u015bniewski's protothetics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2652280$66D68D3F-8800-4D47-9040-30EBA46AA3A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"95d8bf91bff96b8a8d03626505f65fa7a07f05ee","datavalue":{"value":"0059.01209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$D7064732-BB76-4222-8E81-4B688441C60F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f31bc86838f7b26479025c052e5fb28540cde0f9","datavalue":{"value":"10.1007/BF02272275","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$6F3F722B-6004-4FCB-A7E3-5D63B9F7E4A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$A25C8528-30C0-4FA9-AE7D-DD4736146AFF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d56348066cef9a6564d6422c03dced9a9318216e","datavalue":{"value":{"time":"+1954-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2652280$73DBEE09-A14B-49AC-9C01-794FF9239EEA","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ccc7de36dce9fc0ac3448a66ebf8db8244aea0b2","datavalue":{"value":"Das System der Logik von Stanis\u0142aw Le\u015bniewski (1886--1939) liegt nur fragmentarisch vor, dazu in schwer lesbaren und zum Teil auch schwer erreichbaren Abhandlungen. Le\u015bniewskis Manuskripte wurden 1944 in Warschau vernichtet. Die auch f\u00fcr den Nicht-Spezialisten lesbare Darstellung des Verf. st\u00fctzt sich teilweise auf Vorlesungsnachschriften. Alle Resultate seien L. bereits bekannt gewesen, die Beweise stammen zum Teil vom Verf. Die vorliegende Abhandlung beschr\u00e4nkt sich auf die ,Protothetik', d. h. eine Aussagenlogik mit Quantoren. ,Ontologie' und ,Mereologie' sollen in weiteren Abhandlungen dargestellt werden.   L. teilt die Ausdr\u00fccke der Logik ein in semantische Kategorien (s. K.), d. h. in Aussagen, Namen und Funktoren. Diese Theorie, die jedoch sprachliche Elemente, nicht Objekte systematisiert, ist einfacher als die verzweigte, aber reicher als die sog. einfache Typentheorie Russells. Die s. K. der Protothetik (P.) umfa\u00dft Aussagen und aussagenerzeugende Funktoren. (Verf. erw\u00e4hnt nicht die Funktoren erzeugenden Funktoren, die L. auch in der P. benutzt, wie auch Verf. S. 66 in D 1, wo \\(\\Phi <q>\\) in \\(\\Phi <q> (p)\\) ein Funktor sein soil und offenbar auch \\(\\Phi\\) ein Funktor ist.)    Die Funktoren werden nach Ordnungen unterschieden: 1. Ordnung: alle Argumente sind Aussagen; \\(n\\)-te Ordnung: wenigstens ein Argument ist ein Funktor von der (h\u00f6chstens) \\((n-1)\\)-ten-Ordnung. Quantoren und Klammern hat L. keiner s. K. zugeordnet (was Verf. leider nicht welter diskutiert). Thesen der P. k\u00f6nnen enthalten: (1) Konstante und Variable, die zur s. K. der Ausdr\u00fccke der P. geh\u00f6ren; (2) Quantoren, (d. h. den Allquantor), die solche Variablen binden; (3) Klammern. Verf. behandelt drei Systeme \\(S\\), \\(S_1\\), \\(S_2\\) der P. Systeme der elementaren P. k\u00f6nnen sich unterscheiden hinsichtlich der Grundterme, der Schlu\u00dfregeln oder der Axiome. \\(S\\) und \\(S_1\\) haben die Implikation als einzigen Grundterm, \\(S_2\\) die \u00c4quivalenz. \\(S\\) und \\(S_1\\) lassen sich auf folgendem Axiom aufbauen (Kap. 9):   \\[  [f,g] \\{f([p]\\{p \\supset p\\}) \\supset (f([p]\\{p\\}) \\supset f(q))\\}\\}.\\tag{A\\,1} \\]   In \\(S\\) gilt die Verifikationsregel: eine Aussage \\(\\alpha\\) der P. ist eine These von \\(S\\), wenn jede Aussage, die aus \\(\\alpha\\) durch die Ersetzung einer freien, einen Funktor repr\u00e4sentierenden Variablen durch die Verifikatoren dieser Variablen hervorgeht, eine These von \\(S\\) ist. Der Begriff des Verifikators wird induktiv eingef\u00fchrt. (Kap. 10). Dieses etwas umst\u00e4ndliche Vorgehen l\u00e4\u00dft sich durch den \u00dcbergang zu dem \u00e4quivalenten (Kap. 12) System \\(S_1\\) ersparen. In \\(S_1\\) gilt die Extensionalit\u00e4tsregel, nach welcher der f\u00fcr einen gegebenen einstelligen Funktor von wenigstens der 2. Ordnung formulierte Extensionalit\u00e4tssatz \\(([f, p, q] \\{(p=q) \\supset (f(p), f(q))\\}\\), Kap. 6) eine These von \\(S_1\\) ist. Ferner gelten in \\(S\\) und \\(S_1\\): die Abtrennungsregel, die Einsetzungsregel, die Regel der vorderen und der hinteren Generalisierung sowie die -- leider nicht ausf\u00fchrlich diskutierte --Regel f\u00fcr die Hinzunahme von Definitionen (Kap. 5). Diese Regeln erstrecken sich auch auf Ausdr\u00fccke aus s. K., die nicht in den Axiomen auftreten (Kap. 7). \\(S\\) und \\(S_1\\) sind vollst\u00e4ndig (Kap. 13).   \\(S_2\\) hat als Axiome:   \\[  [p,q,r] \\{(p\\equiv q) \\equiv ((r\\equiv q) \\equiv (p \\equiv r)) \\}, \\tag{A1} \\]    \\[  [p,q] \\{(p\\equiv q) \\equiv [f(p)] \\{f(p) \\equiv f(q)\\}\\}, \\tag{A2} \\]    \\[  [p,q] \\{(p\\equiv q) \\equiv [f] \\{(f(p)\\equiv (f(q)) \\equiv (p \\equiv q)\\}\\}, \\tag{A3} \\]    \\[  [f] \\{f([p]\\{p\\}) \\equiv (f([p]\\{p\\} \\equiv [p]\\{p\\}) \\equiv [q]\\{f([p]\\{p\\}\\equiv f(q)\\} ) \\}; \\tag{A4} \\]  und es gelten: (1) die Einsetzungsregel, (2) die Abtrennungsregel f\u00fcr \u00c4quivalenzen, (3) die Distributivregel f\u00fcr den Allquantor, (4) die Extensionalit\u00e4tsregel, (5) die Definitionsregel, nach der jede korrekte Definition eine These von \\(S_2\\) ist. \\(S_2\\) ist vollst\u00e4ndig (Kap. 14). Die P. stellt eine Verallgemeinerung des Aussagenkalk\u00fcls (mit Implikation und Negation) dar. Verf. l\u00e4\u00dft \\(S\\) und \\(S_1\\) schrittweise aus diesem hervorgehen. Da die Definitionen in der P. Thesen sind, erf\u00fcllen sie nicht die Bedingung, nicht sch\u00f6pferisch zu sein (wohl aber die der \u00dcbersetzbarkeit, s. Kap. 13, Lemma 3). Da sie \u00c4quivalenzen darstellen, lassen sie sich in \\(S_2\\) mit dem Grundterm so formulieren, wie dies auch in der Mathematik \u00fcblich ist f\u00fcr Definitionen, die Theoreme sind. Darauf beruht das besondere Interesse L.s an \\(S_2\\).    Errata: S. 46, Anm. 4 fehlt wenigstens die erste Zeile. S. 53 Z. 2: statt ,a secondary rule of \\(S\\)' lies ,a primary rule of \\(S_2\\)'. S. 57 Z. 17: statt ,in the theorem' lies ,in the axiom'. S. 83 Z. 12: statt ,non-uniform' lies ,equiform'. S. 97 Z. 2-3: statt ,Theorem 3, Chap. 11' lies ,Theorem 3, Chap. 12'.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2652280$13A9A0BA-95EC-493D-93FE-71F77B9DF0D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$8479B25F-8428-43EB-AE51-3B969582760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$ADA4CE1F-3F90-49F7-942B-7881A686D654","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d8f3662a00852d2ed4d0b87371a7447cbea0a90","datavalue":{"value":"3094248","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$A3019038-8EC0-4248-BAFA-30354D9FDD37","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf0d8992a7c055e71bb57aa2d5238d2f6336d1a4","datavalue":{"value":{"entity-type":"item","numeric-id":766812,"id":"Q766812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$F3F4D2F8-2688-497E-A423-35552AB8AEC9","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$6042F650-E95F-4D0B-B763-2CF98E67C5C2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d1d97d729b495d4976b6442a2e4af96303aadb0","datavalue":{"value":{"entity-type":"item","numeric-id":5787742,"id":"Q5787742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$AC8D88BE-D47C-4FE0-8D9C-7A2192132B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6ac862339c06075338c8e5aa1e392758060571d","datavalue":{"value":{"entity-type":"item","numeric-id":5798015,"id":"Q5798015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$9F13091B-DC16-4197-8D86-F7E9A6C0EE36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c1851a10769a448ab3fc196d7dbc57e0dd875a","datavalue":{"value":{"entity-type":"item","numeric-id":4211199,"id":"Q4211199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2652280$26454341-24AD-456F-AA70-EA057623CCA4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"189baf2cbe297bb0fabaaaa034f642c1c9416863","datavalue":{"value":"https://doi.org/10.1007/bf02272275","type":"string"},"datatype":"url"},"type":"statement","id":"Q2652280$387CBDE6-DC8F-41A2-807F-99407B530FF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86edd585e50b52b29f049639612cf65efee9dbbb","datavalue":{"value":"W4211068932","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2652280$E881A188-4AC4-4087-A26E-BDB6AC2C61DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2652280","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2652280"}}}}}