Second-order Logic still wild
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.
Подобные документы
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.2012Formal 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 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.2021Consideration 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.2021Shows 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.2021The 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.2013A comprehensive study of the issues of manifestation and development of modalities in Avicenna's logic. Characteristics of the religion of Islam as a context for the emergence of interest in logical thought. Acquaintance with Aristotelian philosophy.
статья, добавлен 28.08.2020New 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.2023Analysis of modern science based on the abstract-logical method of cognition. Acquaintance with the features of creating a reliable tool for penetrating into the depths of beliefs. Consideration of the process of training managers of the organization.
статья, добавлен 26.05.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.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.2022Logic 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.2019Theoretical 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.2022Ludwig 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.2023Analysis of the world-system theory from the point of view of its applicability to the Russian-Ukrainian war. Review of modern geopolitical conflicts from the perspective of Wallerstein's hypothesis. Forecasting the formation of a new world order.
статья, добавлен 08.01.2024The 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.2023Study of the basic postulates of the theory of cosmic inflation and deanthropomorphism. Search for ways to solve long-standing philosophical and logical riddles associated with the anthropic principle. Using Occam's Razor to Explore the Multiverse.
статья, добавлен 25.11.2021A 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.2013The Philosophical foundation of teleological theory. Essence new understanding concept of behavior under teleological behavior theory. Welzel’s criticism to causal behavior theory. Rethinking of the doctrine of distinction between subject and object.
статья, добавлен 30.07.2018Features 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.2017Features 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.2023Consideration of the concept of religious pluralism by M. Mendelssohn. Aspects of the theory of knowledge and language theory, foundation of the philosophy. Mendelssohn's views on the interaction of beliefs. Modern understanding of religious pluralism.
статья, добавлен 04.03.2021Determination of maintenance and description of logical semantic puzzle of Frege''s Puzzle. Study of elements of logical forms of theory of suggestions. Description of theories of the possible worlds. The system of assertions is in an algebraic theory.
статья, добавлен 09.09.2012