

Political theory.  
[Sabine63]  A History of Political Theory; Published by George G. Harrap & Co., ISBN 0 24556485 3 
Logic, mathematics, computing. 
Philosophy.  
[Satre46]  Existentialism & Humanism; translation into English and introduction by Philip Mairet, published by Methuen, 1948 
Philosophy.  
[Schopenhauer1818]  The World as Will and Idea; in two volumes, translated into English by R.B. Haldane and J. Kemp and published by Routledge Kegan & Paul, 1883 
Mathematics, logic, computer science, philosophy. Denotational semantics and domain theory. 
Wide ranging notebooks and book reviews. Definitely worth a read.  
Cosma's Notebooks  
The Bactra Review  Cosma's book reviews. 
Philosophy of Mathematics.  
[Shapiro91]  Foundations without Foundationalism: a case for second order logic; Oxford University Press, 2000; ISBN: 0198250290  
[Shapiro97]  Philosophy of mathematics : structure and ontology; Oxford University Press, 1997; ISBN: 0195094522  
[Shapiro2005]  The Oxford Handbook of Philosophy of Mathematics and Logic; Oxford University Press, ; ISBN: 0195148770 
Philosopher. Student of Carnap. 
Lazy Functional Algorithms for Exact Real Functionals. Sequential integration and max using Berger's algorithm on a signed binary representation. 
Foundations of mathematics, combinatorics, and mathematical logic. Reverse Mathematics.  
The Foundations of Mathematics  web page (with online lecture notes)  
FOM  mailing list on the foundations of mathematics 
Artist and musician. 
The philosophy of mind and the philosophical implications of Artificial Intelligence. 
Functional Programming in C++ 
Philosopher with a special interest in ontology, including the kind of ontology found in AI. 
Philosopher  
Socrates had it coming  online polemic. 
Physics, with notorious excursions into the critique of postmodernist philosophy and epistemic relativism.  
Alan Sokal Articles on the Social Text Affair  a page of links to online controversy about Sokal's "success de scandal". 

[Sokal97] 
Intellectual Impostures Coauthored with Jean Bricmont English translation: Profile Books, 1998. 

[Sokal98] 
Fashionable Nonsense Coauthored with Jean Bricmont English translation, hardcover, St Martins Press, December 1998. (I think this is the same as [Sokal97].) 
Logic, set theory. 
The J programming language, formal methods, philosophy.  
Learning J 
Creator and maintainer of the Episteme Links philosophy web site. 
Philosophy.  
[Stroll2000]  TwentiethCentury Analytic Philosophy; Columbia University Press, 2000 
Professor of Philosophy at Earlham College. Scepticism, logic.  
Classical Skepticism  
Metaphilosophy Themes and Questions  a Personal List. Loads of questions about the nature of philosophy.  
Infinite Reflections ( reflections on the infinite)  
A Crash Course in the Mathematics of Infinite Sets 
Homely expressionism. Great art. 
Domain theory, topology, (exact) real number computation, computability in analysis. 