**Calcutta Logic Circle**
(** CLC**)

**Mon****day
Seminars**

Ongoing:

Philosophy of language: on truth and meaningRef:Gottlob Frege, On Sense and Meaning (translated by Max Black, from Ueber Sinn Und Bedeutung) in Peter Geach and Max Black (eds), Translations from the Philosophical Writing of

Gottlob Frege, Basil, Blackwell, Oxford, 1952, pp 56-78Speaker: Ranjan Mukhopadhyay

Previous seminars(since July 2006, in reverse chronological order):

Topology via logic

Ref:Topology via Logic, Steven Vickers, Cambridge Univ. Press, 1996

Speaker:Purbita Jana

Philosophy of language: on communicationRef:J.R.Searle, "What is a Speech Act" in Max Black (ed), Philosophy in America, Cornell Univ. Press / George Allen Unwin Press, 1965Speaker: Ranjan Mukhopadhyay

Comparison between set theory and category theoryRef:(1) Categories for the Working Mathematician, S. Maclane (1997 edition)(2)Internal Categories, Precategories, Actions et al., George Janelidze, lecture notes, UCT, 2004Speaker: Partha Pratim Ghosh, School of Mathematical Sciences, University of Kwazulu Natal, Durban, South Africa

Justification of deduction

Ref: The Logical Basis of Metaphysics, Michael DummettSpeaker: Ranjan Mukhopadhyay

Modal logic: a general introduction

Ref: Modal Logic, P. Blackburn et al., Cambridge Univ. Press, 2001Speaker: Sujata Ghosh

Modal predicate logicSpeaker: Sourav Tarafdar

Reverse mathematics

Ref: The Gödel Hierarchy and Reverse Mathematics, Stephen SimpsonSpeaker: Sankha Subhra Basu

Modal logic: destructive tableau system & prefixed tableau systemSpeaker: Soma Dutta

Ref: Journal of Logic and Computation 1990 1(1):83-97; doi:10.1093/logcom/1.1.83, 1990, Oxford University Press

Concept of limit in MathematicsSpeaker: Jagabandhu Sanyal

Timed automataSpeaker: Avik Ghosh

Ref: Rajeev Alur, D. L. Dill, Automata theoretic verification of real time systems, in Formal Method for Real Time Computing, Trends in Software Series, John Wiley and Sons Publishers, pp. 55-82, 1996

Different approaches to consequence relation: Consequence relation in Multiple Conclusion LogicSpeaker: Soma Dutta

Ref: Multiple Conclusion Logic, D.J. Shoesmith & T.J. Smiley, Cambridge University Press, 1978

Introductory course: FOPL and its MetatheorySpeaker: Sanjukta Basu and Javed Hassan

Ref: Meta Logic, G. Hunter

Rationality, belief & contradiction (invited talk)Speaker: Graham Priest

Meta-epistemic logicSpeaker: Mohua Banerjee (ongoing

work with Didier Dubois)

Introduction to algebraic logicSpeaker: A. Mani

Category theorySpeaker: Sankha Subhra Basu

Ref: Topoi, Goldblatt

Motivations of sequent calculusSpeaker: Ranjan Mukhopadhyay

Ref: Gentzen G., Investigations into Logical Deductions, in the collected papers of Gerhard Gentzen, M. E. Szabo, ed., 68-131, North Holland Publications, Amsterdam, 1969

Substructural logicSpeaker: Jayanta Sen

Ref: (1) H. Ono: Structural rules and a logical hierarchy, in P. P. Petkov (ed.), Mathematical Logic, New York , London : Plenum Press, 1990, 95-104

(2) H. Ono: Semantics for substructural logics, in Peter Schroeder-Heister, Kosta Dosen (ed.), Substructural Logics, Oxford University Press, Oxford, 1993, 259-291

Fixed point theorySpeaker: A. Mani

Consistency degrees between knowledgesSpeaker: Pulak Samanta

Ref: M. K. Chakraborty & P. Samanta, Consistency Degrees between Knowledges, M. Kryszkiewicz et al. (eds): RSEISP 2007, LNAI 4585, pp. 133-141, 2007, Springer-Verlag

Gödel's incompleteness theorem:

(1) Gödel numbering

(2) Formal number theory and its interpretationSpeaker: Mihir K. Chakraborty

Ref: First Order Mathematical Logic, Angelo Margaris

Self-reference, Cantor's diagonalization argument and impredicative definitionSpeaker: Ranjan Mukhopadhyay

Ref: S. C. Kleene, Introduction to Metamathematics

Some interpretations of Gödel's incompleteness theoremSpeaker: A. Mani

Source: www.s.m.luthsc/~torkel

A passage from bivalence to multivalenceSpeaker: Mihir K. Chakraborty

Ref: (1) Many-valued Logics: Theoretical foundations, Leonard Bole, Piotr Borowik, Springer-Verlag, 1992

(2) Many-valued Logics, Grzegorz Malinowski, Clarendon Press, Oxford, 1993

Sequent calculus presentation of logic and definability of a partial order relation in the language of that logicSpeaker: Jayanta Sen

Ref: (1) J. Sen and M.K. Chakraborty: Logic and truth: Some logics without theorems, accepted for publication in the special issue on TRUTH of Studia Philosophica Estonica

(2) J. Sen : Some embeddings in linear logic and related issues, Ph. D. dissertation, University of Calcutta , India , 2000

The 'Ignorabimus' in Mathematics (invited talk)Speaker: N. Raja, TIFR

Injustice with InfinitySpeaker: Sourav Tarafdar

Aristotle's Theory of Opposition as a root of a general theory of NegationSpeaker: Sanjukta Basu

Ref: (1). Development of Logic, Kneale & Kneale

(2) New Light on Square of Oppositions and its Nameless Corner, Jean-Yves Beziau

(3) On the Aristotelian Square of Opposition, Dag Wesperstahl

(4) Nyaya-Negation: Some Comments and Queries, M.K. Chakraborty, in Contemporary Philosophy and J. L. Shaw, ed. P. Billimoria

Some topics presented before July 2006:

Algebraic logic (MK Chakraborty)

First order predicate logic (Ranjan Mukhopadhyay)

Undecidability (Ranjan Mukhopadhyay )

Theory of computation (Gautam Biswas)

Categorial grammars (Mohua Banerjee)

Non-standard analysis (Partha Ghosh)

Foundations of category theory (Partha Ghosh)

Complexity theory (Mandar Mitra)

Non-monotonic reasoning (MK Chakraborty)

Auto-epistemic logic (Mohua Banerjee)

Belief revision (MK Chakraborty)

Causality and modern science (Bijoy Mukherjee)

Note on truth tables (Lopamudra Choudhury)

Logic of diagrams (Lopamudra Choudhury)

Logic and metaphysics in Navya Nyaya: a graph-theoretic introduction (Janardan Ganeri, Oxford, 13/01/2001)

Knowledge representation (Kayser's book) (Amita Chatterjee)

Logic of Daoism (Lara Mitias)

Marx's mathematical manuscripts (Pradeep Bakshi)

Linear logic (Jayanta Sen)

Sub-n systems (Saswati Sadhu)

Partial algebras (Mani)

MV-Algebra (Sujata Ghosh)

Axiomatic set theory and consistency proofs (Sujata Ghosh)

Consistency, completeness, negation (from Vakarelov) (Sanjukta Basu)

Infinite truth (reading from David Miller) (Ranjan Mukhopadhyay)

Concept of truth (Tarski) (Ranjan Mukhopadhayay)

Preparatory lectures for quantum logic, linear algebra (MK Chakraborty)

Modal logic (Mohua Banerjee)

Rough logics (Mohua Banerjee)

Psychology of proof (Smita Sirkar)

Lambda calculus (Ranjan Mukhopadhyay)

Logic of scientific discovery (Nandita Sinha)

Negation (MK Chakraborty)

Automata (Mandar Mitra)

Fuzzy set theory and meta-aspects of fuzzy logic (Sanjukta Basu)

Rough sets (A. Skowron, D. Slezak)

Paraconsistent logic and arithmetic (Sankha Subhra Basu)

Consequences in fuzzy context (Soma Dutta)

Intuitionistic fuzzy sets (Jhunu Mukherjee)

Consistencies-Inconsistencies (MK Chakraborty)

Kripke's puzzle about belief (Ranjan Mukhopadhyay)

Supervaluational semantics (Sanjukta Basu)

Development of numbers (MK Chakraborty)

Role of logic in knowledge representation and logic of action (Amita Chatterjee)

Formal languages, automata and logic (Abhik Ghosh)