For theory

Theory and Society 25 (2):167-183 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf00161138

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

An interpretation of Martin-löf's type theory in a type-free theory of propositions.Jan Smith - 1984 - Journal of Symbolic Logic 49 (3):730-753.
The Friedman‐Translation for Martin‐Löf's Type Theory.Erik Palmgren - 1995 - Mathematical Logic Quarterly 41 (3):314-326.
The Generalised Type-Theoretic Interpretation of Constructive Set Theory.Nicola Gambino & Peter Aczel - 2006 - Journal of Symbolic Logic 71 (1):67 - 103.
Categorical and algebraic aspects of Martin-löf type theory.Adam Obtułowicz - 1989 - Studia Logica 48 (3):299 - 317.
Homotopy theoretic models of identity types.Steve Awodey & Michael A. Warren - unknown
Realizing Mahlo set theory in type theory.Michael Rathjen - 2003 - Archive for Mathematical Logic 42 (1):89-101.
Can You Add Power‐Sets to Martin‐Lof's Intuitionistic Set Theory?Maria Emilia Maietti & Silvio Valentini - 1999 - Mathematical Logic Quarterly 45 (4):521-532.
Review: Mikhail G. Peretyat'kin, Konechno Aksiomatiziruemye Teorii; F. R. Drake, D. Singh, Intermediate Set Theory; Winfried Just, Martin Weese, Discovering Modern Set Theory. II. Set-Theoretic Tools for Every Mathematician. [REVIEW]Martin Goldstern - 1999 - Journal of Symbolic Logic 64 (4):1830-1832.
Mathematical proof theory in the light of ordinal analysis.Reinhard Kahle - 2002 - Synthese 133 (1/2):237 - 255.
Even a theory-theory needs information processing: ToMM, an alternative theory-theory of the child's theory of mind.Alan M. Leslie, Tim P. German & Francesca G. Happé - 1993 - Behavioral and Brain Sciences 16 (1):56-57.
The strength of Martin-Löf type theory with a superuniverse. Part II.Michael Rathjen - 2001 - Archive for Mathematical Logic 40 (3):207-233.
Book reviews: Introduction to critical theory, Horkheimer to Habermas by David held, Hutchinson, London: 1980 pp 511 £5.95 Lukacs, Marx and the sources of critical theory by Andrew Feenberg, oxford: Martin Robertson 1981, pp 286 + XIV £15.00. [REVIEW]Larry Ray - 1982 - Theory, Culture and Society 1 (1):103-107.
The strength of Martin-Löf type theory with a superuniverse. Part I.Michael Rathjen - 2000 - Archive for Mathematical Logic 39 (1):1-39.

Analytics

Added to PP
2013-12-01

Downloads
44 (#352,984)

6 months
7 (#411,886)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

The Meaning of 'Theory'.Gabriel Abend - 2008 - Sociological Theory 26 (2):173-199.
Theory and Philosophy: Antonyms in Our Semantic Field?Martin Jay - 2020 - Philosophy and Rhetoric 53 (1):6-20.

Add more citations

References found in this work

Hannah Arendt and the Redemptive Power of Narrative.Seyla Benhabib - 1990 - Social Research: An International Quarterly 57 (1):167-196.
Consequences.Stanley Fish - 1985 - Critical Inquiry 11 (3):433-458.

Add more references