hegelpd

hegelpd

Classical german philosophy. University of Padova research group

Call for papers: “Philosophy of Non-Classical Logics: Toward problems of paraconsistency & paracompleteness” (Istanbul, 25-30 Jun, 2015)

We are pleased to announce the opening of a call for papers for the workshop Philosophy of Non-Classical Logics: Toward problems of paraconsistency & paracompleteness that will take place in Istanbul, on June 25th-30th, 2015.

The workshop is organized by Marcos Silva (Federal University of Ceará, Fortaleza, Brazil) and Ingolf Max (University of Leipzig, Germany).

The keynote speaker will be Graham Priest (CUNY).

Here the text of the call:

There is an ongoing philosophical and logical debate about motivations in accepting or rejecting the principle (law) of (non)contradiction and the principle (law) of excluded middle. A logic rejecting the principle of non-contradiction is called paraconsistent and a logic rejecting the principle of excluded middle is called paracomplete. If both principles are duals of each other we have some reason to reject both principles and get paranormal systems. But what does it really mean to reject a classical principle (law)? And what are the philosophical consequences for this refusal? In which sense would it still be possible to defend nowadays that there is just one true logic, if we have such a great diversity of logics?

Among the famous logical systems which are paraconsistent but not paracomplete are, for instance, the da Costa systems. Intuitionist logics are paracomplete but not paraconsistent. And a lot of systems of relevant logic are paraconsistent as well as paracomplete. To evaluate these systems’ philosophical relevance, we have to inter alia examine the logical form of their atomic formulas, the logical behavior of their negation, conjunction and disjunction as well as the properties of logical consequence relations. From a philosophical point of view it is very important to understand which elements are responsible for such deviations from classical logic. E.g., do we have only local reasons? In the case of Jaśkowski’s version of paraconsistent logic we have to change the conjunction. In the da Costa systems mainly negation is under attack. Or do we have global reasons like in systems of first degree entailments? (Belnap, Dunn, Priest). What is the position of paracomplete, intuitionist approaches (Brouwer, Heyting and their followers)?

This workshop shall represent a privileged platform to evaluate proposals for a more integrated and general approach to philosophical motivations and consequences in the emergence of non-classical logics.

Topics may include:

·  logical monism & logical pluralism;

·  philosophical motivations for creating non-classical logics (dialethism, anti-realism, relevantism etc.);

·  local vs. global and formal vs. application-oriented reasons for paraconsistency and/or paracompleteness;

·  non-explosiveness of logical consequence;

·  trivialization strategies and classical logic;

·  philosophy of contradiction and inconsistency (Hegel, Wittgenstein, Meinong, Heraclites, Indian Philosophy etc.);

·  philosophy of constructivism (Poincaré, Brouwer, Heyting, Kolmogorov, Wittgenstein, Lorenzen, Dummett, Prawitz etc.);

·  philosophical relations between paraconsistency and paracompleteness.

Abstracts (500 words maximum) should be sent via e-mail before November 15th 2014 to: istanbul2015philosophyncl@gmail.com 

Notification of acceptance: December 1st 2014.

Intended day for our workshop: June 27th, 2015.

Please, see the links below for further information:

http://permalink.gmane.org/gmane.science.philosophy.region.europe/11551

Contents licensed by CC BY-NC-ND. Your are free to share, copy and redistribute the material in any medium or format, under the following terms:

  • Attribution - You must give appropriate credit, provide a link to the license, and indicate if changes were made. You may do so in any reasonable manner, but not in any way that suggests the licensor endorses you or your use.
  • NonCommercial - You may not use the material for commercial purposes.
  • NoDerivatives - If you remix, transform, or build upon the material, you may not distribute the modified material.

The licensor cannot revoke these freedoms as long as you follow the license terms.

Article's url: http://www.hegelpd.it/hegel/call-for-papers-philosophy-of-non-classical-logics-istanbul-25-30-jun-2015/