{"entities":{"Q53732":{"pageid":53788,"ns":120,"title":"Item:Q53732","lastrevid":105429524,"modified":"2026-10-09T10:12:13Z","type":"item","id":"Q53732","labels":{"en":{"language":"en","value":"Aristotles_Assertoric_Syllogistic"}},"descriptions":{"en":{"language":"en","value":"AFP entry Aristotles_Assertoric_Syllogistic"}},"aliases":{},"claims":{"P13":[{"mainsnak":{"snaktype":"value","property":"P13","hash":"fbc884edc969485e48a54603480727f764d20839","datavalue":{"value":"38032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53732$9BA3E0FB-6090-40FE-BE8A-0DD65808E1D7","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$6047C184-2727-4CE3-89A6-4699451B8214","rank":"normal"}],"P29":[{"mainsnak":{"snaktype":"value","property":"P29","hash":"cc13630a5dce9d262dcce1aa701f555ba7dd1b39","datavalue":{"value":"https://www.isa-afp.org/entries/Aristotles_Assertoric_Syllogistic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53732$FC8F42C9-6311-4B79-834D-1EEB90334392","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0db99c3b17fc587dc6d0b047e5ff5ce0de1786ab","datavalue":{"value":"03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53732$7FDF7E25-587D-4464-9C67-3B1787569760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"acf10290b955a69659a681d98822944f91bbad9e","datavalue":{"value":"68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53732$94B538A9-B8D9-45C6-835A-421B008A7911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ccfc2ffdb7a60cd36d8dca0a4e6d9d45f5228f3","datavalue":{"value":"3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53732$9D1FB42B-6C45-4198-9EA3-BDCE4B53C70C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09f5e0c6033338f59ef27e37d6877da0f26d9646","datavalue":{"value":"68.0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q53732$31779F06-64FA-4D44-9A48-349E5CBF3F91","rank":"normal"}],"P1458":[{"mainsnak":{"snaktype":"value","property":"P1458","hash":"60c3e92cef9647ede91bb4f6e4b4ff38f40460ac","datavalue":{"value":{"entity-type":"item","numeric-id":35496,"id":"Q35496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$D0A10963-103C-475C-973F-CDCC2ABA9D83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"eba8b47e1a803cab7d21f0226e3c8085963466de","datavalue":{"value":{"entity-type":"item","numeric-id":5975135,"id":"Q5975135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$1CD5DCCC-1CC4-438C-B5D4-F0C6DF35B109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ea5413756061bf33eb1bd266ba2a93f8c7b394c6","datavalue":{"value":{"entity-type":"item","numeric-id":5973088,"id":"Q5973088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$9F932805-28E7-4E89-A81B-471BD2C0B6C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"bb05cb23794774f62a8e4aa4de610af231973a1d","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$FF9C4EA5-A8EC-49FD-97E9-4C2CE33AF09A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"cc41d9364226bfa8139f8dbc43b1b77967245f13","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$7DBDC5AA-C980-4538-9860-A70489C75158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"a2a767ccd0e9bdc5b1b4a2069a6679f9340a857a","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$C3CB5CA9-0557-4BED-A2C7-E97CBFC4D52A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"4dfac822d106dc7f697754008c4906d0b5156921","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$70DA6235-2F48-459C-B206-0A776E118B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"fa7aa97df9a13fbf536b4b11691bce6b3e0601a0","datavalue":{"value":{"entity-type":"item","numeric-id":53739,"id":"Q53739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$AE80A653-8A2A-4BB6-9774-5FACB45642C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"1b914a45373f0c19fc30345c2d7f6de4803f7357","datavalue":{"value":{"entity-type":"item","numeric-id":53738,"id":"Q53738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$9214797E-E25B-447B-B5C5-949BA0F523B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"c3eef3bb546664bd0985bfee8bd40de843753fcc","datavalue":{"value":{"entity-type":"item","numeric-id":53737,"id":"Q53737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$77ABCF34-4E10-4865-8577-3D3222E013C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"62f40bdff5c85c5ed18529fd2f9a206dbfc7f83c","datavalue":{"value":{"entity-type":"item","numeric-id":53736,"id":"Q53736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$D3C2C3F3-0CC4-49B4-8B32-74E59A180768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"2133597b837845e61c323ae305a388d5f339ca99","datavalue":{"value":{"entity-type":"item","numeric-id":53735,"id":"Q53735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$8A76F7BE-1A34-4673-BE8F-C7442510621A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"d4d03dccf41d6936220149f560cf560feffe3c3d","datavalue":{"value":{"entity-type":"item","numeric-id":53734,"id":"Q53734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$ACB868EF-22BD-4367-A288-18DB84F82CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"70586ce6174aaf063b8e8f11dc86b67bc47ce2a9","datavalue":{"value":{"entity-type":"item","numeric-id":53733,"id":"Q53733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$36C6011F-07E6-49CA-9B3B-83C5A7ED437A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1458","hash":"ecda3e6d8e971c0b93d4cf3afb41990e853f830f","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$F0C38EA3-CE87-44C5-B8EE-E54CA99D68CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cef520126bb7a3c52dd9c6f3ef84b1fbbb1e086","datavalue":{"value":"https://isa-afp.org/entries/Aristotles_Assertoric_Syllogistic.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q53732$B574216D-E31E-44A3-9EC9-E8125314ADF9","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"f15dd4dfe6d906a1011049420db5f460af4a149f","datavalue":{"value":"Angeliki Koutsoukou-Argyraki","type":"string"},"datatype":"string"},"type":"statement","id":"Q53732$45D1DA66-CF6C-46BD-9D82-093DEB4A3F61","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"a9dc54d6b9dd864abdb455d970be001ce4158344","datavalue":{"value":"We formalise with Isabelle/HOL some basic elements of Aristotle's assertoric syllogistic following the article from the Stanford Encyclopedia of Philosophy by Robin Smith. To this end, we use a set theoretic formulation (covering both individual and general predication). In particular, we formalise the deductions in the Figures and after that we present Aristotle's metatheoretical observation that all deductions in the Figures can in fact be reduced to either Barbara or Celarent. As the formal proofs prove to be straightforward, the interest of this entry lies in illustrating the functionality of Isabelle and high efficiency of Sledgehammer for simple exercises in philosophy.","type":"string"},"datatype":"string"},"type":"statement","id":"Q53732$5267139F-5AB3-4B32-AFDA-7D92BB822E20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q53732$605AEA4C-4E12-40BF-8BE4-F0C44730455C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7b24b9f23e30953bc1d84e0c9b8d2b8cfcdf7127","datavalue":{"value":{"text":"Aristotle's Assertoric Syllogistic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q53732$AA6400CF-CEB9-464D-90FB-DF825EDD7046","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$A9DC78A8-18D8-4CD0-8E38-13CAE9D7861C","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"4c1d1ae6cb9b8c5cfab3c3fd27c80d8670e5e2b0","datavalue":{"value":{"entity-type":"item","numeric-id":7360816,"id":"Q7360816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q53732$683BDB4A-7BEF-4FA5-B159-422FE7F9F2A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Aristotles Assertoric Syllogistic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Aristotles_Assertoric_Syllogistic"}}}}}