..S

= home page = notes = online text = quotes = buy from iBS = buy from Amazon

G.H.Sabine

Political theory.
[Sabine63]	A History of Political Theory; Published by George G. Harrap & Co., ISBN 0 24556485 3

Alex Sakharov

Logic, mathematics, computing.

Jean-Paul Sartre

Philosophy.
[Satre46]	Existentialism & Humanism; translation into English and introduction by Philip Mairet, published by Methuen, 1948

Moses Schönfinkel

[Schönfinkel24] Schönfinkel, Moses;

On the builiding blocks of mathematical logic; in [Heijenoort67].

Arthur Schopenhauer

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

Dana Scott

Mathematics, logic, computer science, philosophy. Denotational semantics and domain theory.

Roger Scruton

[Scruton94] Scruton, Roger;

Modern Philosophy an introduction and survey; Penguin USA, 1996 Arrow Books (Random House), 1997

Cosma Rohilla Shalizi

Wide ranging notebooks and book reviews. Definitely worth a read.
	Cosma's Notebooks
	The Bactra Review - Cosma's book reviews.

Stewart Shapiro

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

Seth Sharpless

Philosopher. Student of Carnap.

Jörg Siekmann

[Jörg Siekmann83a] Siekmann, Jörg; Wrightson, Graham; (editors)

Automation of Reasoning 1 - classical papers on Computational Logic 1957-1966; Springer-Verlag 1983, ISBN 0-387-12043-2,

[Jörg Siekmann83b] Siekmann, Jörg; Wrightson, Graham; (editors)

Automation of Reasoning 2 - classical papers on Computational Logic 1967-1970; Springer-Verlag, 1983, ISBN 3-540-12044-0,

Alex Simpson

Lazy Functional Algorithms for Exact Real Functionals. Sequential integration and max using Berger's algorithm on a signed binary representation.

Stephen G. Simpson

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

Peter Singer

[Singer91] Singer, Peter (ed.);

A Companion to Ethics; Blackwell Companions to Philosophy; Blackwell 1993

Bridget Skanski-Such

Artist and musician.

Aaron Sloman

The philosophy of mind and the philosophical implications of Artificial Intelligence.

Yannis Smaragdakis

Functional Programming in C++

Barry Smith

Philosopher with a special interest in ontology, including the kind of ontology found in AI.

Douglas J. Smith

[Smith96] Smith, Douglas J.;

HDL Chip Design; Doone Publications, 1996

Raymond Smullyan

[Smullyan77] Smullyan, Raymond,

The Tao is Silent; Harper and Row, 1977: ; reissue edition, 1992, Harper San Francisco: ;

[Smullyan85] Smullyan, Raymond,

To Mock a Mockingbird; Alfred A. Knopf, New York 1985 (now Random House); ISBN 0-394-53491-3

Socrates

Philosopher
	Socrates had it coming - online polemic.

Alan Sokal

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 Co-authored with Jean Bricmont English translation: Profile Books, 1998.
[Sokal98]	Fashionable Nonsense Co-authored with Jean Bricmont English translation, hardcover, St Martins Press, December 1998. (I think this is the same as [Sokal97].)

Robert M. Solovay

Logic, set theory.

Michael Spivey

[Spivey88] Spivey, J. Michael,

Understanding Z - a specification language and its formal semantics; Cambridge University Press, Cambridge Tracts in Theoretical Computer Science 3,

[Spivey89] Spivey, J. Michael;

The Z Notation a Reference Manual; Prentice Hall 1989,

Eli Sternheim

[Sternheim93] Sternheim, Eli; Singh, Rajvir; Madhaven, Rajeev; Yatin, Trivedi;

Digital Design and Synthesis with Verilog HDL; Automata Publicshing Company, 1993

Roger Stokes

The J programming language, formal methods, philosophy.
	Learning J

Thomas Ryan Stone

Creator and maintainer of the Episteme Links philosophy web site.

Avrum Stroll

Philosophy.
[Stroll2000]	Twentieth-Century Analytic Philosophy; Columbia University Press, 2000

Peter Suber

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

Haidee-Jo Summers

Homely expressionism. Great art.

Philipp Sünderhauf

Domain theory, topology, (exact) real number computation, computability in analysis.

---

© created 1995-02-08 modified 2012-01-15