{"entities":{"Q6054110":{"pageid":13188265,"ns":120,"title":"Item:Q6054110","lastrevid":55500712,"modified":"2026-02-17T17:47:38Z","type":"item","id":"Q6054110","labels":{"en":{"language":"en","value":"A study of the metatheory of assertoric syllogistic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7753872"}},"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":"Q6054110$8F36DB4C-DAB5-42E4-9D53-46B0E1544D0F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef064570b199f29bcb838007fb6c3f9d7086e776","datavalue":{"value":{"text":"A study of the metatheory of assertoric syllogistic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6054110$767C1083-310A-4ACA-81D2-CCCF1D5FF097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"86a1f4c6e73cfb3eae70160a59e44f5bb8a45eda","datavalue":{"value":{"entity-type":"item","numeric-id":6054109,"id":"Q6054109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$6CCA441A-5349-4DA6-BA00-0A079D63678A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"68e3389b38900d3aaadd2d35ede086cf89c1b97f","datavalue":{"value":{"entity-type":"item","numeric-id":263103,"id":"Q263103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$6E60E8D7-B0F8-4CC9-B724-517F25C598B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc38c107bfbe3d21f38c865385857570a4bd451a","datavalue":{"value":{"time":"+2023-10-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6054110$427D2876-7EBE-4AC2-B4A3-5AE3A8AD0C37","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"9b2d36d0f4c24552ae1239eddedb7ea58bd38d43","datavalue":{"value":"The paper examines the following question about the metatheory of assertoric syllogistic: Lukasiewicz claims that it presupposes a metalogic, which is propositional logic. However, he has to avail himself of predicate logic to explain Aristotle's proofs by \\textit{ecthesis}. Contrary to Lukasiewicz, Corcoran argues that Aristotle's theory of deduction contains a self-sufficient natural deduction system which presupposes no other logic.  The authors show that Aristotle's syllogistic indeed presupposes a metalogic and formulate a reconstruction of semantics for assertoric syllogistic, based on Aristotle's texts and \\textit{ecthetic} proofs, in which all truth conditions are given by means of set inclusion, instead of empty intersection (for universal negative sentences) (Corcoran) and non-empty intersection (for particular affirmative sentences) (Smith). As a consequence, the \\textit{ecthetic} proofs play a central role in the metatheory of syllogistic. Based on the analysis of the truth conditions for categorical sentences, the authors define a formal semantics which includes a definition of \\textit{syllogistic validity}. Hence, the metalanguage of categorical syllogistic is the first-order predicate logic with identity and set inclusion. All proofs of syllogistic validity are realised in a calculus of natural deduction.  Further, they show that Aristotle did not consider perfect syllogisms as evident, as axioms or as rules of inference but rather as valid arguments that deserve a syllogistic validity proof. Thus, their evidentness is due to the transitivity of set inclusion, which is furthermore a necessary and sufficient condition for their syllogistic validity. Moreover, the transitivity of set inclusion is shown to be the necessary and sufficient condition for the validity and perfection of a syllogism. The authors also show that from the definition of a perfect syllogism, it can be established  \\begin{itemize} \\item[1.] what it means for a syllogism to be imperfect, \\item[2.] what the main metalogical difference between a perfect and an imperfect syllogism is, \\item[3.] what metalogical features perfect and imperfect syllogisms have in common, and \\item[4.] what role the transitivity of set inclusion plays for the syllogistic validity of imperfect syllogisms. \\end{itemize}  Finally, it is shown why some imperfect syllogisms satisfy the definition of a perfect syllogism.","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$09D715CC-06D6-4FCD-967D-7EC06DE156E4","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"1be5174c674bce066e47969251e44cf727810f8b","datavalue":{"value":{"entity-type":"item","numeric-id":997150,"id":"Q997150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$B5E24CE1-652C-49F3-AA75-D094EBA0E9B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$72755385-BDF5-472B-AF7A-BBD546B2B510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a8eec303a1936cabedb646ebcb2c6afcd3821a7f","datavalue":{"value":"01A20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$808968DE-3513-4464-8F44-0729A0976FE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$8E1B2697-5B6F-43A3-828B-69157E53A3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$F38A6657-0AB4-4052-B11D-E45639A54E84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"16ada664ea606ffd1883350e69ecb5d0183770dd","datavalue":{"value":"7753872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$33580CFA-0942-415C-BB55-6406A8779B98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac9634e0b143d364bc8cc5951cc8bc578786654a","datavalue":{"value":"Aristotle","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$8A68CAA6-5C8F-45F7-9157-4BAEF1486F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cda5af0ec062525f3fe768c8c433c44d72a6c5","datavalue":{"value":"syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$A394FB6A-88F7-40D2-9749-864E808B8793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$7220DC25-8AF6-4186-8DF0-D036A6D3357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353172573fbed29cb34886f2ac5918cd03ffee7d","datavalue":{"value":"ecthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$5536F08B-3641-4D5D-9760-E2F06A75F210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39425786a11218bf2028daea727518488b21fc2","datavalue":{"value":"transitivity of set inclusion","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$4D91C4A4-23D9-4026-ADC9-E3BB25CE663C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f788c3e896f0080ab056b00f0c1cd15f8e6053a6","datavalue":{"value":"perfect syllogisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6054110$C585F4B0-B737-4A0A-9B3F-540171672B79","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":"Q6054110$93864A22-B207-4C7B-BFE4-0E1CD0C9519F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b1d4d78a60475b5b1b27f477887d0f7d042100a9","datavalue":{"value":"https://doi.org/10.1007/s11787-023-00331-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6054110$A5385380-D5BF-4CC0-BFA6-4041B8FE225D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87d71593e22a3f6c6a2e77a868b5ac9461616e4c","datavalue":{"value":"W4386031086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$2AC6860B-055B-4E93-AECA-7535F99938B8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb42274d7781d0b2c38ba91cc18381b10790dd7","datavalue":{"value":{"entity-type":"item","numeric-id":3231159,"id":"Q3231159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$B1928151-BF9E-4E6D-BDF0-D1EA318ABAFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee8dfac7bf5cb450b31d47e60ff520a3d70a5bb5","datavalue":{"value":{"entity-type":"item","numeric-id":5181267,"id":"Q5181267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$8158C145-1107-428C-B867-E6A503B481D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a0ca1d65125ac2719c77cef75c106a425833d05","datavalue":{"value":{"entity-type":"item","numeric-id":5805951,"id":"Q5805951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$C5998E70-F10D-4EB5-9BF9-624E47E7F76B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9d080f80e28cdc6438ee995d7e6518122b0281","datavalue":{"value":{"entity-type":"item","numeric-id":3803080,"id":"Q3803080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$ED85ADD6-64E9-4D49-82F5-8884F579C9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fac348b5b54b5a54ffd3bc25a4e5f57415974f64","datavalue":{"value":{"entity-type":"item","numeric-id":2536038,"id":"Q2536038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$D3141A2E-DA6B-4F65-9C74-6E8E5B55666B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db19f29ad6833bef9dab91a6729f8541e161b34","datavalue":{"value":{"entity-type":"item","numeric-id":1159606,"id":"Q1159606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$F8E7F74F-7DF1-4753-9019-DB0CE1A225C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2524087fc54960745de1237bac568a9ffd38d9e5","datavalue":{"value":{"entity-type":"item","numeric-id":4147959,"id":"Q4147959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$CFBC6416-D111-48A0-BCE8-9899D0E56CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca4548e4b6af88b0dca1bf965ecf68b7b79c9df2","datavalue":{"value":{"entity-type":"item","numeric-id":4193455,"id":"Q4193455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$17C9466B-C367-44E7-839A-505053E89105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"863b70d74acc91fc27d74bd3dbc06d17fe79829f","datavalue":{"value":{"entity-type":"item","numeric-id":4175246,"id":"Q4175246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6054110$E2AFCBE4-A437-4C14-9BD5-BF0FF7CBE204","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"187d353b6741497e4d95fa1d000279d30a727f15","datavalue":{"value":"10.1007/S11787-023-00331-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6054110$01E3A35D-855C-4FBB-8F19-90D99C7B5EE9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fae00b520f06c965dd6917b11e849cd58aa7eed","datavalue":{"value":{"entity-type":"item","numeric-id":5406672,"id":"Q5406672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1493648fd65ac0598d78665316442ee123e63ab7","datavalue":{"value":{"amount":"+0.7805162668228149","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6054110$0A8F5C32-B2A4-4BA0-9DB2-2E25FC9E063D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dc5e844bf024a65d726bb391f8132a6a17ea07a","datavalue":{"value":{"entity-type":"item","numeric-id":2948602,"id":"Q2948602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f813c006e11ef92498616f4a921d0ab2459e93b","datavalue":{"value":{"amount":"+0.7703248262405396","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6054110$CDA7CF42-81A5-4A45-8E14-A96E3A27ADDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17096110f36141fd814522db1875441a8f82b113","datavalue":{"value":{"entity-type":"item","numeric-id":911572,"id":"Q911572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfb606effe643a9859b89561b6aff8bc5297ccaa","datavalue":{"value":{"amount":"+0.7700057625770569","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6054110$E92F79D3-16E2-4145-B855-DDC01049F075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"665f8469dfa261454449272d5b44c6f4e85976c4","datavalue":{"value":{"entity-type":"item","numeric-id":4857763,"id":"Q4857763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67fd89186973274428d593625edec392f4f08f37","datavalue":{"value":{"amount":"+0.7655398845672607","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6054110$FF0284F0-E3DA-47DD-9B78-C88EF2F1D8F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"948c91faf78eaf02ec07a8f78638f1ae46f132d4","datavalue":{"value":{"entity-type":"item","numeric-id":4276122,"id":"Q4276122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bea1c01bc5a825b636165be868fc01121a21426","datavalue":{"value":{"amount":"+0.7603600025177002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6054110$59E3779C-867A-46F4-A2CE-518ABAFC4388","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6054110","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6054110"}}}}}