A Logic of Authentication
Characterization of Otway-Rees and Needham-Schroder Protocol. The main smart Deals of suggestion by Butler Lampson. Analysis the table shows well-known properties: the goal of each protocol, the type of cryptosystem used, shared key or public key.
Подобные документы
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.2021Logic 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.2019The 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.2013Phenomena 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.
книга, добавлен 09.04.2013Ludwig 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.2023The definition of science as a public good is a factor that exacerbates the dangers associated with the increasing democratization of the knowledge system. The main features of Raphael Sassover's transcendent approach to knowledge as a public good.
статья, добавлен 22.11.2021Study 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.2012Study 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.2022Dewey'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.2012Consideration of anthropological preferences in the historical and philosophical work of the English philosopher and mathematician, public figure and logic Bertrand Russell. Analysis of the anthropological reduction of the history of philosophy.
статья, добавлен 09.06.2021Features 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.2023The 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.2023A 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.2012The deals with the Italian thinkers’ reflection on food and its role in culture and religion. Food is viewed as the means of human identity and social formation as well as strengthening of connections between peoples and cultures, between people and God.
статья, добавлен 15.01.2023The 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.2021Analysis of the main components of the mission of the modern university through the prism of the fundamental philosophical categories of time and space. Studying and characterization of learning as a process of translating knowledge from the past.
статья, добавлен 30.11.2017Formal 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.2020The 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.2012Theoretical 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.2022Transgressive changes that have opened up new prospects for the development of society in general and people in particular. Transition to type of Organization of public life of people, called "Information Society". Formation of the"information society".
статья, добавлен 22.12.2022Shows that, if we accept the basic theses of the mental models theory, we must also assume that certain formal logical structures are equally part of the human intellectual machinery. Familiarization with propositions habitual in standard deontic logic.
статья, добавлен 16.11.2021Research and characterization of the capabilities of the transhuman, as his attitude accordingly. Analysis of the influence of Nietzsche on the growth of transhumanism and posthumanism. Study and analysis of the overman as a creator of new values.
статья, добавлен 22.03.2021New 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.2023Versions 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