Assertion and Proof
The notion of assertion plays a key inferential role and has a long tradition in logic. It is a key ingredient in most logical systems, either implicitly or explicitly.
The idea of assertion thus appears strongly invariant across a range of logical theories, logical methods, and logical notations such as Frege’s Begriffsschrift, Heyting’s formalization of intuitionistic logic or Charles S. Peirce’s Existential Graphs just to mention some examples.
Aim of the workshop is to bring together scholars interested in the analysis of the logical notion of assertion and other related notions such as inference, proof, meaning of logical constants that may receive an assertion-based interpretation.
Suggestions for topics (non-exhaustive list):
– Logical systems for assertion
– Constructivism and assertion
– Assertion and denial
– Justification of inference
– Problem of un-asserted contexts and expressivism
– Logical aspects of assertion and negation
– Illocutionary and pragmatic logics for assertions and other speech acts
– Diagrammatic systems and assertion (e.g., existential graphs, assertive graphs, etc.)
– Assertion and content (propositional contents, assertion candidates, etc.)
– Assertion, knowledge, and ignorance
– Assertion and contexts
– Assertion-based meaning of logical constants
– Assertion and (formal) argumentation
– Assertion and grounding
– History and philosophy of the logical notion of assertion
A Satellite event to WAP 2019 is the workshop "Peirce on Assertion".