The effective reasoning capability of an agent can be defined as its capability to infer, within a given space and time bound, facts that are logical consequences of its knowledge base. In this paper we show how to determine the effective reasoning capability of an agent with limited memory by encoding the agent as a transition system and automatically verifying whether a state where the agent believes a certain conclusion is reachable from the start state. We present experimental results using (...) the Model Based Planner (MBP) which illustrates how the length of the deduction varies for different memory sizes. (shrink)
With Piergiorgio Paterlini, a noted Italian writer and journalist, Gianni Vattimo, a leading philosopher of the continental school, reflects on a lifetime of politics, sexual radicalism, and philosophical exuberance in postwar Italy.
This special issue on Forms of Life was conceived on the top floor of a café overlooking one of Rome's wonderful Piazzas, after a conference, hosted by Piergiorgio Donatelli, on Forms of Life and Ways of Living. Piergiorgio, Sandra Laugier and I thought the subject cried out for a small collection of essays in which several voices would elucidate the genesis, use and potential of Wittgenstein's concept of form of life -- and we committed to producing it. This (...) is the fruit of our Roman resolution. Danièle Moyal-Sharrock. (shrink)
Volume II of Classical Recursion Theory describes the universe from a local (bottom-up or synthetical) point of view, and covers the whole spectrum, from the recursive to the arithmetical sets. The first half of the book provides a detailed picture of the computable sets from the perspective of Theoretical Computer Science. Besides giving a detailed description of the theories of abstract Complexity Theory and of Inductive Inference, it contributes a uniform picture of the most basic complexity classes, ranging from small (...) time and space bounds to the elementary functions, with a particular attention to polynomial time and space computability. It also deals with primitive recursive functions and larger classes, which are of interest to the proof theorist. The second half of the book starts with the classical theory of recursively enumerable sets and degrees, which constitutes the core of Recursion or Computability Theory. Unlike other texts, usually confined to the Turing degrees, the book covers a variety of other strong reducibilities, studying both their individual structures and their mutual relationships. The last chapters extend the theory to limit sets and arithmetical sets. The volume ends with the first textbook treatment of the enumeration degrees, which admit a number of applications from algebra to the Lambda Calculus. The book is a valuable source of information for anyone interested in Complexity and Computability Theory. The student will appreciate the detailed but informal account of a wide variety of basic topics, while the specialist will find a wealth of material sketched in exercises and asides. A massive bibliography of more than a thousand titles completes the treatment on the historical side. (shrink)
This article suggests a reading of the significance of Wittgensteinâ€™s Tractatus for ethics, in the light of Cora Diamondâ€™s resolute reading. The contrasts between sense and nonsense and between ethics and science are commented on and are connected to a further contrast between a specialized response to language and the world and an unspecialized response characteristic of the humanistic disciplines. The Tractatus is seen as a work which diagnoses the loss of such a fully human unspecialized sense of things and (...) which wishes to recover this possibility for its reader. On the basis of such reading, the article also suggests how to connect the significance of the later Wittgenstein for ethics with the Tractatus. A connection can be established by following Iris Murdochâ€™s notion of conceptual clarification. (shrink)
Je vais évoquer ici la pertinence des concepts d’éthique au moyen de quelques réflexions sur le concept d’être humain. C’est là une notion cruciale parce que nous comprenons ce que signifie s’engager dans certaines activités dans la mesure où elles sont perçues comme humaines. La pensée morale est l’une de ces activités ; et par « moralité »..
The article explores aspects of the notion of forms of life in the Wittgensteinian tradition especially following Iris Murdoch’s lead. On the one hand, the notion signals the hardness and inexhaustible character of reality, as the background needed in order to make sense of our lives in various ways. On the other, the hardness of reality is the object of a moral work of apprehension and deepening to the point at which its distinctive character dissolves into the family of connections (...) we have gained for ourselves. The two movements of thought are connected and necessary. (shrink)
Reviewed Works:Andrea Sorbi, Complexity, Logic, and Recursion Theory.Klaus Ambos-Spies, Elvira Mayordomo, Resource-Bounded Measure and Randomness.Marat Arslanov, Degree Structures in Local Degree Theory.Jose L. Balcazar, Ricard Gavalda, Montserrat Hermo, Compressibility of Infinite Binary Sequences.S. Barry Cooper, Beyond Godel's Theorem: The Failure to Capture Information Content.Robert A. Di Paola, Franco Montagna, Progressions of Theories of Bounded Arithmetic.Rodney G. Downey, On Presentations of Algebraic Structures.Sophie Fischer, Lane Hemaspaandra, Leen Torenvliet, Witness-Isomorphic Reductions and Local Search.William Gasarch, Carl H. Smith, A Survey of Inductive Inference (...) with an Emphasis on Queries.Andre Nies, A Uniformity of Degree Structures.Piergiorgio Odifreddi, Short Course on Logic, Algebra, and Topology.Andrea Sorbi, The Enumeration Degrees of the $\sigma^0_2$ Sets.Peter van Emde Boas, The Convenience of Tilings. (shrink)