Logics and Metalogics

June 21, 2018 - June 26, 2018
Université Clermont Auvergne LIMOS, CNRS

Vichy Allier France 03200 Campus Albert Londres
Vichy 03200
France

View the Call For Papers

Keynote speakers:

Soma Dutta
Vistula University, Warsaw, Poland
Soma Dutta
Vistula University, Warsaw, Poland

Organisers:

Mihir K. Chakraborty
Jadavpur University, Kolkata, India
Mihir K. Chakraborty
Jadavpur University, Kolkata, India

Topic areas

Talks at this conference

Add a talk

Details

The focus of the workshop lies in emphasizing the fact that in the study of logics, there always takes place an interplay between items belonging to object level, meta-level and metameta-level. Making a clear distinction of levels is crucial in logics, particularly in those systems where non-classical views are incorporated in the object language by denying bi-valence and/or denying some classical laws of reasoning. Many-valued logics, fuzzy logics , theory of graded consequence, Similarity based reasoning are a few to name. We shall base greatly on the prescription proposed by Alonzo Church in his book Introduction to Mathematical Logic, vol.1. Princeton University Press, N.J., 1956.

One of our attempts would be to draw attention to the fact that logic-studies do not usually pay due attention in distinguishing levels, due to which there do arise misconceptions, and even mistakes. Carnap's remark after Tarski's lecture at Vienna Circle meeting in the year 1930 may be recalled: "Of special interest to me was his emphasis that certain concepts used in logical investigations e.g., consistency of axioms, the provability of theorems in a deductive system, and the like are to be expressed not in the language of the axioms (later called the object language), but in metamathematical language (later called meta-language)."

However, in recent times this issue is being raised by some researchers, and in some cases, though it has not been explicitly mentioned, researchers introduced different languages for different levels of a logic discourse.

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

Yes

November 18, 2017, 11:45pm CET

External Site

Who is attending?

No one has said they will attend yet.

Will you attend this event?


Let us know so we can notify you of any change of plan.

RSVPing on PhilEvents is not sufficient to register for this event.

This event has been submitted and is maintained by:

(unaffiliated)

You should login and contact this user if you believe the information on this page needs updating.

If you judge that this event entry is inappropriate, please login and report it.