Semantic analysis of tense logics

1972 ◽  
Vol 37 (1) ◽  
pp. 150-158 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Semantic Analysis ◽  
Tense Logic ◽  
Future Time ◽  
Past Time ◽  
Substitution Instance ◽  
Image Position

Although we believe the results reported below to have direct philosophical import, we shall for the most part confine our remarks to the realm of mathematics. The reader is referred to [4] for a philosophically oriented discussion, comprehensible to mathematicians, of tense logic.The “minimal” tense logic T0 is the system having connectives ∼, →, F (“at some future time”), and P (“at some past time”); the following axioms:(where G and H abbreviate ∼F∼ and ∼P∼ respectively); and the following rules:(8) from α and α → β, infer β,(9) from α, infer any substitution instance of α,(10) from α, infer Gα,(11) from α, infer Hα.A tense logic is a system T whose language is that of T0 and whose axioms and rules include (1)–(11). The axioms and rules of T other than (1)–(11) are called proper axioms and rules.We shall investigate three systems of semantics for tense logics, i.e. three notions of structure and three relations ⊧ which stand between structures and formulas. One reads ⊧ α as “α is valid in .” A structure is a model of a tense logic T if every formula provable in T is valid in . A semantics is adequate for T if the set of models of T in the semantics is characteristic for T, i.e. if whenever T ∀ α then there is a model of T in the semantics such that ∀ α. Two structures and , possibly from different semantics, are called equivalent ( ∼ ) if exactly the same formulas are valid in as in .

Tense logic for discrete future time

1970 ◽  
Vol 35 (1) ◽  
pp. 105-118 ◽  
Author(s):  
Patrick Schindler
Keyword(s):  
Propositional Calculus ◽  
Tense Logic ◽  
Finite Model ◽  
Logical System ◽  
Model Property ◽  
Future Time ◽  
Finite Model Property ◽  
Complete Basis ◽  
Image Position ◽  
Classical Propositional Calculus

Prior has conjectured that the tense-logical system Gli obtained by adding to a complete basis for the classical propositional calculus the primitive symbol G, the definitionsDf. F: Fα = NGNαDf. L: Lα = KαGα,and the postulatesis complete for the logic of linear, infinite, transitive, discrete future time. In this paper it is demonstrated that that conjecture is correct and it is shown that Gli has the finite model property: see [4]. The techniques used are in part suggested by those used in Bull [2] and [3]:Gli can be shown to be complete for the logic of linear, infinite, transitive, discrete future time in the sense that every formula of Gli which is true of such time can be proved as a theorem of Gli. For this purpose the notion of truth needs to be formalized. This formalization is effected by the construction of a model for linear, infinite, transitive, discrete future time.

The past perfect with future time reference

1997 ◽  
Vol 1 (1) ◽  
pp. 49-61 ◽  
Author(s):  
Renaat Declerck
Keyword(s):  
Future Time ◽  
Standard Analysis ◽  
Past Time ◽  
The Past ◽  
The Future

The standard analysis of the past perfect is that it represents the time of a situation as anterior to a time of orientation which is itself past with respect to the time of speech. However, there are a couple of uses in which the situation referred to actually lies in the future. This article concentrates on one of these uses, illustrated by sentences likeSoon you will again be able to do all the things that youhad donebefore. In this use, the past perfect refers to the future and there does not seem to be a past time of orientation at all. The article not only attempts to account for this use of the past perfect but also offers an explanation for the fact that the same tense cannot be used in other, seemingly similar, sentences, such as the following: [If you peep through this hole in the curtain]you will see the audience that {have/*had} come to see the play.

On the asymptotic behaviour of nonlinear systems of ordinary differential equations

1985 ◽  
Vol 26 (2) ◽  
pp. 161-170
Author(s):  
Zhivko S. Athanassov
Keyword(s):  
Nonlinear Systems ◽  
Differential Equations ◽  
Asymptotic Behaviour ◽  
Ordinary Differential Equations ◽  
Asymptotically Stable ◽  
Future Time ◽  
Zero Function ◽  
Perturbed Systems ◽  
Approach Zero ◽  
Image Position

In this paper we study the asymptotic behaviour of the following systems of ordinary differential equations:where the identically zero function is a solution of (N) i.e. f(t, 0)=0 for all time t. Suppose one knows that all the solutions of (N) which start near zero remain near zero for all future time or even that they approach zero as time increases. For the perturbed systems (P) and (P1) the above property concerning the solutions near zero may or may not remain true. A more precise formulation of this problem is as follows: if zero is stable or asymptotically stable for (N), and if the functions g(t, x) and h(t, x) are small in some sense, give conditions on f(t, x) so that zero is (eventually) stable or asymptotically stable for (P) and (P1).

A Perfect Marker in Israeli Sign Language

1999 ◽  
Vol 2 (1) ◽  
pp. 43-62 ◽  
Author(s):  
Irit Meir
Keyword(s):  
Sign Language ◽  
Past Tense ◽  
Future Time ◽  
Past Time ◽  
Aspect Marker ◽  
The One ◽  
Aspectual Markers ◽  
Core Meaning ◽  
Prior Event

In this paper I argue for the existence of an aspectual marker in Israeli Sign Language (ISL) denoting perfect constructions. This marker is the sign glossed as ALREADY. Though this sign often occurs in past time contexts, I argue that it is a perfect-aspect marker and not a past tense marker. This claim is supported by the following observations: (a) ALREADY can co-occur with past, present and future time adverbials; (b) its core meaning is to relate a resultant state to a prior event; (c) it occurs much more in dialogues than in narrative contexts. Further examination of the properties and functions of ALREADY in the language reveals that it shares many properties with perfect constructions in other languages. In addition, it is shown that the co-occurrence of ALREADY with various time adverbials, as well as with the durational aspectual modulation, gives rise to a rich aspectual system in the language. This aspectual system is compared to similar systems in other languages. The ISL system turns out to be very different from that of Hebrew on the one hand, while showing significant similarities to that of ASL. However, there are also some differences between ISL and ASL aspectual markers, which might be due to the relative youth of ISL, and to the different source for the aspectual marker: a verbin the case of ASL, and an adverb in ISL.

Tense Logic for Discrete Future Time

1970 ◽  
Vol 35 (1) ◽  
pp. 105
Author(s):  
Patrick Schindler
Keyword(s):  
Tense Logic ◽  
Future Time

scholarly journals Badini Kurdish modal particles dê and da: procedural semantics and language variation

2014 ◽  
Vol 1 (1) ◽  
pp. 177-200
Author(s):  
Christoph Unger
Keyword(s):  
Semantic Analysis ◽  
Language Variation ◽  
Future Time ◽  
Procedural Semantics ◽  
Modal Particles ◽  
Optimal Relevance ◽  
Interpretation Process ◽  
Pragmatic Interpretation

In this paper I review a semantic analysis of the Badini Kurdish modal particles dê and da (Unger, 2012). This analysis claims that the modal particles are procedural indicators in the sense of Blakemore (2002) triggering cognitive inferential procedures relating to assessing the speaker's commitment to the veracity of the communicated content and to the speaker's reliability for making true claims about the eventualities described. Since audiences interpret utterances for optimal relevance following a path of least effort (Sperber and Wilson 1995), these minimal clues for constraining the pragmatic interpretation process are enough to guide audiences arriving at the temporal, modal and aspectual interpretations intended by the speaker. I argue that the standard Kurmanji particle wê triggers slightly different procedures than Badini dê. These differences provide semantic explanations to variation in Northern Kurdish dialects with respect to the indication of future time and with reference to possible but non-factual worlds.Pirtikên raweyî yên dê û da di kurdiya badînî de: semantîka prosedûrî û cudatiyên zimanî ya navxweyîDi vê meqaleyê de ez vedigerime ser tehlîleke semantîk (Unger, 2012) a pêştir li ser pirtikên raweyî (modal particles) yên dê û da di kurdiya badînî de. Îdiaya vê tehlîlê ew e ku ev pirtikên raweyî nîşanên prosedûrî ne, li dû pênaseya Blakemore (2002), ku rê li ber prosedûrên hişî yên bimenakirinê vedikin ku ew prosedûr fikrekê didin derheqê pabendiya axêverî bi rastbûna muhtewayê axiftinê û derheqê pêbaweriya axêverî ji bo derbirîna gotinên rast li ser encam û muhtewayê axiftinê. Ji ber ku guhdar bêjeyan bi awayê herî zêde pêwendîdar û bi serfkirina kêmtirîn hewlan şîrove dikin (Sperber û Wilson, 1995), ev serben û nîşanên mînîmal yên destnîşankirina çeperên proseya şîrovekirina mercî bes in ku guhdar bikarin pê bigihine wan şîroveyên demî, raweyî û aspektî ku mebesta axêver in. Herwiha diyar dibe ku pirtika wê ya kurmanciya standard prosedûrên hinek cudatir ji yên dê ya badînî feal dike. Ev cudatî ye li pişt cihêrengiya zaravayên kurmanciyê ya di nîşandana dema tê de û di amajeya bi cîhanên mumkin lê ne waqi’î. ئامرازەکانی پەیوەندیدار بە کردار، دێ و دا لە کوردیی بادینیدا: ماناناسی ڕێکاری و جیاوازی زمانی لەم وتارەدا هەوڵ دەدەم پێداچوونەوەیەکم بۆ شیکاری ماناناسیانەی ئامرازەکانی پەیوەندیدار بە کردار لە کوردیی بادینیدا وەکوو دێ و دا هەبێت (ئانگر، ٢٠١٢). ئەم شیکارییە داخوازی ئەوە دەکات کە ئامرازەکانی پەیوەندیدار بە کردار بەو مانایەی کە لای بلەکمۆر (٢٠٠٢) هەیانە دەورێکی نیشاندەری ڕێکارییانەیان هەیە و بەم واتایە ئەو پرۆسە زانینیانەی کە ئەنجامێکیان لێ دەکەوێتەوە پەیوەندییان لەگەڵ بەراوردکردنی دەربەستبوونی ئاخێوەران، ڕاستیەتی ئەو بەستێنەی کە پەیوەندی چێ دەکات و هەروەها باوەڕپێکراوی ئاخێوەران بۆ سازدانی داخوازیگەلێکی ڕاست سەبارەت بەو ڕووداوانەی کە وەسف کراون هەیە. چونکە بیسەرەکان قسەکان لە ڕێگەیەکەوە ڕاڤە دەکەن کە بەباشترین شێوە پەیوەندی لەگەڵ ساز بکەن و هەروەها کەمەترین هەوڵی بۆ بدرێت (سپێربر و وێڵسن ١٩٩٥)، ئەم نیشانە بچووکانە کە پرۆسەی ڕاڤەیەکی کارەکی بەدەستەوە دەدەن بۆ ڕێنوێنی ئەو بیسەرانە بەس دەکەن کە بە چەند ڕاڤەیەکی کاتی، پەیوەندیدار بە کردار و کاتی ڕووداوەکانەوە دەگەن و ئاخێوەران مەبەستیانە. من بەڵگە دەهێنمەوە کە لە کرمانجی ستاندارددا ئامرازی وێ، بە بەراورد لەگەڵ دێ لە بادینیدا، دەبێتە هۆی چەند شێوازێکی نەختێک جیاواز. ئەم جیاوازییانە چەند لێکدانەوەیەکی ماناناسیانە دەستەبەر دەکەن و بەمگوێرەیە جۆراوجۆری زارەکانی کوردیی باکور لە ڕێگەی ئاوڕدانەوە لە نیشانەکانی دواڕۆژ و سەرچاوەدان بە چەند جیهانێکی گونجاو بەڵام ناواقێع دابین دەکرێت.

Time Perspective, Awareness of Narrative Identity, and the Perceived Coherence of Past Experiences Among Adults

2019 ◽  
Vol 40 (1) ◽  
pp. 45-54
Author(s):  
David John Hallford ◽  
Nicholas J. Fava ◽  
David Mellor
Keyword(s):  
Individual Differences ◽  
Time Perspective ◽  
Narrative Identity ◽  
Future Time Perspective ◽  
Future Time ◽  
Past Time ◽  
The Past ◽  
Balanced Time Perspective ◽  
Past Experiences ◽  
The Relationship

Abstract. The ability to mentally project oneself into the past and future is theoretically central to perception of a salient and cohesive narrative identity. Despite these theorized links, to date, the relationship between time perspective and narrative identity has not been empirically studied. We examined the association between these constructs in a sample of 212 participants ( Mage = 28.3 years, SD = 10.9) who completed the Balanced Time Perspective Scale and the Awareness of Narrative Identity Questionnaire (ANIQ). Congruent with our hypotheses, stronger past perspective and a bias for past perspective over future were associated with a stronger awareness of having a narrative identity and the perception of temporal, causal, and thematic coherency of past experiences. When the past and future time perspective scales were examined together as predictors of the ANIQ subscales, past time perspective emerged as a significant predictor of stronger awareness of a narrative identity through dimensions of perceived coherence of past experiences, whereas future time perspective was a weak, direct predictor of lower awareness. The findings indicate that individual differences in time perspective, and in particular a bias for past time perspective, are associated with a potentially more adaptive perception of narrative identity.

scholarly journals IV.—On Green's and other Allied Theorems

1870 ◽  
Vol 26 (1) ◽  
pp. 69-84 ◽  
Author(s):  
Tait
Keyword(s):  
Mathematical Reasoning ◽  
Point Of View ◽  
Future Time ◽  
Mathematical Point ◽  
Analytical Aspect ◽  
Full Power ◽  
The Subject ◽  
Definite Integration ◽  
Image Position

I was originally attracted to the study of Quaternions by Sir W. R Hamilton's ingeniously devised and most valuable operatorto which he called special attention (Lectures on Quaternions, § 620) on account of its promise of usefulness in physical applications. But I soon found that in order that its full power may be applied, in general investigations, it is necessary that we should have processes of definite integration, of the kinds required in physics, applicable to quaternion symbols and not merely to scalar variables. I often consulted Hamilton about this want, and he promised to endeavour to supply it at some future time. I fancy that shortly before his death he must have in some way supplied it, though he certainly did not print, nor does he appear even to have written, anything on the subject. In one of the last letters I received from him, he said that he intended to conclude the final chapter of his Elements, which is devoted to physical applications, by some sections on the use of the operator mentioned above. That chapter remains unfinished, and as Hamilton rarely wrote down the steps of even a complex train of mathematical reasoning until he had mentally completed it, it is to be feared that this portion of his investigations is entirely lost. So far as the analytical aspect of Quaternions is concerned, this loss is very serious indeed, for there can be little doubt that Hamilton's solution would have been of immense value from the purely mathematical point of view.

scholarly journals The Use Of Deixis In Students’ Speech Text At Ma’had Sunan Ampel Al-Aly Dormitory Universitas Islam Negeri Malang

2021 ◽  
Vol 4 (3) ◽  
pp. 428-437
Author(s):  
Nadiyatul Uswatul Hasanah ◽  
Januariyus Mujianto ◽  
Dwi Rukmini
Keyword(s):  
English Learners ◽  
Qualitative Method ◽  
Future Time ◽  
Discourse Marker ◽  
Past Time ◽  
The Social ◽  
The Future ◽  
Intimate Relation ◽  
Social Deixis ◽  
Textual Meaning

Through in the finding product of speech text, students’ can speech their knowledge, thoughts, and feeling to the listener. Deixis is one of parts in pragmatics. Deixis is parts hold intimate relation between textual meaning and context. And one of the speech text components that have to be show by the students’ to communicate the meaning in speech text. This study aimed at identifying the use of deixis in the students’ speech text at Ma’had Sunan Ampel Al-Aly Dormitory Universities Islam Negeri Malang and focus on how they realized in different texts. Descriptive qualitative method is used in this research.  Eight research texts were chosen as the sample for analysis. The result shows that the speech text use all kinds of deixis, the use of person deixis is more dominant. Because the position of the speaker as the main characters is themselves of their own knowledge. The proximal form is more dominant rather than the distal form in the place deixis. In the time deixis was used by present time, past time, and future time. In the social deixis was used in two parts. Therefore, absolute social deixis and relational social deixis. After that in the discourse deixis used through discourse marker and form of demonstrative this/that. Also, deixis is highly context-dependent that is cannot be understood without considering the context. Therefore, in realizing students' speech texts, English learners cannot only understand in the whole context of the students' speech text also trust on their vocabularies need. Because of this research for the future can improve knowledge of pragmatics especially in the speech text of deixis.

Reduction of tense logic to modal logic. I

1974 ◽  
Vol 39 (3) ◽  
pp. 549-551 ◽  
Author(s):  
S. K. Thomason
Keyword(s):  
Modal Logic ◽  
Logical Consequence ◽  
Tense Logic ◽  
Kripke Semantics ◽  
Relational Semantics ◽  
Propositional Modal Logic ◽  
Formal Systems ◽  
Unary Operator ◽  
Countable Infinity ◽  
Image Position

It will be shown that propositional tense logic (with the Kripke relational semantics) may be regarded as a fragment of propositional modal logic (again with the Kripke semantics). This paper deals only with model theory. The interpretation of formal systems of tense logic as formal systems of modal logic will be discussed in [6].The languages M and T, of modal and tense logic respectively, each have a countable infinity of propositional variables and the Boolean connectives; in addition, M has the unary operator ⋄ and T has the unary operators F and P. A structure is a pair <W, ≺<, where W is a nonempty set and ≺ is a binary relation on W. An assignment V assigns to each propositional variable p a subset V(p) of W. Then V(α)£ W is defined for all formulas α of M or T by induction:We say that α is valid in <W, ≺>, or <W, ≺>, ⊨ α, if ⊩ (α) = W for every assignment V for <W, ≺>. If Γ is a set of formulas of M [T] and α is a formula of M [T], then α is a logical consequence of Γ, or Γ ⊩ α,if α is valid in every model of Γ i.e., in every structure in which all γ ∈ Γ are valid.

Sign in / Sign up

Export Citation Format

Share Document