Thematic
Tense and temporal logic
A special kind of logic is needed to represent the valid kinds of arguments involving tensed sentences. The first significant presentation of a tense logic appeared in Prior ...
Search Results 1 - 17 of 17. Results contain 24 matches
"tense-and-temporal-logic" appears most in:
Thematic
Semantics, possible worlds
Possible worlds semantics (PWS) is a family of ideas and methods that have been used to analyse concepts of philosophical interest. PWS was originally focused on the important ...
"tense-and-temporal-logic" appears most in:
Biographical
Broad, Charlie Dunbar (1887–1971)
A Cambridge contemporary of Russell, Moore and Wittgenstein, C.D. Broad wrote on an exceptional range of topics, including causation, perception, the philosophy of space and time, probability and ...
"tense-and-temporal-logic" appears most in:
4
Thematic
Imperative logic
Imperatives lie at the heart of both practical and moral reasoning, yet they have been overshadowed by propositions and relegated by many philosophers to the status of exclamations. ...
"tense-and-temporal-logic" appears most in:
Biographical
Prior, Arthur Norman (1914–69)
Prior is most often thought of as the creator of tense logic. (Tense logic examines operators such as ‘It will be the case that’ in the way that ...
"tense-and-temporal-logic" appears most in:
Overview
Logic, philosophy of
Philosophy of logic can be roughly characterized as those philosophical topics which have emerged either from the technical development of symbolic (mathematical) logic, or from the motivations that ...
"tense-and-temporal-logic" appears most in:
Thematic
Model theory
Model theory studies the relations between sentences of a formal language and the interpretations (or ‘structures’) which make these sentences true or false. It offers precise definitions of ...
"tense-and-temporal-logic" appears most in:
Thematic
Semantics
Semantics is the systematic study of meaning. Current work in this field builds on the work of logicians and linguists as well as of philosophers. Philosophers are interested ...
"tense-and-temporal-logic" appears most in:
Biographical
Diodorus Cronus (late 4th–early 3rd centuries BC)
The most famous member of the Dialectical school, the Greek philosopher Diodorus Cronus maintained various paradoxical theses. He argued that any attempt to divide space, time or matter ...
"tense-and-temporal-logic" appears most in:
Thematic
Deontic logic
Deontic logic is the investigation of the logic of normative concepts, especially obligation (‘ought’, ‘should’, ‘must’), permission (‘may’) and prohibition (‘ought not’, ‘forbidden’). Deontic logic differs from normative ...
"tense-and-temporal-logic" appears most in:
Thematic
Time
Time is the single most pervasive component of our experience and the most fundamental concept in our physical theories. For these reasons time has received intensive attention from ...
"tense-and-temporal-logic" appears most in:
Biographical
Zeno of Elea (fl. c.450 BC)
The Greek philosopher Zeno of Elea was celebrated for his paradoxes. Aristotle called him the ‘founder of dialectic’. He wrote in order to defend the Eleatic metaphysics of ...
"tense-and-temporal-logic" appears most in:
Thematic
Discourse semantics
Discourse and its interpretation have interested philosophers since ancient times, and have been studied in different areas of philosophy such as rhetoric, the philosophy of language and the ...
"tense-and-temporal-logic" appears most in:
Thematic
Modal logic
Modal logic, narrowly conceived, is the study of principles of reasoning involving necessity and possibility. More broadly, it encompasses a number of structurally similar inferential systems. In this ...
"tense-and-temporal-logic" appears most in:
Thematic
Presentism
Presentism, as a metaphysical thesis about time, is the view that only what is present exists. The past and future are in some sense to be explained, unreal. ...
"tense-and-temporal-logic" appears most in:
Thematic
Logic in the second half of the twentieth century
By the end of the first half of the twentieth century, logic had become a mature philosophical and mathematical discipline. As happens in mature disciplines, in the second ...
"tense-and-temporal-logic" appears most in:
Biographical
Aristotle (384–322 BC)
Aristotle of Stagira is one of the two most important philosophers of the ancient world, and one of the four or five most important of any time or ...
"tense-and-temporal-logic" appears most in: