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 boundaries between truth and falsehood in the context of Plato's theory. Perception of the truth and falsity of the universe. Language and sensations in the system of cognition. Development of a theory of boundaries between truth and falsehood.
??????, добавлен 26.04.2023The searching for a new paradigm in the education system in the era of artificial intelligence and digital technologies, the transition to the VI economic order. ? list of new competencies of the 21st century. ?nalysis of challenges to the education.
??????, добавлен 14.07.2022Study 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?????? ???????? ???????????? ????????. ????????? ????????? ????????? ?????????????? ? ?????????? ? ????????????? ??????????. ????????? ???? ?????????????? ?????, ?? ???????????, ??????????? ????????????? ? ???????????? ? ?????????? ?????? ? ???????????.
??????, добавлен 08.02.2021Investigation of the connection between primitive language and corporal life, which consists in the manipulation of rigid bodies in the construction of a house. Consideration and ?haracteristics of L. Wittgenstein's philosophy of linguistic analysis.
??????, добавлен 21.04.2021Characterization 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.
???????????, добавлен 15.09.2012The establishing the conceptual unity and the variety of historical forms of psychologism in the European philosophy of the XIXth - the beginning of the XXth centuries. "New psychologism". The overcoming the so-called barrier between logic and psychology.
??????, добавлен 16.12.2020The most significant concepts in the philosophy of language. A feature of philosophical knowledge of the XX century. Hard determination of scientific apparatus of modern science. Exploring the theory and practice of interpretation by hermeneutics.
???????????, добавлен 13.02.2016Analysis of the social aspect of the language based on the methodological ideas of O. Rosenstock-Hussy. Analysis of social phenomena. The connection between the processes of thinking, speech, communication. Concept of the name in a philosophical turn.
??????, добавлен 26.01.2022In article Kripke showed that a language can consistently contain its own truth predicate, which was deemed impossible by A. Tarski, a pioneer in the area of theories of truth. A proof of the existence of the minimal and of various maximal fixed points.
??????, добавлен 10.09.2012Introduction to medieval philosophy. A synthesis of the christian theology and logic. Apostolic fathers, directly adjacent to the apostles. Scholastica - a systematic medieval philosophy. Problems of body, soul. Achievements thinkers of the middle ages.
???????, добавлен 02.12.2014Study of the concepts of industrial and post-industrial societies. Cardinal social transformations that fundamentally changed the face of human civilization. The internal logic of social progress, determination of the nearest development prospects.
??????, добавлен 04.12.2022The study is aimed at the "philosophy of translation" methodology outlining as an original philosophical texts translation tool from the point of view of culture as anthropological phenomena, namely, individuals’ participating in the text creation process
??????, добавлен 13.12.2022Scientific representations and elaboration of the terms "internalism-externalism". Possible consequences of referring to the Marxist roots of modern research in science to which V. Lynch puts attention. Marxist legitimization of scientific theory.
??????, добавлен 21.01.2022The method of definition and counterexample, conflict with the cardinal principle of the philosophy of ordinary language. Preoccupation with definitions of whole systems` technical terms, tends to divert the attention of philosophers such investigation.
??????, добавлен 09.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.2021Slavoj Zizek uses examples from popular culture to explain the theory of Jacques Lacan and also uses Lacanian psychoanalysis, Hegelian philosophy and Marxist economic criticism to interpret and speak extensively on immediately current social phenomena.
??????, добавлен 10.08.2013The construction of Leibniz's work in the form of philosophical dialogue. The question of the innate nature of human morality. Sensual-symbolic, contemplative and intuitive aspects and forms of knowledge. The concept of logical and epistemological ideal.
??????, добавлен 10.09.2012The article is devoted to the forgotten "alternative" history of the philosophical concept of exclusion, from ancient Rome to the end of the 19th century. on the example of Cicero, Leibniz, Kant. ?ontours of the historical and philosophical foundation.
??????, добавлен 31.03.2022Origin, evolution and structure of the Universe. Ancient Chinese and Indian texts on mathematics and logic. Ontology of Plato and Aristotle. Astronomical texts of ancient Mesopotamia. Existence of the universal through the categories of space and time.
??????, добавлен 19.09.2024Situational variables - the various features of the environment that were created for the participants of the experiment. Comparative characteristic of the phenomenon of independent objects in mathematical theory and in socio-philosophical research.
??????, добавлен 19.08.2021Cultural and political economic research of orientalists and dialectical logic. Analysis of the ethical attitude to desire in ancient Chinese and ancient Indian societies. The meaning and material origins of transcendental law in Eastern philosophy.
??????, добавлен 21.07.2021The modifications of happiness interpretation from early modernity till nowadays. The preconditions of the contemporary appeal to Aristotle’s eudaimonic theory of happiness. A moral foundation and a behavioral strategy of homo eudaimonicus model.
??????, добавлен 23.07.2021The protocol and the demiphologization of networks regarding their seeming interactivity, universality and absence of boundaries. The "conceptual place" of the theory among other disciplines. Philosophy and theory are two entirely different activities.
??????, добавлен 21.11.2021A location development of mathematics is in a theory and history of philosophy. Dogmatic analysis of basic categories of mathematics, engendered in philosophy. Research of development of mathematical methods of cognition in general history of philosophy.
??????, добавлен 11.09.2012