PLAN

1. Formal Logic. Its scope and Limits. Fourth edition. Richard Jeffrey
2. Mathematical Analysis I. Second edition. Vladimir A. Zorich
3. Logic. The basics. Second edition. Jc Beall and Shay Allen Logan.
4. Probability Models. Second edition. John Haigh
5. Berkeley Physics Course. Volume 1. Mechanics. Second edition. Ch. Kittel, W. D.
Knight, M. A. Ruderman, A. C. Helmholz, and B. J. Moyer

Fundamentals of mathematical logic. Peter G. Hinman

Logical Options. An Introduction to Classical and Alternative Logics. John L. Bell, David
DeVidi, Graham Solomon
Elementary Logic with Applications. A Procedural Perspective for Computer Scientists.
D.M. Gabbay and O.T. Rodrigues
Logic and Philosophy Today. Volumes 1 and 2. Amitabha Gupta and Johan van Benthem
(Ed.)

Elementary induction on abstract structures. Yiannis N. Moschovakis.

Advanced Microeconomic Theory. Third Edition. Geoffrey A. Jehle and Philip J. Reny
(chap. 1)
Fundamentos de Álgebra. Felipe Zaldívar.
General topology. John L. Kelley
Modal Logic for Philosophers. Second edition. James W. Garson.
The Theoretical Minimum. What You Need to Know to Start Doing Physics. Leonard
Susskind and George Hrabovsky
Subjective and Objective Bayesian Statistics. Principles, Models, and Applications.
Second edition. S. James Press

Handbook of game theory with economic applications, Vol.4. Petyon Young, Shmuel
Zamir (Ed.)

Finite-Dimensional Vector Spaces. Paul R. Halmos

Basic Set theory. Azriel Levy.

The Structure of Values and Norms. Sven Ove Hansson.

Theoretical Physics. Wolfgang Nolting, 8 Volumes.

Bayesian Theory. Third edition. José M. Bernardo and Adrian F. M. Smith.

A Mathematical Introduction to Logic. Second edition. Herbert B. Enderton.
The Logical Foundations of Scientific Theories. Languages, Structures, and Models.
Décio Krause and Jonas R.B. Arenhart.

From the Calculus to Set Theory 1630-1910. Ivor Grattan-Guinness (Ed.)

Set theory. András Hajnal and Peter Hamburger.

Belief revision: An introduction de Peter Gärdenfors, en: Belief Revision. Peter

Gärdenfors (Ed.)

Introduction to Bisimulation and Coinduction. Davide Sangiorgi (first chapter).

Advanced Topics in Bisimulation and Coinduction. Davide Sangiorgi and Jan
Rutten (Ed.) (first chapter)
Philosophy and Model Theory. Tim Button and Sean Walsh

Bridges between Classical and Nonmonotonic Logic. D. Makinson.

An Introduction to the Language of Category Theory. Steven Roman
Categories for the Working Philosopher. Elaine Landry (Ed.)
Theories, Sites, Toposes. Olivia Caramello

Theories of the Logos. Ermanno Bencivenga

On the Logos. A Naïve View on Ordinary Reasoning and Fuzzy Logic. Enric Trillas
Forms of Thought. A Study in Philosophical Logic. E. J. Lowe.

A Formal Background to Mathematics 1a. Logic, Sets and Numbers. Robert Edwards.
A Formal Background to Mathematics 2a. A Critical Approach to Elementary Analysis.
Robert Edwards

Intensionality. Reinhard Kähle (Ed.)

Modern real analysis. William P. Ziemer

Introductory Quantum Mechanics. A Traditional Approach Emphasizing Connections
with Classical Physics. Paul R. Berman

What is mathematics? Second edition. Richard Courant, Herbert Robbins, and Ian
Stewart

Boolean Algebra and Its Applications. J. Eldon Whitesitt

.
Formal Logic. Fourth edition. Richard Jeffrey.

The consistent preferences approach to deductive reasoning in games. Geir B. Asheim.

Preference Change. Approaches from philosophy, economics and psychology. Till
Grüne-Yanoff, and Sven Ove Hansson (Ed.).

Morality and Rational Choice. Jonathan Baron

Formal semantics and Logic. B. C. van Fraassen.

Handbook of mathematical logic. Jon Barwise (Ed.)
A.1. An introduction to first-order logic, Jon Barwise.
A.2. Fundamentals of model theory, H. Jerome Keisler
B.1. Axioms of set theory, J.R. Shoenfield
C.1. Elements of recursion theory, HerbertB . Enderton

A course on basic model theory. Haimanti Sarbadhikari and Shashi Mohan Srivastava.
Metalogic. An Introduction to the Metatheory of Standard First Order Logic. Geoffrey
Hunter
Introduction to the foundations of mathematics. Second edition. Raymond L. Wilder.

Relation Algebras. Volume 1. Introduction to Relation Algebras. Steven Givant

Possibility and paradoxes. An introduction to modal and many-valued logic. J.C. Beal, &
B. C. van Fraassen.
Symbolic Logic. F. Fitch.

All the Mathematics You Missed. But Need to Know for Graduate School. T. A. Garrity
and L. Pedersen
Mathematical Methods in Linguistics. Barbara H. Partee, Alice Ter Meulen, and Robert
E. Wall
Lectures on Inductive Logic. Jon Williamson
Judgment Aggregation. A Primer. Davide Grossi and Gabriella Pigozzi
A Primer in Social Choice Theory. Revised Edition. Wulf Gaertner.
Understanding beliefs. Nils J. Nilsson.
A Textbook of belief dynamics. Sven ove Hansson
Logic. Techniques of Formal Reasoning. Donald Kalish and Richard Montague, Chap. I
An Introduction to Non-Classical Logic. From if to is. Second Edition. Graham Priest.
Logics. John Nolt.
Lógica Simbólica para todos. Redmond Walter.
Philosophy of Logic. Second Edition. Willard van Orman Quine.
Ensaio sobre os Fundamentos da Lógica. Segunda edição. Newton Carneiro Afonso da
Costa.
Philosophy of Logics. Susan Haack.
The Logic of Knowledge Bases. Hector J. Levesque and Gerhard Lakemeyer.
 Subjectivity and perspective in truth-theoretic semantics. Peter Lasersohn
(imperative semantics).
 Reasons as Defaults. John F. Horty.
 Introduction to the foundations of mathematics. Second edition. Raymond L.
Wilder.
 Logic, Reasoning, and Rationality. Erik Weber, Dietlinde Wouters, Joke Meheus
(Ed.).
 Mathematical Methods in Linguistics. Barbara H. Partee, Alice Ter Meulen, and
Robert E. Wall.
 A course on basic model theory. Haimanti Sarbadhikari and Shashi Mohan
Srivastava
 Defeasibility in Law. Giovanni Sartor.
 The Universal Computer. The Road from Leibniz to Turing. Martin Davis.
 Ethics. An Essay on the Understanding of Evil. Alain Badiou.
 Formal Logic. Fourth edition. Richard Jeffrey.
 Core Logic. Neil Tennant.
 Elementary Logic with Applications. A Procedural Perspective for Computer
Scientists. D.M. Gabbay and O.T. Rodrigues.
 Potentiality. From dispositions to modality. Barbara Vetter.
 What Logics Mean. From Proof Theory to Model-Theoretic Semantics. James
W. Garson
 Boolean Algebra and Its Applications. J. Eldon Whitesitt. Ver: Disjunctive and
conjunctive normal form.
 Abstract Algebraic Logic. An Introductory Textbook. Josep Maria Font.
 Logic and Structure. Fourth edition. Dirk van Dalen
 Complexity. A Guided Tour. Melanie Mitchell.
 Around the Tree. Semantic and Metaphysical Issues Concerning Branching
and the Open Future. Fabrice Correia and Andrea Iacona (Ed.)
 An Introduction to the Language of Category Theory. Steven Roman
 Category Theory. A Gentle Introduction. Peter Smith.
 Elementary Categories, Elementary Toposes. Colin McLarty.
 Conceptual Mathematics. A First Introduction to Categories. Second
edition. F. William Lawvere and Stephen H. Schanuel
 Logic. The basics. Second edition. Jc Beall and Shay Allen Logan.
 Category Theory for the Sciences. David I. Spivak.
 Type Theory and Formal Proof. An Introduction. Rob Nederpelt and Herman
Geuvers
 Proofs and Algorithms. An Introduction to Logic and Computability. Gilles
Dowek.
 Computability Theory. An Introduction to Recursion Theory. Herbert B.
Enderton.
 Computability theory. Rebecca Weber
 An Introduction to Substructural Logics. Greg Restall.
  Dependence Logic. Theory and Applications. Samson Abramsky, Juha
Kontinen, Jouko Väänänen, Heribert Vollmer (Ed.)
 The evolution of reason. Logic as a branch of biology. William S. Cooper.
 Naturalizing Logico-Mathematical Knowledge. Approaches from
Philosophy, Psychology and Cognitive Science. Sorin Bangu (Ed.).
 Logic from a Rhetorical Point of View. Witold Marciszewski.
 Psychologism in Logic. Studia Logica. Vol. 8, Issue 1, 2008. Hannes
Leitgeb (Ed.)
 Ensaio sobre os Fundamentos da Lógica. Terceira edição. Newton Carneiro
Afonso da Costa.
 Mathematical logic and the foundations of mathematics. An Introductory
Survey. G. T. Kneebone.
 Logic for Applications. Second edition. Anil Nerode and Richard A. Shore.
 The Structure of Objects. Kathrin Koslicki.
 Lectures on Mathematical Logic. Volume I. Set Theoretical Logic. The
Algebra of Models. Walter Felscher.
 Lectures on Mathematical Logic. Volume II. Calculi for Derivations and
Deductions. Walter Felscher.
 Lectures on Mathematical Logic. Volume III. The Logic of Arithmetic. Walter
Felscher.
 Mathematical Logic and Formalized Theories. A Survey of Basic Concepts
and Results. Robert L. Rogers.
 Lectures on Inductive Logic. Jon Williamson
 Fundamentos de algebra. Felipe Zaldívar.
 Abstract Algebra. An Inquiry Based Approach. Jonathan K. Hodge, Steven
Schlicker, and Ted Sandstorm.
 Real Analysis and Foundations. Third edition. Steven G. Krantz.
 What is mathematics? Second edition. Richard Courant, Herbert Robbins,
and Ian Stewart.
 Game Theory in Jurisprudence. Wojciech Załuski
 All the Mathematics You Missed. But Need to Know for Graduate School. T.
A. Garrity and L. Pedersen.
 Geometry. Euclid and Beyond. Robin Hartshorne.
 Mathematics, form and function. Saunders Mac Lane.
 Concepts of Modern Mathematics. Ian Stewart.
 The Foundations of Mathematics. Second edition. Ian Stewart and David Tall.
 Elements of Mathematics. From Euclid to Gödel. John Stillwell.
 Analysis with ultrasmall numbers. Karel Hrbacek, Olivier Lessmann, and Richard
O'Donovan
 Abstract Algebra. An Introduction. Thomas W. Hungerford (from School math).
 Good Knowledge, Bad Knowledge. On Two Dogmas of Epistemology. Stephen
Hetherington.
 General topology. John L. Kelley.
 Numbers. H.-D. Ebbinghaus, H. Hermes, F. Hirzebruch, M. Koecher, K. Mainzer, J.
Neukirch, A. Prestel, and R. Remmert.
 Bayesian Probability Theory. Applications in the Physical Sciences. Wolfgang von
der Linden, Volker Dose, and Udo von Toussaint.
 Philosophical Theories of Probability. Donald Gillies.
 Common Sense, the Turing Test, and the Quest for Real AI. Hector J. Levesque
 Mechanism, Mentalism and Metamathematics. An Essay on Finitism. Judson
Chambers Webb.
 The Logical Foundations of Scientific Theories. Languages, Structures, and
Models. Décio Krause and Jonas R.B. Arenhart.
 Human Reasoning and Cognitive Science. Keith Stenning and Michiel van
Lambalgen.
 From Individual to Plural Agency. Collective Action. Volume I. Kirk Ludwig.
 Berkeley Physics Course. Volume 1. Mechanics. Second edition. Ch. Kittel, W. D.
Knight, M. A. Ruderman, A. C. Helmholz, and B. J. Moyer.
 Berkeley Physics Course. Volume 2. Electricity and Magnetism. Second edition.
Edward M. Purcell.
 Berkeley Physics Course. Volume 3. Waves. Frank S. Crawford Jr.
 A student’s guide to waves. Daniel Fleisch and Laura Kinnaman.
 Berkeley Physics Course. Volume 4. Quantum Physics. Eyvind H. Wichmann.
 Berkeley Physics Course. Volume 5. Statistical Physics. F. Reif.
 Strategy and Politics. An Introduction to Game Theory. Emerson Niou and Peter
C. Ordeshook.
 Choosing in Groups. Analytical Politics. Revisited. Michael C. Munger and
Kevin M. Munger.
 A Primer in Social Choice Theory. Revised Edition. Wulf Gaertner.
 Theory of Functions of a Complex Variable. Volumes I-III. A. I. Markushevich.
 Map Functions. Ewa Krzywicka-Blum.
 A Course in Analysis. Volume I. Introductory Calculus, Analysis of Functions of One
Real Variable. Niels Jacob and Kristian P. Evans.
 The Oxford Handbook of Value Theory. Iwao Hirose and Jonas Olson (Ed.).
 Semantics. Volumes 1 and 2. John Lyons
 Explaining Norms. Geoffrey Brennan, Lina Eriksson, Robert E. Goodin, and
Nicholas Southwood.
 Norms in the Wild. How to Diagnose, Measure, and Change Social Norms. Cristina
Bicchieri
 The Stability of Belief. How Rational Belief Coheres with Probability. Hannes
Leitgeb.
 The Pleadings Game. An Artificial Intelligence Model of Procedural Justice.
Thomas F. Gordon.
 Metaphysical Grounding. Understanding the Structure of Reality. Fabrice Correia
and Benjamin Schnieder (Ed.).
 An Artificial Intelligence Approach to Legal Reasoning. Anne von der Lieth
Gardner.
 Introduction to Computational Social Science. Second edition. Claudio Cioffi-
Revilla
 The Rule-Following Paradox and its Implications for Metaphysics. Jody Azzouni.
 Modality in Argumentation. Andrea Rocci (first chap).
 Modal Justification via Theories. Bob Fischer.
 The Impossible. An Essay on Hyperintensionality. Mark Jago.
 Anaphora and Definite Descriptions. Two Applications of Game-Theoretical
Semantics. Jaakko Hintikka and Jack Kulas (fist part).
 Making and Breaking Mathematical Sense. Histories and Philosophies of
Mathematical Practice. Roi Wagner (first chapter).
 The Nature of Scientific Knowledge. An Explanatory Approach. Kevin McCain.
 Abduction and Induction. Essays on their Relation and Integration. Peter A. Flach
and Antonis C. Kakas (Ed.).
 Model-Based Reasoning in Science and Technology. Abduction, Logic, and
Computational Discovery. L. Magnani, W. Carnielli, and Claudio Pizzi (Ed.).
 Philosophy of Science for Scientists. Lars-Göran Johansson.


 Do the Right Thing. Studies in Limited Rationality. Stuart Russell and Eric H.
Wefald.
 Lo mejor posible. Racionalidad y acción humana. Tercera edición. Jesús Mosterín.
 The Metaphysics of Logic. Penelope Rush (Ed.)
 Logic Is Not Mathematical. Hartley Slater
 First-Order Modal Logic. Melvin Fitting and Richard L. Mendelsohn.
 Objects and Modalities. A study in the Semantics of Modal Logic. Tero Tulenheimo
 Purpose of thought. The meaning of pragmatism. John E. Smith.
 Impossibility. The Limits of Science and the Science of Limits. John D. Barrow.
 The outer limits of reason. What science, mathematics, and logic cannot tell us.
Noson S. Yanofsky.
 Quantum mechanics, mathematics, cognition and action Proposals for a
formalized epistemology. Mioara Mugur-Schächter and Alwyn van der Merwe
(Ed.).
 From Aristotle to Schrödinger. The Curiosity of Physics. Antonis Modinos.
 The shaky game. Einstein, realism and the quantum theory. Arthur Fine
 Foundations of Set Theory. Second revised edition. Abraham A. Fraenkel,
Yehoshua Bar-Hillel, and Azriel Levy.
 The Scientific World-Perspective and Other Essays, 1931–1963. Kazimierz
Ajdukiewicz
 Modal Logic for Open Minds. Johan van Benthem.
 Ontology. Dale Jacquette.
 Ontology and Metaontology. A Contemporary Guide. Francesco Berto and Matteo
Plebani.
 Counting the Particles. Entity and Identity in the Philosophy of Physics. Francesco
Berto.

 The Epistemology of Indicative Conditionals. Formal and Empirical Approaches.
Igor Douven.
 Belief Revision meets Philosophy of Science. Erik J. Olsson and Sebastian Enqvist
(Ed.).
 Solving the frame problem. A mathematical investigation of the common sense
law of inertia. Murray Shanahan.
 Sets and integration. An outline of the development. D. van Dalen and A. F. Monna.
 A Tour Through Mathematical Logic. Robert S. Wolf.
 Causality. Models, Reasoning and Inference. Judea Pearl.
 Causal Inference in Statistics. A Primer. Judea Pearl, Madelyn Glymour, and
Nicholas P. Jewell.
 The art of causal conjecture. Glenn Shafer.
 Counterfactuals and Probability. Moritz Schulz.
 Causal Nets, Interventionism, and Mechanisms. Philosophical Foundations and
Applications. Alexander Gebharter.

 A Mathematical Introduction to Logic. Second edition. Herbert B. Enderton.
 Logic. Form and function. The Mechanization of Deductive Reasoning. J. A.
Robinson


 Algorithmics. The spirit of computing. Third edition. David Harel with Yishai
Feldman.
 Algorithms. Design, Techniques and Analysis. M. H. Alsuwaiyel
 Extensions of First-Order Logic. Maria Manzano.
 Information and Interaction. Eddington, Wheeler, and the Limits of Knowledge.
Ian T. Durham and Dean Rickles (Ed.).
 Philosophy and Foundations of Physics 1. The Ontology of Spacetime I. Dennis
Dieks (Ed.).
 Philosophy and Foundations of Physics 2. The Structure and Interpretation of the
Standard Model. Gordon McCabe (Ed.).
 Philosophy and Foundations of Physics 3. Symmetry, structure, and spacetime.
Dean Rickles (Ed.).
 Philosophy and Foundations of Physics 4. The Ontology of Spacetime II. Dennis
Dieks (Ed.)
 Philosophy of mathematics and natural science. Hermann Weyl.
 Introducing Philosophy of Mathematics. Michèle Friend.
 Assumptions of Grand Logics. James K. Feibleman
 Mathematics in Everyday Life. John Haigh.
 A Mathematical Prelude to the Philosophy of Mathematics. Stephen Pollard.
 Introduction to Mathematical Logic. Sixth Edition. Elliott Mendelson
 Rings, Fields, and Vector Spaces. An Introduction to Abstract Algebra via
Geometric Constructibility. B. A. Sethuraman.
 Logical Modalities from Aristotle to Carnap. The Story of Necessity. Max Cresswell,
Edwin Mares, and Adriane Rini (Ed.)
 A history of abstract algebra. Israel Kleiner
 Bridges from Classical to Nonmonotonic Logic. David Makinson.
 A Brief History of Mathematical Thought. Luke Heaton.
 Abstraction and Infinity. Paolo Mancosu.
 A concise introduction to pure mathematics. Fourth edition. Martin Liebeck.
 Linear Algebra Done Right. Third edition. Sheldon Axler
 Fundamentos de álgebra. Felipe Zaldívar
 First-Order Logic. Second edition. Raymond M. Smullyan
 Mathematics. Its content, methods, and meaning. Volumes One-Three. A. D.
Aleksandrov, A.N. Kolmogorov, and M. A. Lavrent'ev (Ed.).
 Reconstructing Scientific Revolutions. Paul Hoyningen-Huene.
 Understanding Inconsistent Science. Peter Vickers.
 The Measure of Reality Quantification in Western Europe, 1250-1600. Alfred W.
Crosby.
 Guide to Discrete Mathematics. An Accessible Introduction to the History, Theory,
Logic and Applications. Gerard O’Regan.
 Discrete Mathematics and Its Applications. Seventh edition. Kenneth Rosen.
 Set theory. András Hajnal and Peter Hamburger.
 Philosophical introduction to set theory. Stephen Pollard.
 Linear Orderings. Joseph G. Rosenstein.
 The Prisoner’s Dilemma. Martin Peterson (Ed.)
 The Brain in a Vat. Sanford C. Goldberg (Ed.).
 The Original Position. Timothy Hinton (Ed.)
 Computational Complexity. Christos Papadimitriou.
 The Classical Decision Problem. Egon Borger, Erich Gradel, and Yuri Gurevich
 Topics in modern logic. D. C. Makinson. [Leído una vez, leer otra vez]

1. Física cuántica para filo-sofos. Alberto Clemente de la Torre.

2. Relativity. A Very Short Introduction. Russell Standard.
3. Paraconsistent Logic. Consistency, Contradiction and Negation. Walter Carnielli
and Marcelo Esteban Coniglio.
4. Introducció n al formalismo de la mecá nica cuá ntica. Pablo García González, José
E. Alvarellos y José J. García Sanz
5. Foundations of Logical Consequence. Colin R. Caret and Ole T. Hjortland (Ed.).
6. Paradox and Paraconsistency. Conflict Resolution in the Abstract Sciences. John
Woods
7. Introduction to Mathematical Logic. Set Theory, Computable Functions, Model
Theory. Jerome Malitz.
8. Notes on logic and set theory. P. T. Johnstone.
9. Logic, Mathematics, and Computer Science. Modern Foundations with Practical
Applications. Second edition. Yves Nievergelt (muy gentil).
10. Classic set theory. For guided independent study. Derek C. Goldrei.
11. A First Course in Mathematical Logic and Set Theory. Michael L. O'Leary.
12. Treatise on Intuitionistic Type Theory. Johan Georg Granström (ver concepto del
conjunto).
13. A Gentle Introduction to Game Theory. Saul Stahl (ver the maximin strategy and
the minimax strategy).
14. A course in game theory. Martin J. Osborne and Ariel Rubinstein.
15. Teoría de juegos. Una introducción matemática a la toma de decisiones. Pablo
Amster y Juan Pablo Pinasco.
16. Truth. Chase Wrenn.
17. Catastrophe Theory. The Revolutionary New Way of Understanding How Things
Change. Woodcock and Monte Davis.
18. Governing the Commons. The Evolution of Institutions for Collective Action.
Elinor Ostrom.
19. Reduction and Emergence in Science and Philosophy. Carl Gillett (noTOC).
20. Possible Worlds Semantics for Indicative and Counterfactual Conditionals. A
Formal Philosophical Inquiry into Chellas-Segerberg. Matthias Unterhuber

Filósofos (libros sobre ellos):

 Aristóteles.
 Platón.
 Hume.
 Leibniz.
 Kant.
 Hegel.
 Marx.
 Pierce.
 Russell.
 Husserl.

Matemáticas: ALEGBRA – ANÁLISIS – GEOMETRÍA_ Y SUS RELACIONES

Algebra.
Set theory.
Topology.
Geometry.
Analysis.
Game theory.

Analytical politics. Hinich & Munger

An Introduction to Non-Classical Logic. From if to is. Second Edition. Graham Priest

Elementos de lógica formal. Calixto Badesa, Ignacio Jané y Ramón Jansana.

Why Popper's basic statements are not falsifiable. Some paradoxes in Popper's 'Logic
of scientific discovery'. Gerhard Schurz and Georg Dorn
Meta-Theoretical Contributions to the Constitution of a Model-Based Didactics of
Science. Yefrin Ariza, Pablo Lorenzano and Agustín Aduriz-Bravo (para maestría).

Revisar:

Commonsense Reasoning. An Event Calculus Based Approach. Second Edition. Erik T. Mueller

Rod Downey, Jorg Brendle, Robert Goldblatt, Byunghan Kim (eds.)-Proceedings of the 12th Asian Logic
Conference-World Scientific Publishing Company (2013)

(Logic as the Art of Reasoning Well) Epstein, Richard L-Prescriptive reasoning _ essays on logic as the art
of reasoning well-Advanced Reasoning Forum (2013)

CompactnessandcontradictionT Tao

Second-Order Logic and Set Theory1

Introducciones cortas a la teoría de modelos:

 Model Theory, Algebra and Geometry. Deirdre Haskell, Anand Pillay, and Charles Steinhorn (Ed.)

 Algebra, Logic and Combinatorics. Shaun Bullett, Tom Fearn, and Frank Smith (Ed.)

Computability Theory. An Introduction to Recursion Theory. Herbert B. Edgerton

Logical Studies of Paraconsistent Reasoning in Science and Mathematics. Holger Andreas and Peter
Verdée (Ed.)

Klaus Robering-New Approaches to Classes and Concepts-College Publications (2008)

Stump, David J. -- The independence of the parallel postulate and development of rigorous consistency
proofs

Logical Studies of Paraconsistent Reasoning in Science and Mathematics. Holger Andreas and Peter
Verdée (Ed.)

The Real and the Complex. A History of Analysis in the 19th Century. Jeremy Gray
Hacer

2. Leer:

· Logic. Greg Restall.

· Probability. Seymour Lipschutz.

· Leer The Princeton Companion to Mathematics. Timothy

Gowers, June Barrow-Green, and Imre Leader (Ed.)

i. Set Th.

ii. Algorithms.

iii. Banach-Tarski paradox.

· A Brief on Tensor Analysis. Second editon. James G.

Simmonds

· Thomas Kuhn. Alexander Bird.

· Two Dogmas of Methodology. Larry Laudan.

· W. Stegmüller in Estructura y desarrollo de la ciencia,

edit. Gerard Radnitzky.

· A Brief on Tensor Analysis. James G. Simmonds.

· Coherence and Explanation. Thomas Bartelborth.

· Coherentist Theories of Epistemic Justification. Erik

Olsson.

· Germán Guerrero Pino. Compromisos…

· Structures in Science. Heuristic Patterns Based on

Cognitive Structures. An Advanced Textbook in Neo-Classical Philosophy of
Science. Theo A. F. Kuipers.

3. Leer: Structuralist explications of dialectics. Theo A. F.

Kuipers ***

4. Pagar multa.

5. Fundamentos semánticos de los imperativos:

i. Entre el Derecho y la lógica. Txetxu Ausín.

ii. Bridges from Classic to Nonmonotonic Logic. David Makinson.

iii. Semantics (file Tesis).

iv. First Steps in Modal Logic. Sally Popkorn.

v. Nonmonotonic Reasoning. Logical Foundations of Commonsense.

Gerhard Brewka.

vi. Formal Semantics and logic. Van Fraassen.

vii. Logic without truth. Carlos E. Alchourrón and Antonio A.

Martino.

viii. Mathematical Logic and Model Theory. A Brief Introduction.

Alexander Prestel and Charles N. Delzell

ix. An Essay in Universal Semantics. Achille C. Varzi.

x. The Foundations of Philosophical Semantics. John L. Pollock.

xi. Das Wahrheitsproblem und die Idee der Semantik. Eine

Einführung in dit Theorien von A. Tarski und R. Carnap. Zweite, unveränderte
Auflage. Wolfgang Stegmüller.

xii. A guide to classical and modern model theory. Annalisa Marcja

and Carlo Toffalori

xiii. Das ABC der modernen Logik und Semantik, Der Begriff der
Erklärung und seine Spielarten. Wolfgang Stegmüller.

xiv. An argument against Tarski’s convention T by Anil Gupta. In:

What Is Truth. Richard Schantz (Ed.)

xv. From Discourse to Logic. Introduction to Modeltheoretic

Semantics of Natural Language, Formal Logic and Discourse Representation
Theory. Hans Kamp and Uwe Reyle.

xvi. The revision theory of truth. Anil Gupta and Nuel Belnap
(circularidad y teoría de la definción).

xvii. Formal Semantics and Logic Bas C. van Frassen.

xviii. Towards a General Theory of Classifications. Daniel Parrochia and
Pierre Neuville.

xix. xiv.Introduction to Symbolic Logic and Its Applications. Rudolf

Carnap.

xx. Introduction to semantics. Rudolf Carnap.

xxi. xvi.Tarski.

xxii. Truth in mathematics. H. G. Dales and G. Oliveri (Ed.).

xxiii. Hugues Leblanc.

xxiv. Model Theory.

xxv. Logical Approach to Systems Theory. Shingo Takahashi and Yasuhiko

Takahara

xxvi. Introduction to Metamathematics. Stephen Cole Kleene.

xxvii. Introduction to Mathematical Logic. Fourth Edition. Elliott

Mendelson.

· Leer Tesis Jörg Hansen.

· A Course in Mathematical Logic for Mathematicians. Second

Edition. Yu. I. Manin.

· Infinite Regress Arguments. Claude Gratton.

· Review of Admissibility of logical inference rules. V. V.

Rybakov, by Marcus Kracht.

· Nontrivial Versions of Hume's Is-Ought Thesis and Their

Logical Presuppositions. Gerhard Schurz.

· Derrotabilidad: G. Palau y Aldo Antonelli.

· Normative Systems de CEA y EB es un enfoque semántico toda

vez que emplea teoría de modelos.

· Leer Proof Theory and Meaning. Göran Sundholm.

· Evaluar cambio de título: Fundamentos semánticos de la

lógica deóntica.
· Axiomatic Method

i. Axiomatic Method and Category Theory. Andrei Rodin. ***

ii. What is the axiomatic method?. Hintikka.

iii. Hilbert.

iv. Chap. IV de The Methods of Contemporary Thought de I. M.

Bochenski.

v. There's Something About Gödel. The Complete Guide to the

Incompleteness Theorem. Francesco Berto

vi. Models and Methods in the Philosophy of Science. Selected

Essays. Patrick Suppes.

vii. Introduction to Logic. Patrick Suppes.

viii. El método axiomático de Roberto Torretti en: La ciencia.

Estructura y desarrollo. Carlos Ulises Moulines (Ed.).

ix. Method, Model and Matter. Mario Bunge.

x. Memoirs of a Proof Theorist. Gödel and other logicians. Gaisi

Takeuti

xi. The Axiomatic Method With Special Reference to Geometry and

Physics. Ed. x Tarski.

xii. The origins of Hilbert’s axiomatic method by Leo Corry,, in

The Genesis of General Relativity, Vol. 4 Theories of Gravitation in the
Twilight of Classical Physics: The Promise of Mathematics and the Dream of a
Unified Theory, ed. by J. Renn (Springer, New York, 2006), pp. 139–236 (pdf
1685).

xiii. David Hilbert and the Axiomatization of Physics (1898-1918).

From Grundlagen der Geometrie to Grundlagen der Physik. Leo Corry.

xiv. Axiomatic Method in A Survey of Mathematical Logic. Hao Wang.

xv. The Architecture of Mathematics. Nicolas Bourbaki.

xvi. The Role of the Axiomatic Method. Wilder.

xvii. Axiomatic Method and Intuitionism. Van Dalen.

xviii. La axiomática. Robert Blanché.

xx. Theory Change, Ancient Axiomatics, and Galileo's Methodology.

Proceedings 1978. Vol. I. Jaakko Hintikka, David Gruender, and Evandro
Agazzi (Ed.).

xxi. Abstract Objects. An Introduction to Axiomatic Metaphysics.

Edward N. Zalta.

· Leer Susan Haack y derecho.

· Estudiar alemán.

· Estudiar Schlechta.

· Priest.

· Gamut.

· Gabbay labelled.

· Bochman.

6. Bibliografía sobre Lógica y psicología:

· Psychologism in Logic. Studia Logica. Vol. 8, Issue 1,

2008. Hannes Leitgeb (Ed.).

· Human Reasoning and Cognitive Science. Keith Stenning and

Michiel van Lambalgen.

· Beyond the Brain. How Body and Environment Shape Animal

and Human Minds. Louise Barrett.

· Formal Languages in Logic. A Philosophical and Cognitive

Analysis. Catarina Dutilh Novaes.

· Games, Norms and Reasons. Logic at the Crossroads. Johan

van Benthem, Amitabha Gupta, and Eric Pacuit (Ed.).

7. Plan de W. Acad.:

· Leer filosofía de probabilidades.

i. Foundations of the Theory of Probability. Second English
Edition. A. N. Kolmogorov.

ii. Interpretations of Probability. Alan Hájek.

iii. A Primer of Probability Logic. Ernest W. Adams

· Revisar traducción de Pat. Suppes / Paul Thagard / Newton

da Costa.

· Set Θ.

i. Halmos 11-18.

ii. Ernest Schimmerling.

iii. Johnstone: Recursive.

iv. Basic Set Theory. Azriel Levy.

v. Labyrinth of Thought. A History of Set Theory and Its Role in

Modern Mathematics. Second revised edition. José Ferreirós.

vi. Handbook of the History of Logic. Volume 6. Sets and

Extensions in the Twentieth Century. Dov M. Gabbay, Akihiro Kanamori, and
John Woods (Ed.).

vii. ¿Quién era cesare Burali-Forti? (cf. The Legacy of Mario Pieri
in Geometry and Arithmetic. Elena Anne Marchisotto and James T. Smith).

· Alemán.

8. Leer Paul Thagard Computational Philosophy of Science.

9. Larry Laudan: Two dogmas of methodology.

10. Hacer curso de Lógica de Michael Genesereth (

<http://www.coursera.org> www.coursera.org).

11. Estudiar Introduction to Mathematical Philosophy de Hannes Leitgeb,

Stephan Hartmann ( <http://www.coursera.org> www.coursera.org).

12. Leer Paradigms in Theory Construction. Luciano L'Abate (Ed.). Parte

I

13. Leer:
· Completeness and categoricity. Part I and II. Steve Awodey
& Erich H. Reck..

· Gödel's Theorem. An Incomplete Guide to Its Use and Abuse.

Torkel Franzén

· Gödel's Proof. Revised Edition. Ernest Nagel and James R.

Newman.

· Gödel's Incompleteness Theorems. Raymond M. Smullyan.

· An Introduction to Gödel's Theorems. Peter Smith.

· Completeness and Categoricity. John T. Baldwin.

· Recursive Functions and Metamathematics. Problems of

Completeness and Decidability, Gödel's Theorems. Roman Murawski.

· Deducibility and decidability. R. R. Rockingham Gill.

· Metamathematics, Machines and Gödels. N. Shankar.

· Categoricity. John T. Baldwin.

· A Companion to Philosophical Logic. 2006. Dale Jacquette

(Ed.)

· Recursiveness. Samuel Eilenberg and Calvin C. Elgot.

· Recursion-theoretic hierarchies. Peter G. Hinman.

· Recursion Theory for Metamathematics. Raymond M. Smullyan.

· Forever Undecided. A Puzzle Guide to Gödel. Raymond M.

Smullyan.

· Deducibility and Inferability. J. E. Wiredu.

· A Recursive Introduction to the Theory of Computation.

Carl H. Smith.

· Computability. An Introduction to Recursive Function

Theory. Nigel J. Cutland

· Computability and unsolvability. Martin Davis.

· Computability, Complexity, and Languages. Second Edition.
Martin D. Davis, Ron Sigal, and Elaine J. Weyuker

· The undecidable. Basic papers on undecidable propositions,

unsolvable problems and computable functions. Martin Davis (Ed.).

· The Universal Computer. The Road from Leibniz to Turing.

Martin Davis.

· A theory of formal deducibility. Haskell Brooks Curry.

· Consistency, Turing Computability and Gödel’s First

Incompleteness. Robert F. Hadley.

· Consistency and faithful interpretations S. Feferman, G.

Kreisel, and S. Orey.

· Enumerability Decidability Computability. An Introduction

to the Theory of Recursive Functions. Hans Hermes.

· Undecidable in Formalized Arithmetic. An Exposition of the

Theory of Kurt Gödel. Andrzej Mostowski.

· Undecidable theories. Alfred Tarski, Andrzej Mostowski,

and Raphael M. Robinson.

· Proof Theory (Second edition) de Gaisi Takeuti.

· Proof Theory. An Introduction. Wolfram Pohlers.

· Perspectives on the history of mathematical logic. Thomas

Drucker.

· Tesis de Cristian Gutiérrez.

· A Course in Mathematical Logic for Mathematicians. Second

Edition. Yu. I. Manin.

· Solvable cases of the Decision Problem de Ackermann.

· Lógica, lógicas y logicidad de María Manzano.

· Introduction to Logic de Patrick Suppes.

· Handbook of mathematical logic. Jon Barwise (Ed.).

· Mathematical Logic for Computer Science. Third edition.
Mordechai Ben-Ari.

· Mathematical Logic. Foundations for Information Science.

Wei Li.

· Models as Points of View. The Case of System Dynamics.

Margarita Vázquez and Manuel Liz.

· Axiomatization and Models of Scientific Theories. Décio

Krause, Jonas R. B. Arenhart, and Fernando T. F. Moraes

14. Leer:

· Projective Geometry. Second Edition. H. S. M. Coxeter.

Chap One - Four.

· Science and Partial Truth. Newton C. A. da Costa and

Steven French: Cap 2 y 3.

· Discounted Cash Flow. Lutz Kruschwitz and Andreas Löffler

· The Last Mathematician from Hilbert's Göttingen. Saunders

Mac Lane as Philosopher of Mathematics. Colin McLarty.

· Tarski:

i. Semantic Conception of Truth.

ii. Truth and Proof.

iii. Arithmetical extensions of relational systems.

iv. Der Wahrheitsbegriff in den formalisierten Sprachen.

15. El concepto de empresa racional. Carlos Alberto Pérez Gil.

16. Investigar:

· Cómo formular en términos lógicos cesión de derecho pro

soluto y pro solvendo.

· ¿Qué significa introducir una fórmula matemática de

carácter financiero en un contrato?
17. Leer:

· Patrick Suppes. Scientific Philosopher. Volume 2.

Philosophy of Physics, Theory Structure, and Measurement Theory. Paul
Humphreys (Ed.): Moulines y Díez.

· What Scientific Theories Could Not Be. Hans Halvorson.

· A Puzzle for Structuralism. Agustín Rayo and Gabriel

Uzquiano.

· Popperian vs. Suppesian Theories. Ryszard Wójcicki.

18. Leer: Truth in mathematics. H. G. Dales and G. Oliveri (Ed.): 12

Mathematical evidence de Donald A. Martin.

19. Leer: la concepción de la matemática como pseudo-empírica

· Mathematics science and epistemology. Philosophical

Papers. Vol 2. Imre Lakatos. Cap. 2.

· Thinking about Gödel and Turing. Essays on Complexity,

1970-2007. Gregory J. Chaitin.

i. Information-theoretic computational complexity.

ii. Gödel's theorem and information.

· Philosophical Papers. Volume 1. Mathematics, Matter, and

Method. Hilary Putnam: Cap. 4. What is mathematical truth?

20. Estudiar:

· First-Order Logic. Second edition. Raymond M. Smullyan.

21. Leer:

· The collapse of the fact-value dichotomy and other essays.

Hilary Putnam.

· Edward R. Griffor: Robert I. Soare: concept of

computability.

· The Philosophy of Computer Science. Raymond Turner and

Amnon Eden
· Dashboard.

· Profit ratio

· What is information. Olimpia Lombardi.

· Intro de Formal Semantics de Paul Portner and Harbara H.

Partee.

22. Leer Isahia Berlin y Amartya Sen.

23. Epistemología:

· Escalabilidad en el Derecho: Alexy, Bunge, Jörg Hansen.

· Caso estructuralista: Freud y Balzer (Contabilidad).

· Conocimiento objetivo x Popper, contradicción

inconsistencia y verdad.

· P. 283 de García de la Sienra (2012), sobre análisis

estructuralista del equilibrio de Walras.

· Leer Ramsey statement: “Theories” en Ramsey: Foundations

of mathematics and other logical essays. p. 212, Sneed 1971, Stegmüller
Teoría y Experiencia.

· Leer correspondence rules en Carnap 1956 (Herbert Feigl

and Michael Scriven (Ed.))

· Leer da costa y french, 2003, caps 2 y 3.

· Chap final de IL de P. Suppes (inglés y español).

· Averiguar: qué es el programa Bourbaki.

· Leer Stegmüller ’79.

24. Formular esbozo de la concepción dinámica de las teorías

científicas.

25. Leer: Teoría de tipos.

26. Leer “The Morning Star Paradox” de S. Kanger.

27. Leer McDowell’s Dogmatic Empiricism. Jesús Antonio Coll Mármol.

28. Leer measurement en Applied Psychometry. Narender Kumar Chadha.

29. Enviar artículo paternalismo a todos.

30. Escribir a Pablo Lorenzano.

31. Lógica II:

· Leer José Miguel Sagüillo, “Validez y consecuencia lógica.

La concepción clásica”.

· Leer Mario Gómez Torrente “Constantes lógicas”

· Leer “Referencia y modalidad” de Quine.

32. Leer libro intro de Quantum Mechanics.

33. Leer computac. Q.

34. Copia de pago doctorado.

35. Ver paper de Boolos sobre math. Induct.

36. Leer sorites en “Paraconsistency. Logic and Applications. Koji

Tanaka, Francesco Berto, Edwin Mares, and Francesco Paoli (Ed.)”.

37. Traducción:

· Alan Baker.

· Torben Spaak.

· B. Jack Copeland.

· Sieckmann.

38. Cr libro de ficciones en der tributario.

39. Tareas:

· SIEB:

i. Leer: Lógica e inteligencia artificial.

* Introduction to the theory of computation. Second edition.

Michael Sipser. p. 1- 165: 31 p/d.

* The Blackwell Guide to the Philosophy of Computing and

Information. Luciano Floridi (Ed.), p. 3.

* Computability and Logic. 5th Edition. George S. Boolos, John P.

Burges and Richard C. Jeffrey.

* Encyclopedia of Philosophy. Second Edition. Volume 1- 10. Donald

M. Borchert (Ed.). p. 1925 y 1942.

ii. Leer types and tokens

iii. Leer Steven J. Brams. Cap. 8.

40. Mail Luis Orrego.

41. Otras tareas:

i. Estudiar: General Systems Theory. A Mathematical Approach,

by Yi Lin.

ii. Investigar explicación, predicción y retrodiccion, en

Hempel.

iii. Leer:

* Re-Emergence. Locating Conscious Properties in a Material World.

Gerald Vision.

* Evolution and the Levels of Selection. Samir Okasha.

* Weak Emergence. Mark A. Bedau.

* Systemics of Emergence. Research and Development. Gianfranco

Minati, Eliano Pessa, and Mario Abram (Ed.).

* The Causal Power of Social Structures. Emergence, Structure and

Agency. Dave Elder-Vass.

* Emergence or Reduction. Essays on the Prospects of Nonreductive

Physicalism. Ansgar Beckermann and Hans Flohr (Ed.)

* Self-organization and Emergence in Life Sciences. Bernard Feltz,

M. Crommelinck, and Philippe Goujon (Ed.).
* General Systems Theory. Second edition. Lars Skyttner.

42. Leer:

· A Logic of induction by Howson.

· The problem of induction. John Vickers.

· The Problem of Induction. An Epistemological and

Methodological Response. Alan Robert Rhoda.

· Induction. Processes of Inference, Learning, and

Discovery. John H. Holland, Keith J. Holyoak, Richard E. Nisbett, and Paul
R. Thagard.

· Nomic Probability and the Foundations of Induction. John

L. Pollock.

· The Rationality of Induction. David C. Stove.

· Induction. Nicholas Rescher.

· Abductive Reasoning. Logical Investigations into Discovery

and Explanation. Atocha Aliseda

· Abduction, Reason and Science. Processes of Discovery and

Explanation. Lorenzo Magnani.

· The logical problem of induction. Second enlarged edition.

Georg Henrik von Wright.

· Scientific progress by Craig Dilworth.

· Number Theory. Structures, Examples, and Problems. Titu

Andreescu and Dorin Andrica (Cap. 5: PIM and others)

· Theory Structuralism in a Rigid Framework by Christian

Damböck

· Cogito, Ergo Sum as an Inference and a Performance. Jaakko

Hintikka.

· Leer Galileo.

· Leer Reducción: Devil in details.

· Estudiar Mill heteropático y emergente.

· Biografía de Descartes.

· Leer sobre Bacon.

· Leer Kepler.

· Buscar: derivados de Pólya, Ayer, A. J., ‘Cogito ergo

sum’, Dictionary of History of ideas

43. Doctorado.

· Archivar copia de doctorado.

44. Académico:

· Copia en sociolog. UNMSM: de Raymond Aron sobre Marx

· Registro diario de W Acad. 2012 – II.

· Leer: Teorema de Chomsky.

· Leer Filosofía de la mente.

· Buscar Víctor Krepps.

· Estudiar Thomas Bartelborth.

· Traducir libro de Torben Spaak.

· Leer Oskar Lange: Wholes and Parts.

· La investigación social en el marco de la teoría de

sistemas

· Leer Peter Carruthers.

· Leer on location.

· Estudiar alemán por mi cuenta, para luego matricularme en

el Goethe.

· Buscar: burden of proof, para el caso de John Rawls.

· Formalización según la lógica de preferencias del

utilitarismo.

· Leer Juan de Espinoza Medrano (Apurimac), Francisco García

Calderón, Gonzales Prada, Arguedas.

· Visitar: Casa de Unanue en Cañete.

45. Hacer depósito a plazo de US $ de LCF y ML (25mil)

46. Buscar historiador de hyo.

47. Bajar P. W. Bridgman.

48. Llamar Willy Córdova.

49. Cancelar teléfono ELAA.

50. Artículos sobre aspectos procesales en casos comerciales,

financieros, concursales, mineros, otros

51. Artículo: Réplica a Metafísica de Bernal Pulido.

52. Revisar cuaderno de trabajo. ***

53. Bajar arte de la Guerra de Thomas ed Shambhala

54. Constitución de Clínica

55. Revisar inscripción de UPeCEN AC.

56. Revisar UPeCEN AC (RRPP Hyo).

57. Exoneración de Promotora (plazo 6 meses, desde mayo 2011).