Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This study reconstructs the relationship between philosophy and politics in the way in which Heidegger's failure as a politician influenced the redevelopment of philosophy in the 1930s. The author also explains how Heidegger's failure influenced the content and direction of his later work.

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

Methods available for the axiomatization of arbitrary finite-valued logics can be applied to obtain sound and complete intelim rules for all truth-functional connectives of classical logic including the Sheffer stroke and Peirce’s arrow. The restriction to a single conclusion in standard systems of natural deduction requires the introduction of additional rules to make the resulting systems complete; these rules are nevertheless still simple and correspond straightforwardly to the classical absurdity rule. Omitting these rules results in systems for intuitionistic versions of (...) the connectives in question. (shrink)

Studies the politics of Heidegger in terms of "thrownness" or "existential contingency". Attempts to think through Heidegger's philosophy in a manner that parallels his own dialogue with other key western thinkers.

Having visited Ireland regularly during the 1930s, Ludwig Wittgenstein resigned his Cambridge philosophy professorship in 1947 and moved there, living in a fishing village on the Atlantic coast and hotels in Dublin and the Wicklow Mountains. Although Wittgenstein spent some time out of the country, Ireland was effectively his base for three very productive years during which he worked on what would become one of his key books, the posthumously published Philosophical Investigations. Wittgenstein in Ireland represents the first sustained account (...) of Wittgenstein's time in Ireland, placing it in its historical context. Wall pays a good deal of attention to the representation of the Irish landscape in which the Austrian philosopher found himself able to work; a large part of his writings were produced in the bleak landscapes of Ireland and Norway. (shrink)

Textbook on Gödel’s incompleteness theorems and computability theory, based on the Open Logic Project. Covers recursive function theory, arithmetization of syntax, the first and second incompleteness theorem, models of arithmetic, second-order logic, and the lambda calculus.

Despite their differences in origin, the three influential schools of twentieth-century continental cultural criticism--the Frankfurt School, existentialism, and poststructuralism--have long been treated as an ensemble and with critical hesitancy. Examining these schools as responses to the apparent collapse of Western civilization in the twentieth-century and as formidable intellectual challenges to the cultural legacies of the Enlightenment, this book provides a productive base for criticism and broadens our understanding of their histories and reception.

This book is the complete story of the creation of the universe, as it was understood by the ancient Egyptians. It is a collection of harmonic and radical 'Black Thoughts' and the pursuit of equality for all of this planet's inhabitants"--P. vii.

El artículo presenta los principales resultados de un estudio realizado entre 1998 y 2000 con hombres jóvenes de la Ciudad de Cali, Colombia, profundizando en sus prácticas de distinción en torno al cuerpo, la vestimenta, los espacios de sociabilidad, las mujeres como objetos de ostentación y sus dinámicas de prestigio. El estudio es desarrollado en base a observación participante y a la implementación de entrevistas con grupos de jóvenes entre 14 y 22 años, tanto de sectores medios bajos, como medios (...) altos, e indaga en sus opiniones sobre la moda, el prestigio, la distinción social y los comportamientos que otorgan o quitan el estatus. (shrink)

Drawing on case studies from around the world - including Iran, Guatemala, USA and Mexico - this collection documents how transnational human rights discourses and legal institutions are materialised, imposed, resisted and transformed in a variety of contexts.

El presente artículo desarrolla una reflexión acerca de los ideales de belleza femenina promovidos por el mercado y los mass-media, dando cuenta de datos estadísticos e informes periodísticos de los trastornos que generan, en términos de mortalidad y morbilidad en la población femeninaLa primera parte del análisis responde, desde una perspectiva psicológica, a la pregunta ¿cómo se constituye como sujeto una mujer? La segunda parte aborda desde una perspectiva sociocultural la pregunta ¿cómo debe ser una mujer?, desde la premisa de (...) que las prácticas de educación y moldeamiento del cuerpo tienen sentido en la modernidad como una forma de control social. Finalmente se busca, desde una perspectiva política, señalar cómo el “boom” de la estética corporal es un mecanismo de dominación principalmente dirigido a la mujer, al cual las políticas públicas y la legislación no logran dar respuesta, manteniendo a éstas en un lugar pasivo como sujeto y actor político. (shrink)

This classic, provocative introduction to classical metaphysical questions focuses on appreciating the problems, rather than attempting to proffer answers.

O estatuto do realismo em Foucault, apesar de elaborado insistentemente, permanece elíptico – em parte graças à sua associação a proposições que poderíamos denominar ficcionalistas. Através dos textos onde Foucault aborda os nexos de pertencimento entre ficção, universalidade e facticidade, o artigo propõe uma leitura não-realista de suas pesquisas, caracterizada pela recusa não do real enquanto objeto, mas de sua evidência ontológica. Inicialmente, trata da apresentação das insuficiências das interpretações que exigem uma ontologia – como a de Paul Veyne –, (...) bem como das que a substituem pela excepcionalidade da criação – como a de Michel de Certeau. Em seguida, detalha a questão da literatura como paradigma metodológico, especialmente nas referências de Foucault à obra de René Char. Enfim, mostra em que sentido a enunciação do discurso da arqueogenealogia está mais próximo do (não-)realismo de Fichte – no seu improvável encontro com Blanchot – do que da dialética hegeliana. (shrink)

Rice is the most important crop species on earth, providing staple food for 70% of the world's human population. Over the past four decades, successes in classical breeding, fertilization, pest control, irrigation and expansion of arable land have massively increased global rice production, enabling crop scientists and farmers to stave off anticipated famines. If current projections for human population growth are correct, however, present rice yields will be insufficient within a few years. Rice yields will have to increase by an (...) estimated 60% in the next 30 years, or global food security will be in danger. The classical methods of previous green revolutions alone will probably not be able to meet this challenge, without being coupled to recombinant DNA technology. Here, we focus on the promise of these modern technologies in the area of nitrogen acquisition in rice, recognizing that nitrogen deficiency compromises the realization of rice yield potential in the field more than any other single factor. We summarize rice‐specific advances in four key areas of research: (1) nitrogen fixation, (2) primary nitrogen acquisition, (3) manipulations of internal nitrogen metabolism, and (4) interactions between nitrogen and photosynthesis. We develop a model for future plant breeding possibilities, pointing out the importance of coming to terms with the complex interactions among the physiological components under manipulation, in the context of ensuring proper targeting of intellectual and financial resources in this crucial area of research. BioEssays 26:683–692, 2004. © 2004 Wiley Periodicals, Inc. (shrink)

A história da relação equívoca entre Nietzsche e Wagner revela as dimensões de sua frágil tensão, se considerada segundo os elementos com base nos quais ambos conceberam o problema da cultura e sua renovação como missão política e teórica. O presente artigo pretende, a partir da leitura de documentos testemunhais, sublinhar a distância ideológica que o filólogo e o compositor, estrategicamente, tiveram de ignorar. Mostram-se, através desta análise, as diferenças normalmente pouco abordadas entre os projetos de reforma da cultura elaborados (...) pelos dois autores – tanto no que se refere à atuação política, quanto no que diz respeito a uma visão de mundo. (shrink)

Discusses the moral and ethical aspects of euthanasia and related topics.

Written by a former student of Heidegger, this book examines the relationship between the philosophy and the politics of a celebrated teacher and the allure that Nazism held out for scholars committed to revolutionary nihilism.

In this study, Worsley argues that it is rational to believe in a loving God in the face of evil. Beginning with a critique of Alvin Plantinga, he shows that human freedom is highly complex, and so depends upon complex structures in nature. These are both necessary for freedom but also sufficient for natural evil. He offers close analysis of the evolution of the human brain. The book develops a parallel argument that human evil stems from the evolution of personality.

. History of the concept of economic efficiency . INTRODUCTION James Buchanan won the Nobel Prize by proving that the process by which elected officials ...

Resumo: neste artigo, apresenta-se um prelúdio de ideias e vivências acerca da importância do ensino de Filosofia, apontando também para um caminho, onde, a partir de experiências e estudos, acredita-se que esse ensino possa ser melhor conduzido. Assim, como escopo, busca-se desenvolver breves considerações em torno da premissa de que o ensino de filosofia, este sendo aplicado em um novo paradigma educacional, pode ser uma via profícua para o processo de emancipação, esclarecimento (aufklarung) e autonomia do indivíduo. Nessa medida, o (...) artigo terá como referência o ensaio “O que é esclarecimento” de Immanuel Kant, a obra “Educação e emancipação” de Theodor Adorno, e do artigo “O ensino de filosofia e a questão da emancipação” do comentador Walter Omar Kohan, entre outros textos de apoio. Por fim, buscaremos fazer uma correlação entre o ensino de Filosofia, seu potencial crítico-emancipador e o modelo de educação a distância, procurando destacar as possibilidades a serem abordadas dentro desse novo paradigma pedagógico, que, como mostraremos, apresenta inúmeras potencialidades a serem utilizadas no demandado processo de transformação da educação explorado no texto. Palavras-chave: Educação; Ensino de Filosofia; Autonomia; Princípios da Educação Online; Emancipação. Teaching philosophy: a path to emancipation, criticity and autonomy of the student Abstract: in this article, a prelude to ideas and experiences about the importance of Philosophy Teaching is presented, also pointing to a path where, based on experiences and studies, it is believed that this teaching can be better conducted. Thus, as a scope, we seek to develop brief considerations around the premise that the teaching of philosophy, being applied in a new educational paradigm, can be a fruitful way for the process of emancipation, enlightenment (aufklarung) and autonomy of the individual. To that extent, the article will have as reference the use of Kant’s essay “which is enlightenment”, of Adorno’s work “Education and emancipation”, by the commentator Walter Omar Kohan, in his article “The teaching of philosophy and the question of emancipation”, among other supporting texts. Finally, we will try to make a correlation between Philosophy teaching, its critical-emancipating potential and the distance education model, trying to highlight the possibilities to be addressed within this new pedagogical paradigm, which, as we will show, presents countless potentialities to be used in the demanded process of transformation of education explored in the text. Keywords: Education; Teaching Philosophy; Autonomy; Principles of Online Education; Emancipation. La enseñanza de la filosofía: un camino hacia la emancipación, crítica y la autonomía del estudiante Resumen: en este artículo se presenta un preludio de ideas y experiencias sobre la importancia de la Enseñanza de la Filosofía, señalando también un camino donde, a partir de experiencias y estudios, se cree que esta enseñanza puede ser mejor conducida. Así, como alcance, buscamos desarrollar breves consideraciones en torno a la premisa de que la enseñanza de la filosofía, siendo aplicada en un nuevo paradigma educativo, puede ser un camino fecundo para el proceso de emancipación, esclarecimiento (Aufklarung) y autonomía del individuo. En esa medida, el artículo tendrá como referencia el uso del ensayo de Kant “que es la ilustración”, de la obra de Adorno “Educación y emancipación”, del comentarista Walter Omar Kohan, en su artículo “La enseñanza de la filosofía y la cuestión de la emancipación”. ”, entre otros textos de apoyo. Finalmente, buscaremos hacer una correlación entre la enseñanza de la filosofía, su potencial crítico-emancipador y el modelo de educación a distancia, buscando destacar las posibilidades a ser abordadas dentro de este nuevo paradigma pedagógico, que, como mostraremos, presenta innumerables potencialidades a ser utilizadas en el demandado proceso de transformación de la educación explorado en el texto. Palabras clave: Educación; Enseñanza de la Filosofía; Autonomía; Principios de Educación en Línea; Emancipación. Data de registro: 23/08/2022 Data de aceite: 13/12/2022. (shrink)

In Brazil, the normative landscape around advertising is complex, not the least because of limitations inherent to dispute resolution mechanisms. Focusing on unhealthy food and beverages, this case study identifies some challenges and opportunities around advertising restrictions, including in relation to freedom of speech.

Drawing on a passage from Ramsey's Truth and Probability, we formulate a simple, plausible constraint on evaluating the accuracy of credences: the Calibration Test. We show that any additive, continuous accuracy measure that passes the Calibration Test will be strictly proper. Strictly proper accuracy measures are known to support the touchstone results of accuracy-first epistemology, for example vindications of probabilism and conditionalization. We show that our use of Calibration is an improvement on previous such appeals by showing how it answers (...) or sidesteps problems that have been raised for previous work in this area. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.