· CV >>>
Education
· PhD, Indiana University at Bloomington.
· MA, University of Notre Dame.
· Lic phil, Universidad de Costa Rica.
Research Interests
Lógica modal, lógica epistémica, teoría de la computabilidad, lógica de segundo orden y órdenes superiores, lógica de sortales, lógica aplicada al derecho.
Publications
Books
· The Logic of Sortals: a Conceptualist Approach (Synthese Library Vol. 408). Springer. Alemania, 2019.
· Modal Logic: its Syntax and Semantics (co-autor con Nino Cocchiarella), Oxford University Press, Inglaterra, 2008.
· Lógica jurídica, Editorial Instituto Tecnológico de Costa Rica, 2007.
· Conocimiento y Poder (co-autor), Editorial Nueva Década, 1984, Costa Rica.
Volúmenes editados
· Logic and Philosophy of Logic: Recent Trends in Latin America and Spain. College Publications, Inglaterra, 2018. (editado con Max Fernández y Marco Ruffino).
Artículos en revistas especializadas
· “A Temporal Epistemic Deontic Logic”, Notre Dame Journal of Formal Logic, (en prensa), 2024.
· “Sortals”, The Stanford Encyclopedia of Philosophy (Winter 2020 Edition), Edward N. Zalta (ed.), URL = <https://plato.stanford.edu/archives/win2020/entries/sortals/> (en co-autoría con Richard Grandy).
· “Predication and Sortal Concepts”, Synthese, No. 198 (Supl. 12), 2018.
· “Predication and Computable Concepts”, Logique et Analyse, Vol. 59, No. 234, 2016, Bélgica.
· “A Modal-tense Sortal Logic with Variable-domain Second-order Quantification”, Australasian Journal of Logic, Vol. 12, No. 1, 2015, Australia-New Zealand.
· “Epistemic-Tense Logic and Sortal Predicates”, South American Journal of Logic, Vol. I, No. 1, 2015, Brasil.
· “Is a=a known a posteriori ?”, Revista de Filosofía de la Universidad de Costa Rica, LIII, No. 135, (An international special issue on the concept of Identity), 2014, Costa Rica.
· “Logica, matemática y conceptualismo”, Signos Filosóficos, XIII, No. 25, 2011, México.
· “A Two-dimensional Tense-modal Sortal Logic”, Journal of Philosophical Logic, Vol. 36, No. 5, 2007, Estados Unidos.
· “Conceptualismo realista y computabilidad”, Crítica, 37, No. 111, 2005, México.
· “Lógica para sentencias judiciales”, Revista de Ciencias Jurídicas, Vol. 107, 2005, Costa Rica.
· “A Modal Sortal Logic”, Journal of Philosophical Logic, 33, No. 3, 2004, Estados Unidos.
· “Conceptual Realism and Interpretation”, Protosociology- An International Journal of Interdisciplinary Research, 17, 2002, Alemania.
· “A Temporal Logic for Sortals”, Studia Logica, 69, No. 3, 2001, Holanda-Polonia.
· “A Complete and Consistent Formal System for Sortals”, Studia Logica, 65, No.1, 2000, Holanda-Polonia,
· “A Minimal Logical System for Computable Concepts and Effective Knowability-Some Corrections”, Logique et Analyse, Vol. 35, No. 2, 1997, Bélgica.
· “Semantics for Two Second Order Logical Systems: ºRRC and Cocchiarella’s RRC”, Notre Dame Journal of Formal Logic, 37, No. 4, 1996, Estados Unidos.
· “A Minimal Logical System for Computable Concepts and Effective Knowability”, Logique et Analyse, Vol. 34, No. 4, 1994, Bélgica.
· “A Relative Consistency Proof for RRC and Some of its Extensions”, Studia Logica, 59, No. 3, 1994, Polonia-Holanda.
· “Un análisis crítico del funcionalismo de Harnad” (co-autor con Manuel Arce), Revista de Ingeniería de la Universidad de Costa Rica, 3, No. 1, 1993, Costa Rica.
· “Un sistema lógico de segundo orden con operadores lambda ramificados”, Crítica, Vol. XXIV, 72, 1992, México.
· “Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado”, Critica, XXIII, 69, 1991, México.
· “Gôdel, la mente y el computador”, Tiempo compartido (Revista de computación del Instituto Tecnológico de Costa Rica), Vol. 3, 5, 1993.
· “El axioma V de Frege”, Revista de Filosofía de la Universidad de Costa Rica,1984.
· “Los sistemas lógicos de Lesniewski: meriología”, Revista de Filosofía de la Universidad de Costa Rica, 1983.
· “En defensa de mi posición”, Praxis, 8, 1979, Costa Rica.
· “Notas sobre las condiciones de los criterios epistemológicos de los enunciados de estética poética”, Praxis, 8, 1979, Costa Rica.
Artículos en antologías o enciclopedias
·“Wilhem von Humboldt” en Margaret Cameron et Al. (compiladores), Sourcebook in the History of Philosophy of Language, Springer, 2017, Alemania.
· “Irresolubilidad de la paradoja de Orayen”, en De la Sienra, Adolfo (compilador), La paradoja de Orayen, Editorial de la Universidad Nacional Autónoma de México (UNAM), 2007, México.
· “Lógica de enunciados” en Amor, J.A. (compilador), La Razón Comunicada IV, publicación anual de la Sociedad Mexicana de Lógica, Editorial Torres Asociados, 2005, México.
· “Lógica Epistémica”, en Alchurrón,C.E; Orayen, R; Mendez, J. (comps.), Enciclopedia Iberoamericana de Filosofía, 7 Logic, Editorial Trotta, 1994, España.
· “Consideraciones lógico-epistémicas relativas a una forma de conceptualismo ramificado” en Pensamiento Filosófico Contemporáneo de la América Central, Olmedo España (compilador), Universidad de Tromso (Noruega) y Universidad de San Carlos (Guatemala), 1999.
Reseñas de libros
· De Logica e Raciocionio, Pavao Maritns, Joao, College Publications, (2014); en Zentralblatt MATH (reseña DE062749412), 2014, Alemania.
· de The construction of logical space, Rayo, Agustin, Oxford University Press (2013), Oxford; en Zentralblatt MATH (reseña DE061879673), 2013, Alemania.
· de Conditionals and Modularity in General Logics, Gabbay D. M. ; Schlecta K., Springer Verlag, (2011); en Zentralblatt MATH, (reseña 5868220X), 2012, Alemania.
· de Modalities and Multimodalities, Carnielli, W; Pizzi C. (Springer Verlag), en Zentralblatt MATH, (reseña 57898340), 2011, Alemania.
· de Incompleteness in the land of sets, Fitting, M., (Studies in Logic, College Publications, London), en Zentralblatt MATH, (reseña 52979704), 2008, Alemania.
· de The Theory of Ontic Modalities, Meixner, U., (Ontos Verlag), en Notre Dame Philosophical Reviews, 2007, USA.
· de Philosophy of Mathematics and Logic, Shapiro, S. (Oxford U. Press), en Zentralblatt MATH, (reseña 21685530), 2006, Alemania.
· de Filosofia e matematica, Carlo Cellucci, (Editori Laterza), en Zentralblatt MATH, (reseña 21340318), 2005, Alemania.
· de Logic, Convention and Common Knowledge, Syverson, P., (CSLI Publications), en Zentralblatt MATH, (reseña 21310560), 2005, Alemania.
· de Many-Dimensional Modal Logics:Theory and Applications, Gabbay D.M.; Kurucz A.; Wolter F.; Zakharyaschev M.; (Elsevier), en Zentralblatt MATH, (reseña 20439579), 2005, Alemania.
· de First Order Modal Logic, Fitting M.; Mendelsohn, R; (Kluwer Academic Publishers); en Zentralblatt MATH, (reseña 19102480), 2004, Alemania.
· de Modalitá e Multimodalitá, Carnielli, Walter; Spisani ; (Francoangelli); en Zentralblatt MATH, (reseña 177344642), 2003, Alemania.
· de Philosophy of Logics, Haack, Susan; (Cambridge University Press); en Zentralblatt MATH , (reseña 177344642), 2002, Alemania.
Reseñas de artículos
En Zentralblatt für Mathematik
· de “Denotational Semantics for Modal Systems S3-S5 Extended by Axioms for Propositional Quantifiers and Identity”, Lewitzka, S., Studia Logica 103, 507-544 (2015), en Zentralblatt Math (reseña 64508089), 2016, Alemania.
· de “Notes on omega-inconsistent theories of truth in second-order languages”, Barrio, Eduardo; Picollo, Lavinia, Rev. Symb. Log. 6, No. 4, 733-741 (2013), en Zentralblatt Math (reseña 62915943), 2016, Alemania.
· de “The logic of Uncertain Justification”, Milnikel, R., Ann. Pure Appl. Logic 165, No. 1, 305-315 (2014), en Zentralblatt Math (reseña 62447743), 2015, Alemania.
· de “Modal Ontology and Generalized Quantifiers”, Fritz, P., Journal of Philosophical Logic, 42 (2013), en Zentralblatt Math (reseña 6217459), 2015, Alemania.
· de “Yablo´s Paradox in Second-order Languages: Consistency and Unsatisfiability”, Picollo, Lavinia; Studia Logica, 101, No. 3; en Zentralblatt Math (reseña 61820086), 2015, Alemania.
· de “Justifications, ontology and conservativity”, Kuznets, Roman; Studer, Thomas; Advances in Modal Logic. Vol. 9; en Zentralblatt Math (reseña 63029176), 2014, Alemania.
· de “Minimally congruential contexts: observations and questions on embedding E in K”, Humberstone, Lloyd, Notre Dame J. Formal Logic 53, No. 4, 581-598; en Zentralblatt Math (reseña 61113539), 2013, Alemania.
· de “Referential Opacity and Epistemic Logic”, Chatti, S., Logica Universalis, 5. (2011), en Zentralblatt Math (reseña 61478567), 2013, Alemania.
· de “Knowledge as true belief”, Levi, Isaac, Olsson, Erik J. (ed.) et al., Belief revision meets philosophy of science. Berlin: Springer Logic, Epistemology, and the Unity of Science 21, 269-302 (2011), en Zentralblatt Math (reseña 60822219), 2013, Alemania.
· de “The Ontology of Justifications in a Logical Setting”, Artemov, S. , Studia Logica 100, No. 1-2, (2012), en Zentralblatt Math (reseña 60888453), 2013, Alemania.
· de “Propositional Logic of Second-Order”, Perea M. y Ezequiel F., Memorias de la Sociedad Matematica Mexicana (2009), en Zentralblatt Math (reseña 58851554), 2012, Alemania.
· de “Knowledge, time, and the problem of logical omniscience”, Wang, Ren-June, Fundam. Inform. 106, No. 2-4, (2011)), en Zentralblatt Math (reseña 59773194), 2012, Alemania.
· de “Conservativity for logics of justified belief: two approaches”,Milnikel, Robert S., Ann. Pure Appl. Logic, 163, No. 7, 2012), en Zentralblatt Math (reseña 6022767X), 2012, Alemania.
· de “Public communication in justification logic”, Renne, Bryan, J. Log. Comput. 21, No. 6, 2011), en Zentralblatt Math (reseña 59895615), 2012, Alemania.
· de “Man muss immer umkehren!”, van Benthem, J. , (Degremont, C. (ed.) et al., Dialogues, logics and other strange things. Essays in honour of Shahid Rahman. London: Collegue Publications, 2008), en Zentralblatt Math (reseña 59023372), 2011, Alemania.
· de “K4.Grz and hereditarily rresolvable spaces”, Bezhanishvili.G; Esakia, L.; Gavelaia, D. (Feferman, Solomon (ed.) Proofs, cateogries and computations. Essays in honor of Grirogi Mints. London:College Publications, 2010), en Zentralblatt Math (reseña 59016153), 2011, Alemania.
· de “Completeness of the finitary Moss Logic”, Kupke, C.; Kurz, A.; Venema, Y. (Areces, C. (ed.), Advances in modal logic, Vol. 7, London: College Publications, 2008), en Zentralblatt Math (reseña 59016153), 2011, Alemania.
· de “On the dynamics of institutional agreements”, Herzig, A; Lorini, E.; de Lima, T., Synthese 171, No.2, (2009), en Zentralblatt Math (reseña 57059901), 2011, Alemania.
· de “Propositional relevance through letter-sharing”, Makinson,D. (J. of Applied Logic 7, 377-387 (2009)), en Zentralblatt Math (reseña 56681482), 2011, Alemania.
· de “S5 knowledge without partitions”, Samet, D., Synthese 172, No. 1, (2010), en Zentralblatt Math (reseña 56787893), 2010, Alemania.
· de “On Definability in Multimodal Logic”, Halpern, J.; Samet D.; Segev E. (Rev. of Symbolic Logic 2, No. 3,451-468 (2009)); in Zentralblatt MATH, (reseña 56320678), 2010, Alemania.
· de “Defining knowledge in terms of belief: the modal logic perspective” Halpern, J.; Samet D.; Segev E. (Rev. Symb. Log. 2, No. 3, 469-487 (2009)); en Zentralblatt MATH, (reseña 56320687), 2010, Alemania.
· de “An epistemic logic for becoming informed”, Primiero, G., (Synthese 167, 363-389, 2009), ); en Zentralblatt MATH, (reseña 55937744), 2010, Alemania.
· de “Margin for error and the transparency of knowledge”, Doki, J.; Egre, P., (Synthese 166, 1, 1-20, 2009); en Zentralblatt MATH, (reseña 55652332), 2009, Alemania.
· de “Implicit versus Explicit Knowledge in Dialogical Logic”, ( Majer et al. (eds), Games:Unifying Logic, Language and Philosophy), Manuel Rebuschi; en Zentralblatt MATH, (reseña 55425808), 2009, Alemania.
· de “On a simple 3-valued Modal Language and a 3-valued logic of not fully justified belief”, (Log. J. IGPL, 16, No. 6, 591-693), Koutras, C.D.; Nomikos, C.; Peppas, P.; en Zentralblatt MATH, (reseña 5495726X), 2009, Alemania.
· de “Reasoning with Justifications” (D. Makinson et al., Towards Mathematical Philosophy, Trends in Logic, 28), Fitting, Melvin; en Zentralblatt MATH, (reseña 55029565), 2009, Alemania.
· de “Commutativity of Quantifiers in Varying-Domain Kripke Models” (Towards Mathematical Philosophy, Trends in Logic, 28), Goldblatt R. and Hodkinson, I.; en Zentralblatt MATH, (reseña 55029529), 2009, Alemania.
· de “Once more on analytic vs. synthetic” (Logic and Logical Philosophy, 16, No. 1), Materna, Pavel; en Zentralblatt MATH, (reseña 52303490), 2008, Alemania.
· de “Intuition between the analytic-continental divide: Hermann Weyl’s philosophy of the continuum”, Folina, Janet, (Philos. Math. (3) 16, No. 1), en Zentralblatt MATH, (reseña 52913883), 2008, Alemania.
· de “Understanding the Brandenburger-Keisler paradox”, Pacuit, E. (Studia Logica, 86, 3), en Zentralblatt MATH, (reseña 52207091), 2008, Alemania.
· de “Restricted Classical Modal Logics”, Mortari, C. (Log. J. IGPL 15, No. 5-6), en Zentralblatt MATH, (reseña 52279911), 2008, Alemania.
· de “A splitting logic in Next(KTB)”, Miyazaki, Y. (Studia Logica, 85, 3), en Zentralblatt MATH, (reseña 51890710), 2008, Alemania.
· de “Beliefs in conditionals vs. conditional beliefs”, Leitgeb, H. (Topoi 26, 1), en Zentralblatt MATH, (reseña 52118429), 2008, Alemania.
· de “Necesssity and relative contingency”, Pizzi, C. (Studia Logica 85, 3), Zentralblatt MATH, (reseña 51890739), 2008, Alemania.
· de “Computationalism, the Church-Turing thesis, and the Church-Turing Fallacy”, Piccini, G. (Synthese 154, 1), en Zentralblatt MATH, (reseña 51569532), 2007, Alemania.
· de “A modal extension of weak generalisation predicate logic”, Kibedi, F. (Log. J. IGPL 14, No. 4), en Zentralblatt MATH, (reseña 51447585), 2007, Alemania.
· de “Ordinary modalities”, Materna, P. (Log. Anal., Nouv. Ser. 48, 189-192), en Zentralblatt MATH, (reseña 50011906 ), 2007, Alemania.
· de “Hilbert and the foundations of mathematics: the axiomatic method” (en italiano), Abrusci, V. Michele, (Matematiche 55, 1), en Zentralblatt MATH, (reseña 110301015), 2007, Alemania.
· de “Pure extensions, proof rules, and hybrid axiomatics”, Blackburn, P.; ten Cate, B. (Studia Logica, , 84, No. 2, 2006), en Zentralblatt MATH, (reseña 51186783), 2007, Alemania.
· de “A Paradox for possible worlds semantics”, Shaffer M. ; Morris, J. (Logique et Analyse, No. 195, 2006 ), en Zentralblatt MATH, (reseña 50814518), 2007, Alemania.
· de “Some topics concerning identity and contradiction in philosophical logic”, Berto, F. (Epistemologia, 28, No. 2, 2005); en Zentralblatt MATH, (reseña 51192860), 2007, Alemania.
· de “Unifying Quantified Modal Logic”, Garson, J. (Journal of Philosophical Logic); en Zentralblatt
MATH, (reseña 50002068), 2007, Alemania.
· de “Alethic Modal Logic and Semantics”, Schurz (A Companion to Philosophical Logic); en Zentralblatt MATH, (reseña 21019695), 2005, Alemania.
· de “Epistemic Logic”, Rescher, N.. (A Companion to Philosophical Logic ); en Zentralblatt MATH, (reseña 21019710), 2005, Alemania
· de “Deontic, Epistemic, and Temporal Modal Logics”, Hilpinen, R. (A Companion to Philosophical Logic); en Zentralblatt MATH, (reseña 21019701), 2005, Alemania.
· de “Remarks on Second-Order Consequence”, Jané, I. (Theoria); en Zentralblatt MATH, (reseña 20762644), 2004, Alemania.
· de “On existential quantifier”, La Greca, C. (Metalogicon); en Zentralblatt MATH, (reseña 2076242X), 2004, Alemania.
· de “Intensional Logic-Beyond First Order”, Fitting, Melvin (Trends in Logic); en Zentralblatt MATH, (reseña 20701943), 2004, Alemania.
· de “Five puzzles about mathematics in search of solutions”, Chihara, Charles S. (Proceedings of the 7th and 8th Asian logic conference); en Zentralblatt MATH, (reseña 20632158), 2004, Alemania.
· de “A unified completeness theorem for quantified modal logics”, Corsi, Giovanna (Journal of Symbolic Logic); en Zentralblatt MATH, (reseña 20484046), 2004, Alemania.
· de “The Limits of Human Mathematics” , Salmon, N. (Philosophical Perspectives); en Zentralblatt MATH, (reseña 19745678), 2004, Alemania.
· de “Equating categorially names and quantifiers within first-order logic”, Pasniczek, Jacek (Logic and Logical Philosophy) ; en Zentralblatt MATH, (reseña 18958832), 2004, Alemania.
· de “Belief, names, and modes of presentation”, Ye, Ruili; Fitting, Melvin (Advances in Modal Logic) ; en Zentralblatt MATH, (reseña 19896636), 2004, Alemania.
· de “Gödel´s Ontological Proof” , Hajek, Petr, (Studia Logica); en Zentralblatt MATH, (reseña 177344642), 2003, Alemania.
· de “Epistemic Logic”, Meyer, J.J.Ch. (The Blackwell guide to philosophical logic).; en Zentralblatt MATH, (reseña 177344642), 2003, Alemania.
En Mathematical Reviews
· de “On sharp and single-conclusion justification models”, Krupski, Vladimir N. J. Logic Comput. 31 (2021), no. 1, en Mathematical Reviews (reseña 4212862), 2022, U.S.A.
· de “The necessity of mathematics”, Yli-Vakkuri, Juhani; Hawthorne, John. Noûs 54 (2021), no. 3, en Mathematical Reviews (reseña 4139674), 2021, U.S.A.
· de “Why is the universe of sets not a set?”, Soysal, Zeynep, Synthese 197 (2021), no. 2, en Mathematical Reviews (reseña 4072263), 2016, U.S.A.
· de “Back to basics: belief revision through direct selection”, Hansson, Sven Ove, Studia Logica 107 (2019), no. 5, en Mathematical Reviews (reseña 4015383), 2020, U.S.A.
· de “Prediction, possibility, and choice. Being necessary”, Cook, Roy T. 111–139, Oxford Univ. Press, Oxford, 2018, en Mathematical Reviews (reseña 3930970), 2020, U.S.A.
· de “A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames”, Rybakov, Mikhail; Shkatov, Dmitry. Advances in modal logic. Vol. 12, 531–539, Coll. Publ., [London], 2018, en Mathematical Reviews (reseña 3839134), 2019, U.S.A.
· de “Defaulting on reason”, Bonevac, Daniel. Noûs 52 (2018), no. 2, en Mathematical Reviews (reseña 3801930), 2019, U.S.A.
· de “A Lewisian taxonomy for deontic logic”, Svoboda, Vladimír. Synthese 195 (2018), no. 7, en Mathematical Reviews (reseña 3817161), 2019, U.S.A.
· de “Typology of axioms for a weighted modal logic” Legastelois, Bénédicte; Lesot, Marie-Jeanne; d’Allonnes, Adrien Revault. Internat. J. Approx. Reason. 90 (2017), en Mathematical Reviews (reseña 3704216), 2018, U.S.A.
· de “Mathematical, philosophical and semantic considerations on infinity (I): General concepts”, Usó-Doménech, José-Luis; Nescolarde Selva, Josué Antonio; Belmonte Requena, Mónica. Found. Sci. 21 (2016), no. 4, en Mathematical Reviews (reseña 3563338), 2018, U.S.A.
· de “Embedded counterfactuals and possible worlds semantics”, Cross, Charles B. . Philos. Stud. 173 (2016), no. 3, en Mathematical Reviews (reseña 3458635), 2016, U.S.A.
· de “The thing to do” implies “can”, Southwood, Nicholas. Noûs 50 (2016), no. 1, en Mathematical Reviews (reseña 3455654), 2016, U.S.A.
· de “A Regress Objection to Thagard’s Theory of Deductive Coherence”, Beirlaen, Mathieu, Erkenntnis 2015, 80, en Mathematical Reviews (reseña 3411755), 2016, U.S.A.
· de “Qualifying Quantifying-in”, Jespersen Bjorn; A.Torza (ed.), Quantifiers, Quantifiers, and Quantifiers:Themes in Logic, Metaphysics and Language, Synthese Library, en Mathematical Reviews (reseña 3382161), 2016, U.S.A.
· de “Gödel’s property abstraction operator and possibilism”,Goldman, Randolph Rubens, Australasian Journal of Logic, (11:2) 2014, Article no. 3, (2014), en Mathematical Reviews (reseña 3283589), 2016, U.S.A.
· de “La verita in Matematica”, Moriconi, Enrico, en Mathematical Reviews (reseña 3363741), 2015. U.S.A.
· de “The rise of relationals”, Muller, F. A., Mind, Vol. 124 . 493, 2015, en Mathematical Reviews (reseña 3356779), 2015. U.S.A.
· de “Closure of A Priori Knowability Under A Priori Knowable Material Implication”, Jan Heylen, Erkenntis, (2015) 80:359–380, en Mathematical Reviews, (reseña 3325813), 2015, U.S.A.
· de “Almost necessary”, Fan, Jie; Wang, Yanjing; van Ditmarsch, Hans,. en Mathematical Reviews (reseña 3329822), 2015. U.S.A.
Traducciones
· Traducción y presentación de Cocchiarella, Nino, Predication vs. Membership, publicada en Colección Prometeo, no. 20, Universidad Nacional de Costa Rica.
