Calcutta Logic Circle (CLC)

 Monday Seminars

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

 

   
    Philosophy of language: on truth and meaning
    Ref: 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-78

    Speaker: Ranjan Mukhopadhyay

 

Topology via logic

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

    Speaker: Purbita Jana

 

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

Comparison between set theory and category theory

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

Justification of deduction

Ref: The Logical Basis of Metaphysics, Michael Dummett

Speaker: Ranjan Mukhopadhyay

Modal logic: a general introduction
Ref: Modal Logic, P. Blackburn et al., Cambridge Univ. Press, 2001

Speaker: Sujata Ghosh

 

Modal predicate logic

Speaker: Sourav Tarafdar

Reverse mathematics
Ref: The Gödel Hierarchy and Reverse Mathematics, Stephen Simpson

Speaker: Sankha Subhra Basu

Modal logic: destructive tableau system & prefixed tableau system
Ref: Journal of Logic and Computation 1990 1(1):83-97; doi:10.1093/logcom/1.1.83, 1990, Oxford University Press
Speaker: Soma Dutta

Concept of limit in Mathematics
Speaker: Jagabandhu Sanyal

Timed automata
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
Speaker: Avik Ghosh

Different approaches to consequence relation: Consequence relation in Multiple Conclusion Logic
Ref: Multiple Conclusion Logic, D.J. Shoesmith & T.J. Smiley, Cambridge University Press, 1978
Speaker: Soma Dutta

Introductory course: FOPL and its Metatheory
Ref: Meta Logic, G. Hunter
Speaker: Sanjukta Basu and Javed Hassan

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

Meta-epistemic logic
Speaker: Mohua Banerjee (ongoing work with Didier Dubois)

Introduction to algebraic logic
Speaker: A. Mani

Category theory
Ref: Topoi, Goldblatt
Speaker: Sankha Subhra Basu

Motivations of sequent calculus
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
Speaker: Ranjan Mukhopadhyay

Substructural logic
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
Speaker: Jayanta Sen

Fixed point theory
Speaker: A. Mani

Consistency degrees between knowledges
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
Speaker: Pulak Samanta

Gödel's incompleteness theorem:

(1) Gödel numbering
(2) Formal number theory and its interpretation
Ref: First Order Mathematical Logic, Angelo Margaris
Speaker: Mihir K. Chakraborty

Self-reference, Cantor's diagonalization argument and impredicative definition
Ref: S. C. Kleene, Introduction to Metamathematics
Speaker: Ranjan Mukhopadhyay

Some interpretations of Gödel's incompleteness theorem
Source: www.s.m.luthsc/~torkel
Speaker: A. Mani

A passage from bivalence to multivalence
Ref: (1) Many-valued Logics: Theoretical foundations, Leonard Bole, Piotr Borowik, Springer-Verlag, 1992
(2) Many-valued Logics, Grzegorz Malinowski, Clarendon Press, Oxford, 1993
Speaker: Mihir K. Chakraborty

Sequent calculus presentation of logic and definability of a partial order relation in the language of that logic
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
Speaker: Jayanta Sen

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

Injustice with Infinity
Speaker: Sourav Tarafdar

Aristotle's Theory of Opposition as a root of a general theory of Negation
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
Speaker: Sanjukta Basu
 

 

        Some topics presented before July 2006:           

       Top                                                                                                                                                                                                                                                                                                     CLC home