This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
This is the first book focused on the logico-philosophical aspects of the lambda-calculus since the inception of the field in 1932 in the pioneering work of Alonzo Church.
Das umfangreiche Werk von Carl Christian Erhard Schmid (1761–1812) hat in der Philosophiegeschichtsforschung mit Ausnahme seiner Lehre vom intelligiblen Fatalismus bislang keine Beachtung erfahren.
This series of volumes is meant to extend the scope of what we can formalize in classical predicate logic, and in doing so see the limitations of what can be done.
Alain Badiou takes on the standard bearer of the "e;linguistic turn"e; in modern philosophy and anatomizes the "e;antiphilosophy"e; of Ludwig Wittgenstein.
Our finances, politics, media, opportunities, information, shopping and knowledge production are mediated through algorithms and their statistical approaches to knowledge; increasingly, these methods form the organizational backbone of contemporary capitalism.
Technology surrounds us every day: a phone alarm wakes us up, an electronic calendar tracks assignment deadlines, GPS directs us to the new dentist's office, social media keeps us connected to friends and family, and streaming platforms make sure we're never without something new to binge-watch.
Für alle, die das Handwerk der Philosophie von der Pike auf erlernen wollen, ist – wie auch für die philosophische Lehre – die Logik der Anfang von allem.
Reasons for Logic, Logic for Reasons presents a philosophical conception of logic-"e;logical expressivism"e;-according to which the role of logic is to make explicit reason relations, which are often neither monotonic nor transitive.
Este libro es el resultado de un ejercicio académico que tiene como inspiración central la necesidad de comprender tanto el complejo edificio de la constitución de la ciencia moderna, como, por su puesto, ´el lugar´ que ocupamos en este proyecto inacabado como profesionales de las ciencias sociales y humanas.
