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.
Подобные документы
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Анализ мышления современного человека. Сравнение вариантов трактовок рациональности в зарубежной и отечественной литературе. Раскрытие сути неклассических логик, их особенности, возможности использования в естественных и социальных науках и образовании.
статья, добавлен 08.02.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.2022Situational 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.2022A short review of the whole of John Rawls's "A Theory of Justice". The priority of liberty is as a proposition concerning the relation between two principles of justice. In Rawl's opinion, there is a simple priority relationship between two principles.
статья, добавлен 09.09.2012Analysis of the concept of the technique of using "debates" in English and German language lessons in higher educational institutions of Ukraine and English language sessions with students of language specialties, fellows of the US Embassy program.
статья, добавлен 26.01.2023The critical theorists' analyses of the dialectic of enlightenment. Marx's critique of political economy to instrumental reason. The context for critical theory. Marx's dialectical materialism. Nietzsche's genealogy of morals. Critical contradictions.
статья, добавлен 10.09.2012