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 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.2021The 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.2012Slavoj 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 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.2012The specifics of the classical stage of the philosophy of language, in which language was characterized as a creative process, a means of spiritual creativity and the search for truth. Isolation of the philosophy of language in the works of V. Humboldt.
статья, добавлен 28.07.2022