{"entities":{"Q2658294":{"pageid":2669037,"ns":120,"title":"Item:Q2658294","lastrevid":44586351,"modified":"2025-11-24T03:20:59Z","type":"item","id":"Q2658294","labels":{"en":{"language":"en","value":"On descriptional propositions in Ibn S\u012bn\u0101: elements for a logical analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7326283"}},"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":"Q2658294$1778138E-6877-41DE-8FA7-4232434E65F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f5ebee931de98bc68da2316de8b120ed25263d2c","datavalue":{"value":{"text":"On descriptional propositions in Ibn S\u012bn\u0101: elements for a logical analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2658294$E5C7CFD2-094B-4E6A-B2B7-B174634E2ABF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d9a6cef8cfe3d23ef9d7584f09d89fb7e5fe5de","datavalue":{"value":"1473.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$07C86BD5-99BE-4E4D-961B-21AF0C6FDD00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77378b239d46037104fa47d5b6321a03fa3bcd11","datavalue":{"value":"10.1007/978-3-030-53654-1_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$41B9A4A0-7A96-47BB-9059-1758278BA31A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"46740c6b06d78c4187d804755fb2c53e8a7a23ee","datavalue":{"value":{"entity-type":"item","numeric-id":209486,"id":"Q209486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$58102E2B-C4FE-430A-8913-080F0402F88D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8556381ae3e651936778862565b8ba8aa618d73","datavalue":{"value":{"entity-type":"item","numeric-id":2658293,"id":"Q2658293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$6D292681-B127-4ACE-9389-A1EB200C1A31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"99cd72c3f8b23bcffeda78059e62d8c3df9cfa03","datavalue":{"value":{"time":"+2021-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2658294$D2571CFD-AED2-4EBE-87A1-4873DFF6C39B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c26f208ae6fb083c8def7c55e74543e8d4f41a0","datavalue":{"value":"https://hal.univ-lille.fr/hal-02381959/file/PreprintOn%20Descriptional%20Propositions%20in%20Ibn%20S%C4%ABn%C4%81-Final.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2658294$053AD804-A520-4407-84F9-318BCF1ECDBD","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0934fb354534aad15cf123205d42b667acf55672","datavalue":{"value":"Ibn S\u012bn\u0101 (known to the scholastics of medieval Europe as Avicenna) made much of the distinction between what were later called descriptional (wa\u1e63f\u012b) and substantial (\u1e0f\u0101t\u012b) propositions. In case of the universal proposition Every \\(S\\) is \\(P\\), we may contrast the descriptional  Every \\(S\\), so long as it is \\(S\\), is \\(P\\).  with the substantial  Every \\(S\\), so long as it exists, is \\(P\\).  Thus every bachelor, so long as he is a bachelor, is unmarried; but it is not the case that every bachelor, so long as he exists, is unmarried, for he may get married without ceasing to exist. But every human, so long as he or she exists, is animal, and in that case the descriptional and the substantial coincide. The present paper analyses Ibn S\u012bn\u0101's views using the constructive type theory of \\textit{P. Martin-L\u00f6f} [Intuitionistic type theory. Notes by Giovanni Sambin of a Series of Lectures given in Padua, June 1980. Napoli: Bibliopolis (1984; Zbl 0571.03030)], which is better able than other modern logics to reflect the subject-predicate and the time-span modality structure with which Ibn S\u012bn\u0101 was working.  For the entire collection see [Zbl 1459.03003].","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$469358B6-6C52-4F86-8324-30D70467889A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$EA050C45-994D-44A4-B4FB-FFCCFD0654E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$49E14ECA-7A33-4218-BBD4-E4DA6710D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$8A18D391-7F05-4712-9E57-AE2ADCBF163E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$26AF99DB-EC2E-4CF8-BCF7-1CC9DB517F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"920d53b3830654b0eb4e3a87ec3396145f924723","datavalue":{"value":"03-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$3BA709D7-9F2D-46A7-894F-CA9377757A1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8284164a1e7f35e5df7a37db4dab808a8ec438b6","datavalue":{"value":"01A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$BFD8657D-604F-40DD-AE00-851275CD3950","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6378375747a59cb66e3cd289ddfe2c7abfa128c0","datavalue":{"value":"7326283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$D3DF43A8-92D3-41F3-AE2B-CA3F27A5BDF4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"227fb5292c4b1056fc5c784210d81446e7063465","datavalue":{"value":"Ibn S\u012bn\u0101 (Avicenna)","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$B8B9BE77-612C-4E66-A767-7F3CD8C95398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cddaab86f1ff79193135be9c57aff51f0fb22b8","datavalue":{"value":"modal syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$E86D54F0-78EA-4FFB-B42D-067894841C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e472cc4979d4be9d6ea81c95d92760fe8e13e697","datavalue":{"value":"descriptional (wa\u1e63f\u012b) propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$7B285E21-02AF-41A8-BF5F-1A6EB5F55E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"32750ad42de154511ecac9bf6937c9dd897c628f","datavalue":{"value":"substantial (\u1e0f\u0101t\u012b) propositions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$A6257A31-D966-46E4-9C2E-12A636EC3211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$2252C080-A8F6-48EA-B30D-9B0C69108928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$F978FF0C-A571-4F35-AD52-3ACAF44BBECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377998ccd616a13c2c3f2085956993d86a9be6e6","datavalue":{"value":"logical fallacies","type":"string"},"datatype":"string"},"type":"statement","id":"Q2658294$C78E7997-4156-440D-985B-41267A045E4F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"5e4a390b9b69e1baf3efd1df8ffc4e33c0c36022","datavalue":{"value":{"entity-type":"item","numeric-id":1234661,"id":"Q1234661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$35E29FD8-7A38-4E2A-8627-45E3D069EE41","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":"Q2658294$1EFF1BBD-A41F-4BD1-8251-B3D1CE38AFD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b84722c548e3530b1ee5833308f7354b91e9c51","datavalue":{"value":"W3039729982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2658294$41F9F191-2B8D-4B5E-85B2-49CEF7C4D42D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d67b311bb1c684ea0fb6957a1de167edd4346f0","datavalue":{"value":{"entity-type":"item","numeric-id":2418016,"id":"Q2418016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$E4924372-2450-44ED-8E01-9741948DCE81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"734921fa70687a374bb307bc21c37c64c9d290ab","datavalue":{"value":{"entity-type":"item","numeric-id":6038547,"id":"Q6038547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$BE34582A-BC6C-46A7-B66D-77AFCAA34C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1daae2ec95c3aa2ebe536d1c247d0b475a7ce7f","datavalue":{"value":{"entity-type":"item","numeric-id":3401358,"id":"Q3401358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$0E401AF7-3612-4B0B-9BF5-CA7DE042FF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"420c32c87c8a47427efa14726b9e929a5b5855f2","datavalue":{"value":{"entity-type":"item","numeric-id":1653854,"id":"Q1653854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$A1438DAE-87AA-44BD-BF24-7106586173A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"664629368beb74ce1b93d5ca8b0c7910f937f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":1650086,"id":"Q1650086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$D3065E13-EB48-4A74-BCE2-7EEE3E6DBE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5aee2f94b9261db91fcb79ee075343540417328d","datavalue":{"value":{"entity-type":"item","numeric-id":4843182,"id":"Q4843182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2658294$BAC258AC-E5E9-4EDE-A248-8ED5F8452FB6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba23ef13c240e21ffbe841ad2d1a20726653c5ca","datavalue":{"value":{"entity-type":"item","numeric-id":2935315,"id":"Q2935315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ea374071a8ad83ff2bf098450517e6473b6e47","datavalue":{"value":{"amount":"+0.822531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$67ADA2DA-7687-4338-BC8F-724981D45A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07afac7b82d4a8c7c934f1f862f2e81062518723","datavalue":{"value":{"entity-type":"item","numeric-id":5258969,"id":"Q5258969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12e2e12553052cbe483d85dffb9aad1db0a767c1","datavalue":{"value":{"amount":"+0.72219145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$02587A08-553C-4F38-8F83-532499F29455","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7364d83af8cccddde9cb49e0e87f781657da6186","datavalue":{"value":{"entity-type":"item","numeric-id":3401358,"id":"Q3401358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ceaf5e6d52b3413ad36d68c9a40a1daa5df37f9","datavalue":{"value":{"amount":"+0.7191988","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$1F3EBA7D-41D7-4BA2-857A-3E026954130C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ced0e39e0a670bd1bfd4996349327102f590fc7e","datavalue":{"value":{"entity-type":"item","numeric-id":5393643,"id":"Q5393643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655de8c09d2a6d899be575f1ea283f6ff78d33b0","datavalue":{"value":{"amount":"+0.7174615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$8BDB2FC6-A750-4736-B68D-3DA915F104DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3a9cce32cb15f79169737dd826e170ce3b8bc4","datavalue":{"value":{"entity-type":"item","numeric-id":2757994,"id":"Q2757994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5679c8b61aac8b510c9de7da0e3bb3e13489fd8b","datavalue":{"value":{"amount":"+0.7162103","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$3D01494F-6D1A-4B4C-9EB0-7A8E1F4CC6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"470368de03dddbace555d8ed816a05eb519f39b4","datavalue":{"value":{"entity-type":"item","numeric-id":2939752,"id":"Q2939752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b4105f1ef4e40143fadcf35f0a54faa9b39abf4","datavalue":{"value":{"amount":"+0.7160518","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$EC9A74FB-7B71-4A9E-9DED-CB2C78BF9045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4159fd1a0352447415036d476efac03b164dd467","datavalue":{"value":{"entity-type":"item","numeric-id":4003549,"id":"Q4003549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73c163485c34eb84c17ff690ba05be3466c64a7","datavalue":{"value":{"amount":"+0.7118084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$FBFE5210-4176-4AEA-A2DC-46FFED5B4E63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65fdd786ba3768a810905ab27c5324b3883afc3f","datavalue":{"value":{"entity-type":"item","numeric-id":6038547,"id":"Q6038547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bc97b327f8e6cf070283c6a9687d8f53480eb83","datavalue":{"value":{"amount":"+0.70648813","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$222A60D2-E8C3-4EB1-A2DC-4DDD20ED6132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"619fddcaf07d353493992e404323adb921d74cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4870007,"id":"Q4870007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b157c124f886a99b310eca5382904c31af8325cc","datavalue":{"value":{"amount":"+0.69591206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$993FBAA1-328B-4E75-8644-C384467C992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98a684431fa3fc2a4b8a17c6ff5657bbb660e308","datavalue":{"value":{"entity-type":"item","numeric-id":5233534,"id":"Q5233534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"006bc661ecda6aee8672e18c7997d3a7a3a42753","datavalue":{"value":{"amount":"+0.6938443","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2658294$816D3E5F-D3E8-4BED-9880-8F31BA4C7EB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2658294","badges":[]}}}}}