Подготовка реферата 2-го
типа по истории науки (математики)
В качестве
реферата допускается перевод
статьи по истории математики или статьи концептуального содержания по
математике.
ТРЕБОВАНИЯ К ПЕРЕВОДУ:
1. Объем переводимой статьи — 0.5 – 1 а.л. (20000 – 40000 печатных знаков).
2.
Перевод должен быть снабжен собственным небольшим введением (1-2 стр.).
3.
Перевод должен быть качественным.
В качестве
источников английских текстов можно использовать:
— статьи из журналов Isis, Osiris,
British Journal for the Philosophy of Science, Philosophy
of Science, Science & Technology Studies – имеющимся в интернет базе 
JSTOR
— статьи из Stanford Encyclopedia of Philosophy
— тексты с сайта The MacTutor
History of Mathematics archive
—
материалы из других интернет–источников (по
согласованию с преподавателем)
Подборка
статей для перевода (2008, SEP):
Ø
abstract objects (Gideon Rosen; копия
на моей странице)
Ø
Curry's paradox (JC Beall; копия на моей
странице)
Ø
descriptions (Peter Ludlow; копия на моей
странице)
Ø
epsilon calculus (Jeremy Avigad and Richard Zach; копия на
моей странице)
Ø
logical
atomism
o
Russell's (Kevin Klement; копия на моей странице)
o
Wittgenstein's (Ian Proops; копия на моей странице)
Ø
mathematics, philosophy of (Leon Horsten; копия
на моей странице)
o
fictionalism (Mark Balaguer)
o
formalism (Alan Weir)
o
indispensability arguments in the
(Mark Colyvan)
o
intuitionism (Rosalie Iemhoff)
o
Kant — see Kant, Immanuel: philosophy of mathematics
o
naturalism (Alexander Paseau)
o
nominalism (Otávio
Bueno)
o
Platonism (Øystein Linnebo)
o
structuralism (Erich Reck)
o
Wittgenstein — see Wittgenstein,
Ludwig: philosophy of mathematics (копия на
моей странице)
Ø
mathematics
o
constructive (Douglas Bridges)
o
explanation in (Paolo Mancosu)
o
inconsistent (Chris Mortensen)
o
non-deductive methods in (Alan Baker)
Ø
mathematics, foundations
of
o
Dedekind's contributions to — see Dedekind,
Richard: contributions to the foundations of mathematics
o
Hilbert's program — see Hilbert,
David: program in the foundations of mathematics
Ø
logic
o
action (Krister Segerberg, John-Jules Meyer, and Marcus Kracht)
o
algebraizations of logics with
semantics (Hajnal Andreka and Istvan Nemeti)
o
ancient (Susanne Bobzien)
o
and artificial intelligence — see artificial
intelligence: logic and
o
of belief revision (Sven Ove
Hansson)
o
classical (Stewart Shapiro)
o
combinatory (Katalin Bimbó)
o
combining (Walter Carnielli
and Marcelo Esteban Coniglio)
o
conditionals (Horacio Arlo-Costa)
o
connexive (Heinrich Wansing)
o
deontic
(Paul McNamara)
o
dialogical (Laurent Keiff)
o
dynamic epistemic (Alexandru
Baltag)
o
epistemic (Vincent Hendricks and John Symons)
o
free (John Nolt)
o
fuzzy (Petr Hajek)
o
and games (Wilfrid Hodges)
o
independence friendly (Tero
Tulenheimo)
o
infinitary (John L. Bell)
o
intensional (Melvin Fitting)
o
intuitionistic (Joan Moschovakis)
o
linear (Roberto Di Cosmo and Dale Miller)
o
many-valued (Siegfried Gottwald)
o
of mass expressions — see mass expressions: logic of
o
multi-modal (Agi Kurucz)
o
non-monotonic (G. Aldo Antonelli)
o
paraconsistent
(Graham Priest and Koji Tanaka)
o
propositional dynamic (Philippe Balbiani)
o
provability (Rineke (L.C.) Verbrugge)
o
relevance (Edwin Mares)
o
second-order and higher-order (Herbert B. Enderton)
o
substructural (Greg Restall)
o
temporal (Antony Galton)
Ø
logic, history of
o
first-order logic (William Ewald)
o
intuitionistic logic (Mark van Atten)
o
modal logic (Roberta Ballarin)
o
proof theory — see proof
theory: development of
o
set theory, axiomatic — see set theory: development of
axiomatic
o
set theory, early — see set
theory: early development
