posted by organizer: UNILOG_Peirce || 580 views || tracked by 1 users: [display]

Around Peirce 2018 : Workshop AROUND PEIRCE at UNILOG'2018


When Jun 21, 2018 - Jun 26, 2018
Where Vichy, France
Submission Deadline Oct 5, 2017
Categories    peirce   logic

Call For Papers

Peirce’s 2014 Centennial Congress suggested many ways for “invigorating philosophy for the 21st century.” One may expect Charles S. Peirce’s findings to invigorate logic in particular. Not only did Peirce improve Boole’s algebra, develop a logic of relatives and invent logical quantification, but he drew a whole system of diagrammatic reasoning which may not have born all its fruit yet. He also developed new prospects on informal logic and the theories of induction and abduction. While his inspiration roots in Boole, De Morgan or Schröder, his writings were very influential on Skolem, Hintikka or Polish logic among many, and will probably be on the future of logic.

Related Resources

FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
TIME 2018   TIME 2018 first call for papers
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
LearnAut 2018   [deadline extension] Learning and Automata (LearnAut) -- FLoC 2018 Workshop
LOGLEG 2018   Logic, Law and Legal Reasoning
DL 2018   31st International Workshop on Description Logics