CLC

The Free Site | vBuddy - social networking for webmasters | Cheap Web Hosting - starting at $5

* Home * Abstracts * About Myself * Earlier Researches * Books * Open Problems * Interaction * Software Consultancy * Researches (Current) * Links * Linux

CALCUTTA LOGIC CIRCLE

History

The Calcutta Logic Circle was formed on the 14th of November'1987 on the initiative of Prof. Mihir K. Chakraborty (Dept. of Pure Mathematics, University of Calcutta), and with active support from Prof. Amita Chatterjee (Dept. of Philosophy, Jadavpur University), and Prof. Ranjan Mukhopadhyay (Dept. of Philosophy, Visva-Bharati) and under the inspiration of Prof. H.N. Gupta (University of Regina, Canada).

From the very beginning, this group comprised members from various disciplines like Mathematics, Philosophy and Computer Science, and provided appropriate ambience for interdisciplinary exchange of opinions and views. Though it was initially conceived as a study group, it has developed into a research group. Some of the areas in which research work has been or is being pursued by members, are Rough Set Theory, Algebraic Logic, Fuzzy Logic, Vagueness and Approximate Reasoning, Modal Logic, Non-monotonic Reasoning, Belief Change, Linear Logic, and Logic of Diagrams.

The CLC organizes weekly study sessions every Saturday. Some of the topics discussed over the years in the weekly meet of the group are:

Lattice theory, Algebraic Logic, Category theory, Recursive function theory, Complexity theory, Model theory, Proof theory, Godel's incompleteness theorems, Intuitionistic logic, Philosophy of intuitionistic mathematics and logic, Set-theoretic paradoxes and the theory of types, Modal logic: different systems, Different types of semantics: algebraic, Kripke, Beth, quantified modal, Axiomatic set theory, Topology via Logic, Universal algebra, Many-valued logic, Linear logic, Fuzzy set theory and fuzzy logic, Rough set theory and rough logic, Different systems of paraconsistent logic, Lambda calculus, Knowledge representation in higher-order logic, Theories of meaning and truth etc.

Older Topics and Speakers (in alphabetical order)

Formal languages, automata and logic (Abhik Ghosh)

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

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

Rough sets (A. Skowron, D. Slezak)

Causality and modern science (Bijoy Mukherjee)

Theory of computation (Gautam Biswas)

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

Linear logic (Jayanta Sen)

Intuitionistic fuzzy sets (Jhunu Mukherjee)

Daoistic logic and linguistics (Lara Mitias)

Note on truth tables (Lopamudra Choudhury)

Logic of diagrams (Lopamudra Choudhury)

Complexity theory (Mandar Mitra)

Automata (Mandar Mitra)

Partial Algebras (A. Mani)

Non-Monotonic Consequence (A. Mani)

Algebras of Quantum Logics (A. Mani)

Functional Definability (A. Mani)

Negation (MK Chakraborty)

Algebraic logic (MK Chakraborty)

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

Development of numbers (MK Chakraborty)

Consistencies-Inconsistencies (MK Chakraborty)

Non-monotonic reasoning (MK Chakraborty)

Belief revision (MK Chakraborty)

Modal logic (Mohua Banerjee)

Rough logics (Mohua Banerjee)

Auto-epistemic logic (Mohua Banerjee)

Categorial grammars (Mohua Banerjee)

Logic of scientific discovery (Nandita Sinha)

Non-standard analysis (Partha Ghosh)

Foundations of category theory (Partha Ghosh)

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

Lambda calculus (Ranjan Mukhopadhyay)

Kripke's puzzle about belief (Ranjan Mukhopadhyay)

Concept of truth (Tarski) (Ranjan Mukhopadhayay)

First order predicate logic (Ranjan Mukhopadhyay)

Undecidability (Ranjan Mukhopadhyay )

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

Supervaluational semantics (Sanjukta Basu)

Paraconsistent logic and arithmetic (Sankha Subhra Basu)

Sub-n systems (Saswati Sadhu)

Psychology of proof (Smita Sirkar)

Consequences in fuzzy context (Soma Dutta)

MV-Algebra (Sujata Ghosh)

Axiomatic set theory and consistency proofs (Sujata Ghosh)

(List to be completed)

Annual Workshops

Apart from the weekly study sessions, CLC organizes an annual Workshop in collaboration with institutes like Centre for Cognitive Science, Jadavpur University (JU), Centre for Knowledge-based Systems, JU, Centre for Distributed Computing, JU and the Dept. of Pure Mathematics, University of Calcutta. Every year eminent scholars and researchers from various institutes of the country and abroad participate and deliver lectures in these workshops.

Last Few workshops:

1999 Complexity, Logic and Applications

2000 Logic and Applications

2001 Logic, Automata and Modelling

2002 Modal logic and Applications

2003 Logic and Artificial Intelligence

2004 Logic, Philosophy and Applications

2005 Logic and Semantics

2007 On Godel

2008 Logic and Cognition

List of some invited speakers at the annual workshops:

H.N.Gupta, University of Regina, Canada
Late Pranab Kumar Sen, Jadavpur University
Tushar Kanti Sarkar, Jadavpur University
Prabal Kumar Sen, University of Calcutta
Martin Bunder, University of Wollongong, Australia
Aditya Ghose, University of Wollongong, Australia
Wilfrid Hodges, Queen Mary and Westfield College, London
Piero Pagliani, Research Group on Knowledge and Communication Models, Rome
Benedikt Lowe, ILLC, Amsterdam
Van Bentham, ILLC, Amsterdam
Somenath Biswas, IIT Kanpur
Anil Seth, IIT Kanpur
Kamal Lodaya, IMSc, Chennai
R. Ramanujam, IMSc, Chennai
Purandar Bhaduri, IIT Guwahati
Chinmoy Goswami, University of Hyderabad
Rana Barua, Indian Statistical Institute, Kolkata
Palash Sarkar, Indian Statistical Institute, Kolkata
S.M. Srivastava, Indian Statistical Institute, Kolkata
Arthur Falk, Western Michigan University, USA
J.L. Shaw, Victoria University, New Zealand
M.K. Sen, University of Calcutta
S.P. Suresh, Chennai Mathematical Institute
A. Mukerjee, IIT Kanpur
P. Pandya, TIFR, Mumbai

(List to be completed and not in any particular order!)

Things To Do

A Full Website for the CLC

An e-Discussion List

Complete all Associated Documentation

Acknowledgement: This page was roughly in sync (as far as content is concerned) with Mohua's Page