‘My name is Ephraïm Naana, I have already told you on one of these many occasions when you have come here before closing time to speak about my school. In my village, since you ask me, there are not all the things which are to be found on the market here, there are only those which grow there: mangoes, potatoes, maize, bananas, papayas. And my primary school teacher told me that in other places there might be even fewer things; he (...) said that in the market in Khartoum, in Sudan, the nation is vast but on the stalls there are only onions and white and red beans; and even though they were nicely arranged in piles, they were still only white beans, red beans and onions; and then he said that the world was big and that the hunger we experienced was not the worst of famines. (shrink)

Esta coletânea é uma homenagem aos 70 anos do professor Emmanuel Carneiro Leão. Reúne artigos de seus alunos, amigos e admiradores que foram atraídos pela abrangência e rigor de seu pensamento. A diversidade de temáticas, abordagens e premissas destes ensaios refletem bem a generosidade do espírito de Emmanuel Carneiro.

Partindo de dois modelos clássicos que fundamentaram a emergência do conceito do que entendemos hoje enquanto cidade, a polis e a civitas, este texto busca compreender e questionar a cidade contemporânea em sua condição metropolitana, marcada por políticas de imobilidade e sufocamento que demandam uma intensa produção de subjetividades. Trazendo pensadores dos campos da filosofia e da política como Giorgio Agamben, Massimo Cacciari e Vinícius NicastroHonesko, entre outros, nos propomos a pensar outras chaves de relações para o que denominamos cidade, (...) que sejam capazes de produzir modos de habitá-la para além da metrópole. Uma cidade outra, espaço de composição e transposição de mundos que não se encerre em si mesma; uma cidade ainda por vir.Palavras-chave: Cidade. Metrópole. Mundo. Política. Habitar. (shrink)

We give a overview of the main areas in theoretical physics, with emphasis on their relation to Lagrangian formalism in classical mechanics. This review covers classical mechanics; the road from classical mechanics to Schrodinger's quantum mechanics; electromagnetism, special and general relativity, and (very briefly) gauge field theory and the Higgs mechanism. We shun mathematical rigor in favor of a straightforward presentation.

In 1962 Tibor Radó uncovered a monster hiding in the midst of innocent-looking Turing machines.

Out of a folklore–like fact about the counterexample function to P=NP, a function which grows about as fast as the Busy Beaver function, we review the consequences of our exotic formalization for P=NP and then speculate about possible ways to extend our work.

We show that the P 2 0 sentence, and explore some of theconsequences of that fact. This paper summarizes recent workby the author with N. C. A. da Costa on the P

Truth in Philosophy of Language

Direct download (5 more)  

 

Export citation  

 

Bookmark  

We discuss Kunen’s algorithmic implementation of a proof for the Paris–Harrington theorem, and the author’s and da Costa’s proposed “exotic” formulation for the P = NP hypothesis. Out of those two examples we ponder the relation between mathematics within an axiomatic framework, and intuitive or informal mathematics.

We state and comment our recent results on the incompleteness of elementary real analysis and their relevance for the axiomatized sciences.

Preference orderings assigned by coherent lower and upper conditional previsions are defined and they are considered to define maximal random variables and Bayes random variables. Sufficient conditions are given such that a random variable is maximal if and only if it is a Bayes random variable. In a metric space preference orderings represented by coherent lower and upper conditional previsions defined by Hausdorff inner and outer measures are given.

Current mathematical models are notoriously unreliable in describing the time evolution of unexpected social phenomena, from financial crashes to revolution. Can such events be forecast? Can we compute probabilities about them? Can we model them? This book investigates and attempts to answer these questions through GOdel's two incompleteness theorems, and in doing so demonstrates how influential GOdel is in modern logical and mathematical thinking. Many mathematical models are applied to economics and social theory, while GOdel's theorems are able to predict (...) their limitations for more accurate analysis and understanding of national and international events. This unique discussion is written for graduate level mathematicians applying their research to the social sciences, including economics, social studies and philosophy, and also for formal logicians and philosophers of science. (shrink)

We give a overview of the main areas in theoretical physics, with emphasis on their relation to Lagrangian formalism in classical mechanics. This review covers classical mechanics; the road from classical mechanics to Schrödinger’s quantum mechanics; electromagnetism, special and general relativity, and gauge field theory and the Higgs mechanism. We shun mathematical rigor in favor of a straightforward presentation.

We expose the main ideas, concepts and results about Jakowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

We expose the main ideas, concepts and results about Jaśkowski's discussive logic, and apply that logic to the concept of pragmatic truth and to the Dalla Chiara-di Francia view of the foundations of physics.

Maps and territory suggest problems which have to do with the opening of pathways in some poorly explored domain.

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

We conjecture that the existence of some fast-growing functions implies in a simple way the existence of some inaccessible cardinals. This note expands some previous work by the second author.

We present some recent technical results of us on the incompleteness of classical analysis and then discuss our work on the Arnol'd decision problems for the stability of fixed points of dynamical systems.

This volume presents essays by pioneering thinkers including Tyler Burge, Gregory Chaitin, Daniel Dennett, Barry Mazur, Nicholas Humphrey, John Searle and Ian Stewart. Together they illuminate the Map/Territory Distinction that underlies at the foundation of the scientific method, thought and the very reality itself. It is imperative to distinguish Map from the Territory while analyzing any subject but we often mistake map for the territory. Meaning for the Reference. Computational tool for what it computes. Representations are handy and tempting that (...) we often end up committing the category error of over-marrying the representation with what is represented, so much so that the distinction between the former and the latter is lost. This error that has its roots in the pedagogy often generates a plethora of paradoxes/confusions which hinder the proper understanding of the subject. What are wave functions? Fields? Forces? Numbers? Sets? Classes? Operators? Functions? Alphabets and Sentences? Are they a part of our map? Or do they actually belong to the territory? Researcher, like a cartographer, clothes the reality by stitching multitudes of maps that simultaneously co-exist. A simple apple, for example, can be analyzed from several viewpoints beginning with evolution and biology, all the way down its microscopic quantum mechanical components. Is there a reality out there apart from these maps? How do these various maps interact/intermingle with each other to produce a coherent reality that we interact with? Or do they not? Does our brain uses its own internal maps to facilitate “physicist/mathematician” in us to construct the maps about the external territories in turn? If so, what is the nature of these internal maps? Are there meta-maps? Evolution definitely fences our perception and thereby our ability to construct maps, revealing to us only those aspects beneficial for our survival. But the question is, to what extent? Is there a way out of the metaphorical Platonic cave erected around us by the nature? While “Map is not the territory” as Alfred Korzybski remarked, join us in this journey to know more, while we inquire on the nature and the reality of the maps which try to map the reality out there. The book also includes a foreword by Sir Roger Penrose and an afterword by Dagfinn Follesdal. (shrink)

In this article we consider certain elements of the normative theory of Jürgen Habermas in the light of the proposals of Bruce Ackerman, with a view to strengthening a concept of deliberative democracy applied to the legitimation of juridical rules. We do not construct a hierarchy of the two positions, but seek to bring together certain elements to achieve a common project. As the starting point for examining the work of the two authors, we take the scheme proposed by Habermas (...) in Faktizität und Geltung. In this connection, through the work of Ackerman, we intend to fill in some of the gaps that Habermas appears to have left in the theory of radical democracy applied to the law. The work of Ackerman can make a significant contribution to deliberative democracy, to the discourse principle that Habermas defines, and to the contractualist theories from a liberal perspective. The study of these contributions makes possible a critical judgment that enables the legitimation of juridical rules carried out by Habermas to acquire greater practicity. In examining the epistemological status of juridical science and law, we attempt to determine the weight and the performance of normative democracy. In Tarr's view, it is a matter for philosophers to examine direct democracy and its desirability. (shrink)

James I. The Political Works of James I. Reprinted from the Edition of 1616. With an Introduction by Charles Howard McIlwain. Cambridge: Harvard University Press, 1918. cxi, 354 pp. Reprinted 2002 by The Lawbook Exchange, Ltd.