TENSE LOGIC AND STANDARD LOGIC
Contrasted are two approaches to tense logic: (1) adding tense operators to ordinary predicate logic as is generally done in intensional logics, or (2) constructing an applied predicate logic with quantification over moments of time. Philosophical arguments favoring (1) are shown unconvincing. Sever...
Gespeichert in:
| Veröffentlicht in: | Logique et analyse 1977-12, Vol.20 (80), p.395-437 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 437 |
|---|---|
| container_issue | 80 |
| container_start_page | 395 |
| container_title | Logique et analyse |
| container_volume | 20 |
| creator | van Benthem, J.F.A.K. |
| description | Contrasted are two approaches to tense logic: (1) adding tense operators to ordinary predicate logic as is generally done in intensional logics, or (2) constructing an applied predicate logic with quantification over moments of time. Philosophical arguments favoring (1) are shown unconvincing. Several type (1) tense logic systems are analyzed, & it is shown that as their complexity increases they tend to converge toward type (2). P. Needham's Temporal Perspective, a Logical Analysis of Temporal Reference in English (Filosofiska Studier 25, Uppsala, 1975) is a clear example of (2), but lacks technical precision. A suggestion by W. V. Quine on writing predicate logic without individual variables is used to support the thesis that types (1) & (2) converge. A. Orianne |
| format | Article |
| fullrecord | <record><control><sourceid>jstor_proqu</sourceid><recordid>TN_cdi_proquest_miscellaneous_85438674</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><jstor_id>44083787</jstor_id><sourcerecordid>44083787</sourcerecordid><originalsourceid>FETCH-LOGICAL-j814-bc9b02ba84b932eb4a540a206d260742273d881ebe88483325b4529a251782b03</originalsourceid><addsrcrecordid>eNpdjkFLw0AQhRdRMNT-BCUgeAvMzswmk2NooxVKBZt72G1XaEibmm0O_ntD6snLe8N7H8O7URFibhIjlN6qCAB5uu_VPIQGALSm1BiJ1FNVbrZlvP54e1_ExWYZb6tRi8_lNXpQd1-2DX7-5zNVvZbVYpVMbbFOGtGcuF3uAJ0Vdjmhd2wNg0VI95hCxogZ7UW0d16EhQiNY4O5RaMzQQc0Uy_Xt-e--x58uNTHQ9j5trUn3w2hFsMkacYj-PwPbLqhP43Tak2gRchM1OOVasKl6-tzfzja_qdmBqFMMvoFCZZL6A</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>1301883574</pqid></control><display><type>article</type><title>TENSE LOGIC AND STANDARD LOGIC</title><source>Periodicals Index Online</source><source>JSTOR Archive Collection A-Z Listing</source><creator>van Benthem, J.F.A.K.</creator><creatorcontrib>van Benthem, J.F.A.K.</creatorcontrib><description>Contrasted are two approaches to tense logic: (1) adding tense operators to ordinary predicate logic as is generally done in intensional logics, or (2) constructing an applied predicate logic with quantification over moments of time. Philosophical arguments favoring (1) are shown unconvincing. Several type (1) tense logic systems are analyzed, & it is shown that as their complexity increases they tend to converge toward type (2). P. Needham's Temporal Perspective, a Logical Analysis of Temporal Reference in English (Filosofiska Studier 25, Uppsala, 1975) is a clear example of (2), but lacks technical precision. A suggestion by W. V. Quine on writing predicate logic without individual variables is used to support the thesis that types (1) & (2) converge. A. Orianne</description><identifier>ISSN: 0024-5836</identifier><identifier>EISSN: 2295-5836</identifier><identifier>CODEN: LOANAM</identifier><language>eng</language><publisher>Bruxelles: Centre National Belge de Recherches de Logique</publisher><subject>Children ; Grammatical clauses ; Logic ; Logical theorems ; Natural language ; Predicate calculus ; Predicate logic ; Predicates ; Semantics ; Tense logic</subject><ispartof>Logique et analyse, 1977-12, Vol.20 (80), p.395-437</ispartof><rights>Logique et Analyse</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.jstor.org/stable/pdf/44083787$$EPDF$$P50$$Gjstor$$H</linktopdf><linktohtml>$$Uhttps://www.jstor.org/stable/44083787$$EHTML$$P50$$Gjstor$$H</linktohtml><link.rule.ids>314,780,784,803,27869,58017,58250</link.rule.ids></links><search><creatorcontrib>van Benthem, J.F.A.K.</creatorcontrib><title>TENSE LOGIC AND STANDARD LOGIC</title><title>Logique et analyse</title><description>Contrasted are two approaches to tense logic: (1) adding tense operators to ordinary predicate logic as is generally done in intensional logics, or (2) constructing an applied predicate logic with quantification over moments of time. Philosophical arguments favoring (1) are shown unconvincing. Several type (1) tense logic systems are analyzed, & it is shown that as their complexity increases they tend to converge toward type (2). P. Needham's Temporal Perspective, a Logical Analysis of Temporal Reference in English (Filosofiska Studier 25, Uppsala, 1975) is a clear example of (2), but lacks technical precision. A suggestion by W. V. Quine on writing predicate logic without individual variables is used to support the thesis that types (1) & (2) converge. A. Orianne</description><subject>Children</subject><subject>Grammatical clauses</subject><subject>Logic</subject><subject>Logical theorems</subject><subject>Natural language</subject><subject>Predicate calculus</subject><subject>Predicate logic</subject><subject>Predicates</subject><subject>Semantics</subject><subject>Tense logic</subject><issn>0024-5836</issn><issn>2295-5836</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>1977</creationdate><recordtype>article</recordtype><sourceid>K30</sourceid><recordid>eNpdjkFLw0AQhRdRMNT-BCUgeAvMzswmk2NooxVKBZt72G1XaEibmm0O_ntD6snLe8N7H8O7URFibhIjlN6qCAB5uu_VPIQGALSm1BiJ1FNVbrZlvP54e1_ExWYZb6tRi8_lNXpQd1-2DX7-5zNVvZbVYpVMbbFOGtGcuF3uAJ0Vdjmhd2wNg0VI95hCxogZ7UW0d16EhQiNY4O5RaMzQQc0Uy_Xt-e--x58uNTHQ9j5trUn3w2hFsMkacYj-PwPbLqhP43Tak2gRchM1OOVasKl6-tzfzja_qdmBqFMMvoFCZZL6A</recordid><startdate>19771201</startdate><enddate>19771201</enddate><creator>van Benthem, J.F.A.K.</creator><general>Centre National Belge de Recherches de Logique</general><general>Centre national de recherches de logique</general><scope>FYSDU</scope><scope>GPCCI</scope><scope>IOIBA</scope><scope>K30</scope><scope>PAAUG</scope><scope>PAWHS</scope><scope>PAWZZ</scope><scope>PAXOH</scope><scope>PBHAV</scope><scope>PBQSW</scope><scope>PBYQZ</scope><scope>PCIWU</scope><scope>PCMID</scope><scope>PCZJX</scope><scope>PDGRG</scope><scope>PDWWI</scope><scope>PETMR</scope><scope>PFVGT</scope><scope>PGXDX</scope><scope>PIHIL</scope><scope>PISVA</scope><scope>PJCTQ</scope><scope>PJTMS</scope><scope>PLCHJ</scope><scope>PMHAD</scope><scope>PNQDJ</scope><scope>POUND</scope><scope>PPLAD</scope><scope>PQAPC</scope><scope>PQCAN</scope><scope>PQCMW</scope><scope>PQEME</scope><scope>PQHKH</scope><scope>PQMID</scope><scope>PQNCT</scope><scope>PQNET</scope><scope>PQSCT</scope><scope>PQSET</scope><scope>PSVJG</scope><scope>PVMQY</scope><scope>PZGFC</scope><scope>7T9</scope></search><sort><creationdate>19771201</creationdate><title>TENSE LOGIC AND STANDARD LOGIC</title><author>van Benthem, J.F.A.K.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-j814-bc9b02ba84b932eb4a540a206d260742273d881ebe88483325b4529a251782b03</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>1977</creationdate><topic>Children</topic><topic>Grammatical clauses</topic><topic>Logic</topic><topic>Logical theorems</topic><topic>Natural language</topic><topic>Predicate calculus</topic><topic>Predicate logic</topic><topic>Predicates</topic><topic>Semantics</topic><topic>Tense logic</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>van Benthem, J.F.A.K.</creatorcontrib><collection>Periodicals Index Online Segment 07</collection><collection>Periodicals Index Online Segment 10</collection><collection>Periodicals Index Online Segment 29</collection><collection>Periodicals Index Online</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - West</collection><collection>Primary Sources Access (Plan D) - International</collection><collection>Primary Sources Access & Build (Plan A) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Midwest</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Northeast</collection><collection>Primary Sources Access (Plan D) - Southeast</collection><collection>Primary Sources Access (Plan D) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Southeast</collection><collection>Primary Sources Access (Plan D) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - UK / I</collection><collection>Primary Sources Access (Plan D) - Canada</collection><collection>Primary Sources Access (Plan D) - EMEALA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - North Central</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - International</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - International</collection><collection>Primary Sources Access (Plan D) - West</collection><collection>Periodicals Index Online Segments 1-50</collection><collection>Primary Sources Access (Plan D) - APAC</collection><collection>Primary Sources Access (Plan D) - Midwest</collection><collection>Primary Sources Access (Plan D) - MEA</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - Canada</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - EMEALA</collection><collection>Primary Sources Access & Build (Plan A) - APAC</collection><collection>Primary Sources Access & Build (Plan A) - Canada</collection><collection>Primary Sources Access & Build (Plan A) - West</collection><collection>Primary Sources Access & Build (Plan A) - EMEALA</collection><collection>Primary Sources Access (Plan D) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - Midwest</collection><collection>Primary Sources Access & Build (Plan A) - North Central</collection><collection>Primary Sources Access & Build (Plan A) - Northeast</collection><collection>Primary Sources Access & Build (Plan A) - South Central</collection><collection>Primary Sources Access & Build (Plan A) - Southeast</collection><collection>Primary Sources Access (Plan D) - UK / I</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - APAC</collection><collection>Primary Sources Access—Foundation Edition (Plan E) - MEA</collection><collection>Linguistics and Language Behavior Abstracts (LLBA)</collection><jtitle>Logique et analyse</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>van Benthem, J.F.A.K.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>TENSE LOGIC AND STANDARD LOGIC</atitle><jtitle>Logique et analyse</jtitle><date>1977-12-01</date><risdate>1977</risdate><volume>20</volume><issue>80</issue><spage>395</spage><epage>437</epage><pages>395-437</pages><issn>0024-5836</issn><eissn>2295-5836</eissn><coden>LOANAM</coden><abstract>Contrasted are two approaches to tense logic: (1) adding tense operators to ordinary predicate logic as is generally done in intensional logics, or (2) constructing an applied predicate logic with quantification over moments of time. Philosophical arguments favoring (1) are shown unconvincing. Several type (1) tense logic systems are analyzed, & it is shown that as their complexity increases they tend to converge toward type (2). P. Needham's Temporal Perspective, a Logical Analysis of Temporal Reference in English (Filosofiska Studier 25, Uppsala, 1975) is a clear example of (2), but lacks technical precision. A suggestion by W. V. Quine on writing predicate logic without individual variables is used to support the thesis that types (1) & (2) converge. A. Orianne</abstract><cop>Bruxelles</cop><pub>Centre National Belge de Recherches de Logique</pub><tpages>43</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0024-5836 |
| ispartof | Logique et analyse, 1977-12, Vol.20 (80), p.395-437 |
| issn | 0024-5836 2295-5836 |
| language | eng |
| recordid | cdi_proquest_miscellaneous_85438674 |
| source | Periodicals Index Online; JSTOR Archive Collection A-Z Listing |
| subjects | Children Grammatical clauses Logic Logical theorems Natural language Predicate calculus Predicate logic Predicates Semantics Tense logic |
| title | TENSE LOGIC AND STANDARD LOGIC |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2025-01-04T08%3A27%3A47IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-jstor_proqu&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=TENSE%20LOGIC%20AND%20STANDARD%20LOGIC&rft.jtitle=Logique%20et%20analyse&rft.au=van%20Benthem,%20J.F.A.K.&rft.date=1977-12-01&rft.volume=20&rft.issue=80&rft.spage=395&rft.epage=437&rft.pages=395-437&rft.issn=0024-5836&rft.eissn=2295-5836&rft.coden=LOANAM&rft_id=info:doi/&rft_dat=%3Cjstor_proqu%3E44083787%3C/jstor_proqu%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=1301883574&rft_id=info:pmid/&rft_jstor_id=44083787&rfr_iscdi=true |