Department of Philosophy
|
Email: lizerp2@uky.edu Office: 1402
Hours: T 2:00 - 4:00pm Phone: (859) 257-3517 Department Phone: (859) 257-1861 Mailbox:
1443 Current Interest | Curriculum Vitae | Teaching | Research | Other Sites | |
|
I am interested in logic (philosophical and mathematical) and the philosophy of science. I am mainly interested in the philosophical applications of game theory, and more specifically, in the development of a game-theoretical approach to the philosophy of science.
Some closely related areas of interest are the semantic conception of scientific theories, Giere’s naturalist program (based on cognitive science), and Lakatos' philosophy of science.
CV (PDF Format)
CURRENT:
PHI 320 Symbolic Logic, Section 001 (Spring 2008)
Slides and Lecture Notes:
Notes on Conditional Reasoning (PDF Format)
Solutions with explanations of some exercises from sec. 5.1 (PDF Format)
Answer keys of quizzes and exams:
PAST
PHI 120 Introductory Logic, Sections 027 and 028 (Fall 2007)
Syllabus
for Section
027 (PDF Format)
Syllabus
for Section 028
(PDF Format)
Information
about Grades
(PDF Format)
Slides, Additional
Informal Logic
On Deduction and Induction (PDF Format)
Evaluating Arguments (PDF Format)
Extended Arguments (PDF Format)
Reading on Varieties of Meaning from Wittgenstein (PDF Format)
Example of the slippery slope fallacy in Gonzalez v. O Centro (2006)
(See pp. 4, 20)
Extra-credit Assignment on Fallacies (PDF Format)
Formal Logic
A Friendly Approach to Indirect Truth Tables (PDF Format)
Notes on Conditional Reasoning (PDF Format)
Inference Rule Sheet (PDF Format)
________________________________________________________________________
CLASSROOM NOTES, POWERPOINT SLIDES, SOFTWARE TOOLS, AND OTHER PEDAGOGICAL MATERIALS FROM PAST COURSES (All PDF Format; "Using Software Tools for Teaching Logic..." has additional MS Word Format):
From Symbolization to SD+ (PDF Format)
Arguments, Deductive Validity and Soundness (PDF Format)
Midterm Material (Rules and Basic Concepts of SD, Principles of Application, Subgoals, and SD+) (PDF Format)
Predicate Logic: Limitations of SL, Predicates, Individuals, Quantifiers, and the Syntax of PL (Updated 11/7/06, PDF Format)
Quine
Essay (Quine,
Willard Van Orman. "On
What There is." From
A Logical Point of View: Nine Logico-Philosophical Essays,
2nd ed.
Are Genuine Divergences Possible in Logic (PDF Format)
Note about Are Genuine Divergences Possible in Logic (PDF Format)
Note
on
Steps of Subderivations and Private Variables in Subroutines
(PDF Format)
Discussion Note: Inference Rules Are Not Dogmas but Solutions to Inference Problems. An unconventional view of inference rules.
Classroom Notes on Metalogic: Henkin's Proof of the Completeness of First-Order Logic. Henkin's proof explained in an intuitive, friendly, and step-by-step format.
|
Formal Proof of a Theorem about the Power Set. The theorem says that |
|
where |
|
denotes the power set of the set X. |
The proof is developed in a standard natural deduction system.
A
Classroom Note on Sierpinski's Definition of Finite Set in the
Zermelo-Fraenkel
Axiomatic System (Another formal proof).
One of the many philosophical applications of set theory is the
elucidation of
the notions of finite and infinite,
concepts that, as it is
well-known, have been profusely used through the history of philosophy.
Think
in Augustine, Spinoza, Leibniz, and Kant. Future notes will explain
other
formal results that are relevant to philosophical purposes.
Classroom Notes on Logic and Artificial Intelligence: the Situation Calculus An intuitive exposition of McCarthy's situation calculus (based on Nilsson, Artificial Intelligence: A New Synthesis). The reification of universals in Quine's sense is applied here with the quantification over events. The frame problem is also briefly discussed. This discussion has importance for coginitive science and provides an example of a modeling tool based on first-order predicate calculus. Some epistemological problems are also mentioned.
Using
Software Tools for Teaching Logic: Some Unseful
Files
of the Program "Tarski's World 5.0" (PDF Format); (MS
Word Format) Some images of SEN and WLD files of the software
"Tarski's World 5.0", a program created by Jon Barwise and John
Etchemendi for teaching first-order logic, are displayed. Important:
The
high degree of visualization of the logical
operations and formulas that
students are able to achieve is really remarkable. I obtained
excellent
results when I used this program in my logic courses. I
proposed a
possible extension of this program, with the title of "McCarthy's
World." I hope that the use of pedagogical software will be much more
extensively used in the departments of philosophy in the
Cálculo de predicados
y Teoría Axiomática de Conjuntos
[Predicate Calculus and Axiomatic Set Theory] (English
translation in preparation). PowerPoint slides in PDF
Format.
Dos
demostraciones formales sobre
conceptos métricos (Formal
proofs in Epistemology: Hempel's
theory of scientific concepts) (English translation in preparation).
Cálculo de predicados: teoremas distributivos
y decibilidad
(English translation in preparation).
PowerPoint slides in PDF Format.
Notas Complementarias
de Lógica Matemática: Semántica Formal y Completitud del CPPO [Complementary notes on
Mathematical Logic: Formal
Semantics and the Completeness of FOL] (English translation
in
preparation).
La
teoría semántica de la verdad de Tarski (parte 1): el concepto "absoluto"
de verdad [Tarski's
Semantic Theory of Truth (part 1): The
"Absolute" Concept of Truth] (English translation in
preparation).
Current:
I am now
developing a
game-theoretical approach to the philosophy of science. The following
paper
contains a preliminary report of this project:
First Steps Toward a Game-Theoretical
Approach to the Philosophy of
Science.
Past
Research Activity:
Book
(In Spanish):
Fundamentos lógicos
de las redes neurales artificiales.
Reconstrucción estructuralista
Partial
translation of Section 9 of this book
Material
from the Master
Dissertation:
Resumen de mi Tesis
de Maestría [Summary of my Master Thesis] (English
translation in
preparation).
Papers
Published in English
and Unpublished English Translations of Papers Originally Published in
Spanish:
The
Formal Specification of Systems and the Teaching of Logic
published in
Are Genuine
Divergences Possible in Logic?
Note about
"Are
Genuine Divergences Possible in Logic?" (08/17/2001)
Logical
Foundations
of Classical Calorimetry
A Note on
"Logical Foundations of Classical Calorimetry" (12/21/2001)
Logical
Foundations
of Artificial Neural Nets
The
decidability of
Xenakis' formal theory of musical scales (with Laura
Pita)
El
rol de las condiciones
de ligadura en la ciencia y en la filosofía de la ciencia recientes
(English
translation in
preparation).
Unpublished
Papers and
Notes:
Las leyes ceteris paribus, el debate
Fodor-Schiffer sobre las leyes
de la "folk psychology," y el razonamiento
por defecto en la lógica no monótona (English
translation in
preparation).
Methodology
of Programming and Formal Specification of Systems: an Introduction
(English translation in preparation).
El
lenguaje del mundo
de bloques ("Block
Worlds") en Inteligencia
Artificial Simbólica
(English translation in preparation).
Abstracts:
Una aproximación
lógica a las redes
neurales artificiales
(English translation in
preparation).
Reviews:
Review
Note on "A Logic Programming Application for the Analysis of Spanish
Verse"
Reseña [Review] de Nilsson, Nils
J.: "Inteligencia
Artificial: una Nueva Síntesis"
[Nilsson, Artificial Intelligence: A
New Synthesis]
(English translation in preparation).
Handouts
and Slides for
Presentations in Graduate Seminars and Courses:
Handout
of a Presentation on Evolutionary Game Theory (April 2005)
A
Browse to Axelrod's Tournament Results
Handout
on the Liar Paradox and Tarski's and Kripke's theories of truth (Fall
2004)
Metodología de la Programación: motivación, problemas y algunos resultados
(English
translation in preparation).
________________________________________________________________________
Software
Projects in
the Teaching of Logic:
"McCarthy's
World": A Possible Extension of the Program "Tarski's World 5.0"
of Barwise and Etchemendi. Sketch of
a Tool for Teaching Logic
through Visual Representation (Modeling) of Finite Worlds.
FoxPro
Programming:
XBase
Source Code (MS FoxPro) Some library routines of software
developed and
used in the shoes industry in
Other Sites of Interest and Other Topics
Links
to Online
Nelson Goodman and W. V. Quine (1947) "Steps Toward a Constructive Nominalism"
Alfred Tarski (1944) "The Semantic Conception of Truth and the Foundations of Semantics"
Wittgenstein (1922) "Tractatus Logico-Philosophicus"
Links to Current Events:
Philosophy in Jorge Luis Borges' Eyes:
Borges, "The Library of Babel" (story).
Borges, "Heraclitus" (poem).