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

Around Peirce 2018 : Workshop AROUND PEIRCE at UNILOG'2018

FacebookTwitterLinkedInGoogle

Link: https://www.uni-log.org/start6.html
 
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
LOGIC&MUSIC 2018   LOGIC AND MUSIC - UNILOG'2018
MFCS 2018   Mathematical Foundations of Computer Science
TIME 2018   TIME 2018 first call for papers
GandALF 2018   International Symposium on Games, Automata, Logics, and Formal Verification
LOGLEG 2018   Logic, Law and Legal Reasoning
RP 2018   Reachability Problems
LaSh 2018   LaSh 2018 Workshop on Logic and Search
DL 2018   31st International Workshop on Description Logics