Temporal logic

Phenomena such as memory, experience, observation, anticipation and hope are all essential for the way time is understood. Modern issues in temporal logic. The Master Argument of Diodorus Cronus. Logic and Special Relativity. Graphs for Time and Modality.

Подобные документы

  • Theoretical framework of a new theory of time. The interpretation based on essential time considered instead of "coincidences" of modern science. The fundamental flaw in the anthropic principle. Interpretation of the ontological being in essential time.

    статья, добавлен 21.01.2022

  • The Cartesian Scholar's Dilemma. The Nature of Analysis. The cogito can be understood as an example of analytic entailment, a concept in the philosophy of language whereby a statement can be a formally valid inference without depending on a law of logic.

    книга, добавлен 09.04.2013

  • Dewey's metaphysics, a description of the generic traits of existence. Comparing the traits of nature with nature existing. Ontological status of real character. The continuity between logic and metaphysics. A non-ontological interpretation of logic.

    статья, добавлен 10.09.2012

  • Consideration of temporal constructions of modern German as a means of temporal interpretation of sentences. List of temporal constructions of modern German, which include finitive temporal constructions. Analysis of the syntax of temporal constructions.

    статья, добавлен 10.10.2023

  • A popular opinion among mathematical logicians by referring to second-order logic as "set theory in sheep`s clothing". Boolos`s translation of the second-order axiom of foundation. Using ordinary language to settle logical matters. Boolos`s circle.

    статья, добавлен 10.09.2012

  • New logical semantics for the classic propositional logic which states that a propositional formula refers to a special structure - “the tree of messages”. This tree of message determines the truth values for the elements of the propositional formula.

    статья, добавлен 27.02.2023

  • Consideration of Aristotle's ideas about logic and ontology and their relationship. Analysis of the philosopher's teachings about the theory of common properties of all entities and categorical aspects described by him in "Metaphysics and Categories".

    статья, добавлен 01.04.2021

  • The role of the theory of descriptions. Hierarchy of propositional functions. Methods for determining the structure of the proof. The functions of logic and philosophy. Logical construction of the world. Epistemological school of realism and idealism.

    статья, добавлен 11.08.2013

  • "Mathematical Logic as based on the Theory of Types" - the greatest and most original of Russell's works. Contributions which Russell made to the philosophy of physics. Causality as a matter of regular sequence. Logic as "the essence of philosophy".

    статья, добавлен 09.09.2012

  • Logic of discovery like a fruitful dialogue of disciplines. The dynamical interaction of abduction, deduction and induction and their inverse kinds. Probabilistic explanations - the main statements about proportion of objects that have some quality.

    дипломная работа, добавлен 10.12.2019

  • Theoretical premises of interdisciplinary studies targeting systemic universalia of lingual, mental, physical, cultural nature. Methodological concepts identified as "Mythic logic". Nature of system`s development, inverse nature of systems’ fluctuations.

    статья, добавлен 17.01.2022

  • The Newtonian understanding of time, and the view of quantum physics on time and space. Consideration of time as a dynamic force actively involved in maintaining the existence of the universe. Development of the concepts of existential and essential time.

    статья, добавлен 18.01.2022

  • Features of the solution of the ontology of possible worlds for the semantics of possible worlds as an instrument of modern logic. Establishing the truth/falsity of judgment, for a particular possible world. Instrumentally unsuitable worlds for research.

    статья, добавлен 27.02.2017

  • Ludwig Wittgenstein as one of the most influential philosophers of the 20th century, the author of fundamental contributions to the development of modern logic and philosophy of language. The main ways of moving away from the metaphysical use of words.

    статья, добавлен 22.03.2023

  • Versions of a structuralist view of mathematical objects. Ideas from the metaphysical tradition. Distinction between "basic" and "constructed" structures. The usual apparatus of first-order logic. Minimal way of expressing simple cardinality statements.

    статья, добавлен 10.08.2013

  • A formal system with its semantics, metatheory, and rules. The usual methods of empirical science to assess the correctness of his descriptions. Moderating the antipsychologism that permeates contemporary philosophical thinking about rationality.

    статья, добавлен 11.08.2013

  • Study of the functional-semantic category of causality. Determining the diversity of the cause and effect relationship. Analysis in the logic of cause-and-effect relationships, which are their reflection in thinking, embodied in the laws of thinking.

    статья, добавлен 11.07.2022

  • In the paper the relevance criterion for argument evaluation within informal logic. Dialectical relevance should be interpreted as a dialectical rather than a logical concept, which is the result of dialogical interpretation of argumentation process.

    статья, добавлен 09.04.2022

  • Features of the historical transformation of the philosophical methodology of cognition in the creative heritage of B. Spinoza. Analysis of the concept of substance, which plays a meaningful (backbone) and formal (methodological) role in his philosophy.

    статья, добавлен 03.05.2023

  • The aim of this article is to offer an analysis of early Russell’s theories of acquaintance and description. He tried to offer a solution to the Meinong’s problem of non-existent entities and used formal logic to develop a theory of definite descriptions.

    статья, добавлен 15.02.2023

  • The logic of history and the logic of its analysis in Marxism. Identity of logical and historical methods as anomaly in Marxism. Logical and historical methods as source of discussions in Marxism. The need to abandon the principle of historicism.

    статья, добавлен 03.03.2021

  • The philosophical framework of Spengler's argument is a Romantic one, derived ultimately from adaptation of Kant. The time in which this reality exists is a quite different time from the mechanical time of science, which is really a dimension of space.

    доклад, добавлен 11.02.2015

  • Formal axiomatic theory of Sigma as a result of logical formalization of philosophical epistemology. Acquaintance with the main features of the application of logic to philosophical theology. The essence of the concept of "formal-axiological equivalence".

    статья, добавлен 15.09.2020

  • Study of the philosophical foundations of mathematics Quine and his kraynihpozitsy nominalism. Concept ontological relativity and the holistic thesis, submitted to the philosopher. Minimization of logic functions using Quine, use truth table function.

    статья, добавлен 09.09.2012

  • An issue both of great importance and of formidable complexity in suggesting that certain transformations of time-experience are intrinsically involved with modernism in art. Commodified time as an inherent part of experience in contemporary capitalism.

    статья, добавлен 10.08.2013

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.