How did Avicenna understand the Barcan formulas?
Abstract In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical wri...
Gespeichert in:
| Veröffentlicht in: | Logic journal of the IGPL 2023-11, Vol.31 (6), p.1170-1191 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 1191 |
|---|---|
| container_issue | 6 |
| container_start_page | 1170 |
| container_title | Logic journal of the IGPL |
| container_volume | 31 |
| creator | Hodges, Wilfrid |
| description | Abstract
In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical writings of Avicenna has clarified how he understood entailments between modal sentences, using his own new temporal language to provide a kind of semantics. In the light of that, Movahed’s claim for the Barcan formula needs some tidying up but is basically correct. But by his semantics Avicenna should not have claimed the converse Barcan formula and probably didn’t claim it. |
| doi_str_mv | 10.1093/jigpal/jzac066 |
| format | Article |
| fullrecord | <record><control><sourceid>oup_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1093_jigpal_jzac066</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><oup_id>10.1093/jigpal/jzac066</oup_id><sourcerecordid>10.1093/jigpal/jzac066</sourcerecordid><originalsourceid>FETCH-LOGICAL-c228t-65fdbf4bda5a711fc1fa15b01b28a1f3f5ca1fea2752369d226924643f430aaa3</originalsourceid><addsrcrecordid>eNqFj7tOw0AURFcIJEKgpd6WwsnefdmuUIiAIEWiSWrreh9gy7GtXRsEX0_A6almijkjHUJugS2A5WJZV289Nsv6Gw3T-ozMQOgsybNcnv_1NGGpgktyFWPNGJMZVzPCNt0ntZWlq4_KuLZFOrbWhThga-nw7ugDBoMt9V04jA3G-2ty4bGJ7uaUc7J_etytN8n29fllvdomhvNsSLTytvSytKgwBfAGPIIqGZQ8Q_DCK3MMhzxVXOjccq5zLrUUXgqGiGJOFtOvCV2MwfmiD9UBw1cBrPj1LSbf4uR7BO4moBv7_7Y_PUFZXQ</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype></control><display><type>article</type><title>How did Avicenna understand the Barcan formulas?</title><source>Oxford University Press Journals All Titles (1996-Current)</source><source>EBSCOhost Business Source Complete</source><creator>Hodges, Wilfrid</creator><creatorcontrib>Hodges, Wilfrid</creatorcontrib><description>Abstract
In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical writings of Avicenna has clarified how he understood entailments between modal sentences, using his own new temporal language to provide a kind of semantics. In the light of that, Movahed’s claim for the Barcan formula needs some tidying up but is basically correct. But by his semantics Avicenna should not have claimed the converse Barcan formula and probably didn’t claim it.</description><identifier>ISSN: 1367-0751</identifier><identifier>EISSN: 1368-9894</identifier><identifier>DOI: 10.1093/jigpal/jzac066</identifier><language>eng</language><publisher>Oxford University Press</publisher><ispartof>Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1170-1191</ispartof><rights>The Author(s) 2022. Published by Oxford University Press. All rights reserved. For permissions, please e-mail: journals.permission@oup.com. 2022</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><cites>FETCH-LOGICAL-c228t-65fdbf4bda5a711fc1fa15b01b28a1f3f5ca1fea2752369d226924643f430aaa3</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><link.rule.ids>314,776,780,1578,27901,27902</link.rule.ids></links><search><creatorcontrib>Hodges, Wilfrid</creatorcontrib><title>How did Avicenna understand the Barcan formulas?</title><title>Logic journal of the IGPL</title><description>Abstract
In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical writings of Avicenna has clarified how he understood entailments between modal sentences, using his own new temporal language to provide a kind of semantics. In the light of that, Movahed’s claim for the Barcan formula needs some tidying up but is basically correct. But by his semantics Avicenna should not have claimed the converse Barcan formula and probably didn’t claim it.</description><issn>1367-0751</issn><issn>1368-9894</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2023</creationdate><recordtype>article</recordtype><recordid>eNqFj7tOw0AURFcIJEKgpd6WwsnefdmuUIiAIEWiSWrreh9gy7GtXRsEX0_A6almijkjHUJugS2A5WJZV289Nsv6Gw3T-ozMQOgsybNcnv_1NGGpgktyFWPNGJMZVzPCNt0ntZWlq4_KuLZFOrbWhThga-nw7ugDBoMt9V04jA3G-2ty4bGJ7uaUc7J_etytN8n29fllvdomhvNsSLTytvSytKgwBfAGPIIqGZQ8Q_DCK3MMhzxVXOjccq5zLrUUXgqGiGJOFtOvCV2MwfmiD9UBw1cBrPj1LSbf4uR7BO4moBv7_7Y_PUFZXQ</recordid><startdate>20231127</startdate><enddate>20231127</enddate><creator>Hodges, Wilfrid</creator><general>Oxford University Press</general><scope>AAYXX</scope><scope>CITATION</scope></search><sort><creationdate>20231127</creationdate><title>How did Avicenna understand the Barcan formulas?</title><author>Hodges, Wilfrid</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c228t-65fdbf4bda5a711fc1fa15b01b28a1f3f5ca1fea2752369d226924643f430aaa3</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2023</creationdate><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Hodges, Wilfrid</creatorcontrib><collection>CrossRef</collection><jtitle>Logic journal of the IGPL</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Hodges, Wilfrid</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>How did Avicenna understand the Barcan formulas?</atitle><jtitle>Logic journal of the IGPL</jtitle><date>2023-11-27</date><risdate>2023</risdate><volume>31</volume><issue>6</issue><spage>1170</spage><epage>1191</epage><pages>1170-1191</pages><issn>1367-0751</issn><eissn>1368-9894</eissn><abstract>Abstract
In 2003 Zia Movahed pointed to a passage of Avicenna, written probably in 1022, which Movahed claimed anticipated the modal formula of Barcan (that ‘For every $x$ necessarily $\phi $’ entails ‘Necessarily for every $x$$\phi $’), and its converse. Since 2003, examination of early logical writings of Avicenna has clarified how he understood entailments between modal sentences, using his own new temporal language to provide a kind of semantics. In the light of that, Movahed’s claim for the Barcan formula needs some tidying up but is basically correct. But by his semantics Avicenna should not have claimed the converse Barcan formula and probably didn’t claim it.</abstract><pub>Oxford University Press</pub><doi>10.1093/jigpal/jzac066</doi><tpages>22</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 1367-0751 |
| ispartof | Logic journal of the IGPL, 2023-11, Vol.31 (6), p.1170-1191 |
| issn | 1367-0751 1368-9894 |
| language | eng |
| recordid | cdi_crossref_primary_10_1093_jigpal_jzac066 |
| source | Oxford University Press Journals All Titles (1996-Current); EBSCOhost Business Source Complete |
| title | How did Avicenna understand the Barcan formulas? |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-31T17%3A34%3A37IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-oup_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=How%20did%20Avicenna%20understand%20the%20Barcan%20formulas?&rft.jtitle=Logic%20journal%20of%20the%20IGPL&rft.au=Hodges,%20Wilfrid&rft.date=2023-11-27&rft.volume=31&rft.issue=6&rft.spage=1170&rft.epage=1191&rft.pages=1170-1191&rft.issn=1367-0751&rft.eissn=1368-9894&rft_id=info:doi/10.1093/jigpal/jzac066&rft_dat=%3Coup_cross%3E10.1093/jigpal/jzac066%3C/oup_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_id=info:pmid/&rft_oup_id=10.1093/jigpal/jzac066&rfr_iscdi=true |