tumblr counter

Logic / Mantık

This page collects all of my academic output including lecture notes, presentations and papers. I have a dedicated page for the books I have written, edited, translated or published.

I also maintain a (slightly outdated) logic blog where I keep notes.

I recently started tweeting, you can follow me at @topologically.

My academic CV is available here.

For the record, my Erdös number is 3.

Rohit Parikh on Logic, Language and Society

Edited by C. Başkent, R. Ramanujam and L. Moss

parikhBook


Out now from Springer!

Perspectives on Interrogative Models of Inquiry

Edited by C. Başkent

IMI

Out now from Springer!

UPDATE A recent review of the book written by Francesca Poggiolesi appeared in the open access journal Logic and Logical Philosophy

UPDATE Aldo Antonelli, one of the authors of the volume, sadly passed away so suddenly just before the publication of this volume. And his contribution in this volume turned out to be one of his last publications. We posthumously dedicate the volume to his memory.

Working / Submitted Papers

"Preferences and Equilibria in History Based Models"

"A Paraconsistent Logic for Contrary-to-Duty Imperatives"

"Translating Belnap's Four-Valued Logic B4 to Modal Logic S4 via Topologies"

"Game Theoretical Semantics for LFI"


Publications

2017

"A Non-Classical Logical Approach to Social Software", in Rohit Parikh on Logic, Language and Society, Edited by C. Başkent, L. Moss and R. Ramanujam, Springer, forthcoming.  pdf  pub

"Preface for 'Rohit Parikh on Logic, Language and Society' " (with L. Moss and R. Ramanujam), in Rohit Parikh on Logic, Language and Society, Edited by C. Başkent, L. Moss, R. Ramanujam, Springer, forthcoming.  pdf  pub

"Rohit Parikh on Logic, Language and Society", Edited by C. Başkent, L. Moss, R. Ramanujam, Outstanding Contributions to Logic Series (vol. 11), Springer.  pub


2016

"A Yabloesque Paradox in Epistemic Game Theory", Synthese, open access.  pdf  pub

"Game Theoretical Semantics for Some Non-Classical Logics", Journal of Applied Non-Classical Logics, vol. 26, no. 3, pp. 208-39.  pdf  pub

"Public Announcements and Inconsistencies: For a Paraconsistent Topological Model", in Epistemology, Knowledge and the Impact of Interaction, Edited by J. Redmond, O. P. Martins and A. N. Fernandez, pp. 251-268, Springer.  pdf  pub

"Towards Paraconsistent Inquiry", The Australasian Journal of Logic, vol. 13, no. 2, pp. 21-40.  pdf  pub

"Topological Semantics for da Costa Paraconsistent Logics C_\omega and C^{*}_\omega", in New Directions in Paraconsistent Logic, Edited by J.-Y. Beziau, M. Chakraborty and S. Dutta, pp. 427-444, Springer.  pdf  pub


2015

"Perspectives on Interrogative Models of Inquiry", Edited by C. Başkent, Logic, Argumentation & Reasoning Series (vol. 8), Springer.  pub

"Game Theoretical Semantics for Paraconsistent Logics", in Preceedings of the Fifth International Conference on Logic, Rationality and Interaction (LORI-V), Edited by W. van der Hoek and W. Holliday and W. Wang, pp. 14-26, Springer.  pdf  pub

"Epistemic Game Theoretical Reasoning in History Based Models" (with Guy McCusker), in Informal Preceedings of Strategic Reasoning Workshop (SR-2015), Edited by J. Gutierrez and F. Mogavero and A. Murano and Michael Wooldridge.  pdf

"Some Non-Classical Approaches to Branderburger-Keisler Paradox", Logic Journal of the IGPL, vol. 23, no. 4, pp. 533-552.  pdf  pub

"Inquiry, Refutations and the Inconsistent", in Perspectives on Interrogative Models of Inquiry - Developments in Inquiry and Questions, Edited by C. Başkent, pp. 57-71, Springer.  pdf  pub

"Preface for 'Perspectives on Interrogative Models of Inquiry' ", in Perspectives on Interrogative Models of Inquiry - Developments in Inquiry and Questions, Edited by C. Başkent, Springer.  pdf  pub


2014

"Public Announcements, Topology and Paraconsistency", in Informal Proceedings of LOFT Conference 2014.  pdf

"Some Observations on Nabla Modality", unpublished manuscript.  pdf


2013

"Some Topological Properties of Paraconsistent Models", Synthese, vol. 190, no. 18, pp. 4023-4040.  pdf  pub

"Homotopies in Classical and Paraconsistent Logics", unpublished manuscript.  pdf


2012

"Some Non-Classical Methods in Epistemic Logic and Games", The Graduate Center, The City University of New York, PhD Dissertation.  pdf

"On Knowledge and Obligation" (with Loes Olde Loohuis and Rohit Parikh), Episteme, vol. 9, no. 2, pp. 171-188.  pdf  pub

"A Formal Approach to Lakatosian Heuristics", Logique et Analyse, vol. 55, no. 217, pp. 23-46.  pdf  pub

"Public Announcement Logic in Geometric Frameworks", Fundamenta Informaticae, vol. 118, no. 3, pp. 207-223.  pdf  pub


2011

"A Logic for Strategy Updates", In Preceedings of the 3. Workshop on Logic and Rationality (LNCS 6953), Edited by H. van Ditmarsch, J. Lang, Sh. Ju, pp. 382-3, Springer.  pdf  full paper  pub

"Geometric Public Announcement Logics", in Preceedings of the 24th Florida Artificial Intelligence Research Society Conference (FLAIRS-24), Edited by, pp. 87-88, AAAI Press.  pdf  pub

"Completeness of Public Announcement Logic in Topological Spaces" (abstract), Bulletin of Symbolic Logic, vol. 17, No. 1, p. 142.  pdf  pub


2010

"Vicdani Reddin Politikasına ve Pratiğine Dair Formel Bir Değini" (in Turkish: "A Critical Treatise of the Politics and Practice of Conscientious Objection"), Felsefelogos, Sayı 39, s. 99-112, Eylül 2010.  text  pub

"Towards Multi-agent Subset Space Logic" (abstract, with Rohit Parikh), Bulletin of Symbolic Logic, vol. 16, No. 1, p. 108.  pdf  pub


2009

"A Geometrical - Epistemic Approach to Lakatosian Heuristics", in Preceedings of the Seventh Panhellenic Logic Colloquium, pp. 8-14, Patras University Press.  pdf  pub

"An Examination of Counterexamples in "Proof and Refutations" " (with Samet Bagce), Philosophia Scientiae, vol. 13, No.2, pp. 3-20.  pdf  pub


2007

"Topics in Subset Space Logic", Institute for Logic, Language and Computation, Universiteit van Amsterdam, Master Thesis Series.  pdf  pub

Talks

2016

What can Games Learn from Paradoxes?
December 14-17, 2016. International Conference of The Indian Mathematics Consortium in cooperation with American Mathematical Society, Banaras Hindu University, Varanasi - India  event.

Paradoxes and Games
October 4, 2016. The Department of Computer Science, University of Oxford, Oxford - England.

A Yabloesque Paradox in Epistemic Game Theory
July 20/22, 2016. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016), Maastricht - the Netherlands  event.

Preferences and Equilibria in History Based Models
July 20/22, 2016. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2016), Maastricht - the Netherlands  event.

Paraconsistent Dynamic Epistemic Logic
June 15, 2016. Theoretical Computer Science at Queen Mary University of London, London - England.

Paraconsistent Dynamic Epistemic Logic
April 14, 2016. Department of Computer Science, University of São Paulo, São Paulo - Brazil.

Paraconsistent Dynamic Epistemic Logic
April 11, 2016. School of Technology, University of Campinas, Limeira - Brazil.

Paraconsistency, Social Software and Games
April 13, 2016. Colloquim Logicae, CLE - University of Campinas, Campinas - Brazil.

Towards Paraconsistent Game Theory
March 29, 2016. Graduate Center of the City University of New York, New York - USA.

> Open Questions in Non-Classical Logic, Mathematics and Philosophy
January 26/29, 2016. Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland - New Zealand  event.

Game Theoretical Semantics for Some Paraconsistent Logics
January 26/29, 2016. Frontiers of Non-Classicality: Logic, Mathematics, Philosophy, Auckland - New Zealand  event.


2015

Game Theoretical Semantics for Paraconsistent Logics
November 19, 2015. Midlands Logic Seminar, Birmingham - England  event.

Game Theoretical Semantics for Paraconsistent Logics
October 29, 2015. 5th International Conference on Logic, Rationality and Interaction (LORI-V), Taipei - Taiwan  event.

Epistemic Game Theoretical Reasoning in History Based Models
September 21/22, 2015. 3rd International Workshop on Strategic Reasoning, Oxford - England  event.

A Paraconsistent Logic for Contrary-to-Duty Obligations
August 3/8, 2015. 15th Congress on Logic, Methodology, and Philosophy of Science, Helsinki - Finland  event.

Non-Classical Approaches to the Brandenburger-Keisler Paradox
July 20/25, 2015. 27th Stony Brook International Conference on Game Theory, Stony Brook - USA  event.

Paraconsistent Dynamic Epistemology
June 29, 2015. 5th World Congress on Universal Logic, Istanbul - Turkey  event.

Towards Paraconsistent Games via Topologies
June 11, 2015. Prague seminar on Non-Classical Mathematics, Prague - Czech Republic  event.

Game Semantics and Paraconsistency
April 12, 2015. Games for Logic and Programming Languages X (GALOP 2015), London - England  event.


2014

Public Announcements, Topology and Paraconsistency
July 27/30, 2014. Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2014), Bergen - Norway  event.

Game Semantics for Non-Classical Logics
July 15, 2014. Workshop on Logic and Games as part of Vienna Summer of Logic, Vienna - Austria  event.

Game Semantics: A Paraconsistent Approach
March 13, 2014. L'Institut d'histoire et de philosophie des sciences et des techniques (IHPST), Paris - France.

Game Semantics: A Paraconsistent Approach
February 27, 2014. The Institute of Mathematical Sciences, Chennai - India.

Game Semantics: A Paraconsistent Approach
February 13/17, 2014. 5th World Congress of Paraconsistency, Kolkata - India  event.


2013

Game Theoretical Semantics for a Non-Classical Logic
October 16, 2013. INRIA, Nancy - France.

What is Game Theoretical Negation?
September 18/21, 2013. Highlights of Logic, Games and Automata, Université Paris Diderot, Paris - France  event.

What is Game Theoretical Negation?
September 16/18, 2013. Conference on Logic and Philosophy of Science, University of Ghent, Ghent - Belgium  event.

What is Game Theoretical Negation?
June 17/19, 2013. Decisions, Games & Logic Conference, Royal Institute of Technology (KTH), Stockholm - Sweden  event.

What is Game Theoretical Negation?
April 17/19, 2013. Inqusitive Semantics meets Inferential Erotetic Logic Workshop, Adam Mickiewicz University, Poznan - Poland  event.


2012

Dialetheism and a Game Theoretical Paradox
December 6/8, 2012. 25 Years In Contradiction, University of Glasgow, Scotland  event.

Some Logical Approaches to Lakatos's 'Proofs and Refutations'
September 11, 2012. The Graduate Center of the City University of New York, New York - USA.

Some Non-Classical Methods in Epistemic Logic and Games
April 16, 2012. Dissertation Defense, The Graduate Center of the City University of New York, New York - USA.


2011

A Survey of Topologic
December 1, 2011. The Graduate Center of the City University of New York, New York - USA.

Homotopies in Classical and Paraconsistent Modal Logics
July 22, 2011. 14. Congress of Logic, Methodology and Philosophy of Science, Nancy - France  event.

Some Non-Classical Approaches to Epistemic Logic and Games
June 21, 2011. The Graduate Center of the City University of New York, New York - USA.

Some Non-Classical Approaches to the Brandenburger - Keisler Paradox
April 8, 2011. The Graduate Center of the City University of New York, New York - USA.

Epistemic Investigations on Nabla Modality
March 15, 2011. The Graduate Center of the City University of New York, New York - USA.


2010

Paraconsistency, Topological Semantics, Homotopies and Games
November 23, 2010. The Graduate Center of the City University of New York, New York - USA.

Paraconsistency and Topological Semantics
September 17, 2010. Non-Classical Logic: Theory and Applications Conference, Toruń - Poland  event.

Epistemic Norms
July 5, 2010. 10th Augustus DeMorgan Workshop on Deontic Logic, Florence - Italy  event.

Epistemic Investigations on Nabla Modality
June 17, 2010. Groningen Logic Colloquium (GROLOG), Groningen - the Netherlands  event.

Epistemic Investigations on Nabla Modality
May 8, 2010. New York Graduate Student Logic Conference, New York City - USA.

Completeness of Public Announcement Logic in Topological Spaces
March 18, 2010. Association for Symbolic Logic, 2010 Annual North America Meeting, Washington, D.C. - USA  event.


2009

Meditations on Subset Space Logic
October 6, 2009. The Graduate Center of the City University of New York.

An Epistemic - Geometric Extension of Game Logic
September 16, 2009. GAMES 2009: Annual Workshop on Games for Design and Verification, Udine - Italy  event.

Towards Multi-agent Subset Space Logic
Jul 31 / August 5, 2009. Association for Symbolic Logic, European Logic Colloquium, Sofia - Bulgaria  event.

A Geo-Epistemic Approach to Lakatosian Heuristics
July 19, 2009. Panhellenic Logic Colloquium, Patras - Greece  event.

A Formal Epistemological Approach to Meno
January 13, 2009. Department of Philosophy, Middle East Technical University, Ankara - Turkey.


2008

Geometry of Knowledge: An Exposition, Meditations and Reflections
January 2008. Istanbul University, Istanbul Kultur University, the Middle East Technical University and Bilkent University, Istanbul/Ankara - Turkey.


2007

Topics in Subset Space Logic
July 25, 2007. Thesis defence. Institute for Logic, Language and Computation of the Universiteit van Amsterdam, Amsterdam - the Netherlands.


2006

On Proofs and Refutations
November 4, 2006. Novembertagung Conference, University of Edinburgh, Edinburgh - Scotland. event.

Lecture Notes

2016

Paraconsistency and Games
April 2016. CLE, University of Campinas, Campinas - Brasil.


2010

A Quick Introduction to Dynamic Logic
July 2010. Istanbul International Graduate Summer School in Modal Logic and Its Applications, Istanbul Kultur University, Istanbul - Turkey.


2009

A Mathematical Introduction to Modal Logic
July (?) 2009. Turkish Mathematical Society Summer School, Nesin Mathematics Village, Şirince - Turkey.







The design / organization of my logic page is heavily influenced by the beautiful websites of Greg Restall and Rohan French.

Bu site, Can Başkent'in 1999 yılından beri yazdığı politik, felsefi ve akademik çalışmaların (neredeyse) eksiksiz bir derlemesidir. Bu yazılar veganizmden, beden politikalarına, dijital kültürden ahlak kuramına dek birçok konuyu kapsamaktadır.

Can Başkent'e e-posta ve twitter ile ulaşabilirsiniz.

This website collects all written output of Can Başkent since 1999. It includes his political and academical articles as well as his opinion pieces on a broad variety of issues ranging from veganism to digital culture.

You can reach Can by e-mail and twitter.