International Conference On Logic,Navya-Nyaya & Applications

Scope of the Conference

Call for Papers

How to Submit

Committee

Conveners:

	Madhabendra Nath Mitra.
	Mihir Kr.Chakraborty.
	Sadhan Chakraborty.
	Rupa Bandopadhyay.

Invited speakers who have consented :

Keynote Address by Professor J.N.Mohanty, Temple University, USA

Vito Michele Abrusci University of Rome Italy	- To be announced.

Johan Van Benthem Institute of Logic, Language and Computation Amsterdam, Netherlands	- Living with Rational Animals

Purushottama Bilimoria University of Melbourne, Australia	- Negation in the Mimamsa

Arindam Chakrabarti University of Hawaii, USA	-“Or” : Russell, Strawson and Nyaya Disjunction

Sitansu Sekhar Chakravarti MISSISSAUGA, Canada	- The Nyaya way to address “ the unfinished agenda of Naming and Necessity”

Supratik Chakraborty IIT, Bombay, India	- Reachability Matrices: Towards Provable Metaprograms for Symbolic Reachability Analysis

Amita Chattrejee Jadavpur University, India	- “Marry your daughter to a handsome person”: Nyaya Techniques of Precisification

John N. Crossley Monash University, Australia	- What is Logic?

Anuj Dawar Computer Laboratory University of Cambridge, UK	- Complexity and the Expressive Power of Logics

K.E. Devanathan Rastriya Sanskrit Vidyapith, Tirupati , India	- Visistadvaita Theory of Inference

Mani Dravid Madras Sanskrit College Chennai, India	- Nature of Anumana and Arthapatti according to Advaita Vedanta

Dwijesh Dutta Mazumder Professor Emeritus Indian Statistical Institute Kolkata, India	- Phase of Indian Logic System and Technology

Jonardan Ganeri Department of Philosophy University of Liverpool, UK	- Realism in Vaisesika and Navya-Nyaya

Aditya Ghosh School of Information Technology & Computer Science University of Wollongong, Australia	- On Merging of Beliefs

Lluis Godo Barcelona, Spain	- On Fuzzy Logics

Eberhard Guhe University Of Mainz, Germany	- George Bealer’s Propery Theories and their Relevance to the Study of Navya-Nyaya

Wilfrid Hodges Queen Mary University of London, UK	- Domain Independent Formulas

Gangadhar Kar Jadavpur University, India	- Navyanyayanaye Paryaptih

Michiel Van Lambalgen Amsterdam, Netherlands	- Logic in the study of Psychiatric Disorders:Executive function, Autism and ADHD

Kamal Lodaya Institute of Mathematical Sciences Chennai, India	- Separation Logics

Benedikt Loewe Institute of Logic, Language and Computation, Amsterdam, Netherlands	- Dependency Graphs and Truth Semantics

Pradyot Kumar Mukhopadhyay Formerly Professor of Philosophy Jadavpur University, India	– Language and Inference : Different Perspectives

Piero Pagliani Reasearch Group on Knowledge and Communication Models Rome, Italy Systems	- Classical Principles in Non-Classical Frame- works: Logico-Philosophical Motivation and Application to Partial Information

Biswambhar Pahi Formerly Professor of Philosophy Rajasthan University, India	- On Relating Two Traditions of Logic

Eric Paucit Institute of Logic, Language and Computation Amsterdam, Netherlands	- A Logic Of Knowledge and Action for social Software

Prahlada Char Rashtriya Samskrta Vidyapitha, Tirupati, India	- Theory of Inference in Dvaita Vedanta

Graham Priest University of Melbourne, Australia	- Jaina Logic: A Contemporary Perspective

R. Ramanujam Institute of Mathematical Sciences Chennai, India	- From Logics of Games to Logics of Strategies

Chakravarthy Ram-Prasad Lancaster University UK	- The Paradox of Confirmation

Sundar Sarukkai National Institute of Advanced Studies Bangalore, India	- Indian Logic. Semiotics and modern Science

Tushar Kanti sarkar Formerly Professor of Philosophy Jadavpur University, India	- Existence Proof in Jaina Logic from Contemporary Perspective

Prabal Kumar Sen University of Calcutta, India	- Samkhya Theory of Inference

Jayshankar Lal Shaw Victoria University of Wellington New Zealand	- The Nyaya on Inference and Fallacies

Baliram Shukla Pune University, Pune, India	- Sabdabodha

Rajaram Shukla Sampurnanand Samskrta Visva -Vidyalaya Banaras, India	- Technique of Anugama and its Application

Mark Siderits Illinois State University, USA.	- Universals and Double Negation

Gem E Stapleton University of Brighton, UK	- Diagrammatic Logics: Past, present and Future

Heeramon Tiwari Jawahrlal Nehru University New Delhi, India	- To be announced later

Srinivasa Varakhedi Rastriya Sanskrit Vidyapith, Tirupati, India	- Nature of Tarka in Nyaya and Dvaita Vedanta

John Vattanky De-Nobili College, Pune, India	- Integral Humanism of Nyaya

Philip Welch University of Bristol, UK	- Games and Abstract Inductive Definitions

Amarnath Bhattacharya Burdwan University, India	- Mahavidya Anumana in Advaita Vedanta

List of speakers presenting papers

Amit Sen – A note on semantic definition of presupposition
Ktwa College, Kolkata

Jaehyung Yi – Bhatrihari Negation of Causality
Hirosima University, Japan

T.Watanabe – Dignaga View on the Liar Paradox
Tsukuba, Japan

Arbind Jha – Nyaya System of Logic: epistemological and pedagogical implications in
education.
ABS College of Eduction, Rewari, India

Daniel Raveh – Anvaya-vyatireka in Patanjali’s Yogasutra
Tel Aviv University, Israel

Payal Doctor – Tatparya and Paraphrase
University of Liverpool, UK

Shiniya Moriyama – What do we perceive directly? Sense data, akara and svalksana
University of Vienna, Austria

H. Kobayashi – Problems of Other Minds in Buddhist Epistemology
Hiroshima University, Japan

Hideyo Ogawa – Kaundabhatta on the sakyatavaccahedeka of a meaning of verb endings
Hiroshima University, Japan

G. S. Mahalaxmi – Navya Nyaya Approach to Defect Exploration in Argument Gaming
for Knowledge Sharing
Anna University, Chennai, India

Sadhan Chakraborti – Empathic Reasoning
Jadavpur University, Kolkata

Anirban Sengupta – An approach to Enterprise Security Modeling using Modal Logic
Jadavpur University, Kolkata

Saswati Sadhu – Hintikka’s consistency axioms of knowledge and the notion of
consequence in s4
Kolkata

Jayanta Sen – Affine CL- algebra
Haldia Government College, W.B.

Stefan Bold – Measure analysis and its consequences under the axiom of Determinacy
ILLC, Amsterdam

Sanjukta Basu – A Proposal for a Theory of Applicability of Truth Predicate in the Context of Vagueness
Rabindra Bharati University, Kolkata

Md. Aquil Khan – A Temporal Logic for the Rough Set Theory
IIT, Kanpur

Bijoy Mukherjee – Interpreting Quantum Logic
Visva Bharati , W.B.

Madhumita Chatterjee – Lier Paradox from the perspective of Indian Logic
Jadavpur University, Kolkata

Jelle Gerbrandy – To be announced
University of Amsterdam, Netherlands

Debaprasad Banerjee – WOR(L)D-SPACES
Indian Statistical Institute, Kolkata

Program schedule

Time

03.01.07

Time

04.01.07

05.01.07

06.01.07

07.01.07

10 a.m. - 12 noon

Inauguration
Key-note Address - J.N. Mohanty

10:00 a.m. - 10.40 a.m.

10:40 a.m. - 10.55. a.m.

10:55 a.m. - 11:35 a.m.

11:35 a.m. - 12:15 p.m.

J.N. Crossley

Tea/Coffee Break.

D.D. Majumdar

A. Chakraborti

W. Hodges

Tea/Coffee Break.

J. Ganeri

J. van Benthem

G. Priest

Tea/Coffee Break."

A. Chatterjee

S. Sarukkai

R. Raman-ujam	G. Kar
Tea/Coffee Break.
A. Ghose	V.N. Pand urangi
M. van Lambalgen

12 noon - 12:30 p.m.

Tea/Coffee Break

12:15 p.m. - 12:30 p.m.

Tea/Coffee Break

Tea/Coffee
Break

12:30 p.m. - 1:15 p.m

C. Ramprasad
(Matilal lecture)

12:30 p.m. - 1:10 p.m.

E. Pacuit

M. Dravid

A. Dawar

E. Guhe

T. Sarkar

J. Vattanky

A.
Bhatta-
Charya

V.M.
Abr-
usci

1:15 p.m. - 2:15 p.m.

Lunch

1:10 p.m. - 2:20 p.m.

Lunch

2:15 p.m. - 3:00 p.m

H. Tiwari
(Matilal lecture)

2:20 p.m. - 3:00 p.m.

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

J.L. Shaw

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

B. Shukla

3:00 p.m. - 3:15 p.m.

Tea/Coffee Break

3:00 p.m. - 3:15 p.m.

Tea/Coffee Break

3:15 p.m. - 3:55 p.m.

K. Lodaya

Prahla
dachar

3:15 p.m. - 3:55 p.m.

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

P. Pagliani

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

R. Shukla

3:55 p.m. - 4:35 p.m.

G. Staple
ton

M. Siderits

3:55 p.m. - 4:35 p.m.

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

B. Löwe

PAPER READING (Modern Logic)

PAPER READING (Indian Logic)

S. Varakhedi

4:35 p.m. -4:50 p.m.

Tea/Coffee Break

4:35 p.m. - 4:50 p.m.

Tea/Coffee Break

4:50 p.m. - 5:30 p.m.

S. Chakra
- borty

P.K.
Mukho- padhyay

4:50 p.m. - 5:30 p.m.

B. Pahi

P. Welch

K. E.
Deva-
nathan

L.
Godo

S.
Chakra
borty

Detail of Paper Reading Sessions

Time

04.01.07		06.01.07
Modern Logic	Indian Logic	Modern Logic	Indian Logic

2:20 p.m. - 2:40 p.m.

S. Bold

P. Doctor

Md. A. Khan

P.Sen

2:40 p.m. - 3:00 p.m.

A. Sengupta

T.K. Watanabe

J. Sen

G.S. Mahalaksmi

3:15 p.m. - 3:35 p.m.

S. Sadhu

P. Bilimoria

A.Sen

H. Ogawa

3:35 p.m. - 3:55 p.m.

B. Mukherjee

D. Raveh

S.Chakraborty

A. Jha

3:55 p.m. - 4:15 p.m.

Jelle Gerbrandy

S. Moriyama

D. Bandyapadhya

M. Chatterjee

4:15 p.m. - 4:35 p.m.

S. Basu

H. Kobayashi

J. Yi

Venue

H.L.Roy Auditorium, Jadavpur University

Venue of the Inaugural Programme

Jan 3rd, 2007 10am
Meghnad Saha Auditorium
Central Glass and Ceramic Research Institute
196, Raja S.C. Mallick Road
P.O. Jadavpur University
Kolkata 700032