Workshop on Logical Correctness (WoLC)

June 21, 2018 - June 26, 2018
Pôle Universitaire de Vichy

1 Avenue des Célestins
Vichy 03200
France

This will be an accessible event, including organized related activities

Sponsor(s):

  • Limos
  • Université Clermont Auvergne
  • CNRS
  • SMF

Speakers:

Ole Hjortland
University of Bergen

Organisers:

Fabien Schang
Universidade Estadual de Maringá
James Trafford
University for the Creative Arts, Epsom

Topic areas

Talks at this conference

Add a talk

Details

Workshop: Logical Correctness 

http://www.uni-log.org/start6.html

 

James TRAFFORD (UCA Epsom, UK)

Fabien SCHANG (Universidade Estadual de Maringá, Brazil)

Keynote speaker: Ole HJORTLAND (University of Bergen, Norway)

Typically, logical correctness is taken to concern whether or not an argument or proof follows a logical path from premises to conclusions. In recent years, however, such a view has been complicated by the proliferation of logics, approaches to logic, and uses of logic. In this workshop, we intend to discuss the philosophical and logical consequences of these changes with regard to how, or if, there is any sort of criteria by which a logical structure could be deemed correct, and whether or not those criteria are context-relevant in some specifiable manner. 

In a broader sense of the word, correctness can also be understood in at least three different senses: 

·      meta-logical: a logical system or calculus is correct iff all provable statements in it are true (Related word: soundness.) 

·       logical:  a statement is correct iff it refers to an implicitly or explicitly rule system. (Related word: accuracy) 

·       moral: an action is correct iff it obeys given norms of behavior. (Related word: political correctness) 

There seems to be connections between all these three readings of correctness, to be centered around the criterion of a norm. But, while in the metalogical concept of correctness-as-soundness truth is something that is attributed or denied to sentences, with the logical concept of correctness-as-accuracy it deals with actions (also verbal actings) and allows gradations. As to the moral correctness, it refers to social norms and departs from the criterion of truth. A special emphasis is to be made on Dummett’s inferentialist explication of the concept “Boche”, in this respect: does such a logical explanation succeed in affording the meaning of such non-logical concepts?

We invite abstracts for papers dealing with any of the below topics (though not necessarily limited to them):

·      Anti-exceptionalism about logic       

·       A priorism about logic 

·       Logical foundationalism 

·       The connection between logic and reasoning 

·       Logic and argumentation 

·       Different uses for logic (argument / computer science / scientific reasoning etc.)

·       Contextual logics 

·       Logical pluralism 

·       Political correctness (semantics of slurs / norms of language and common decency)

Please send your abstracts to the following address: [email protected]

96 Normal 0 21 false false false FR X-NONE X-NONE/* Style Definitions */ table.MsoNormalTable {mso-style-name:"Tableau Normal"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-priority:99; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:12.0pt; font-family:Calibri; mso-ascii-font-family:Calibri; mso-ascii-theme-font:minor-latin; mso-hansi-font-family:Calibri; mso-hansi-theme-font:minor-latin; mso-fareast-language:EN-US;}

Deadline: 15th September 2017

Supporting material

Add supporting material (slides, programs, etc.)

Reminders

Registration

No

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.