Some Remarks on Assertion and Proof

Journal of Applied Logics 8 (21):321-328 (2021)
  Copy   BIBTEX

Abstract

In our introduction we make some remarks on the main topics of this issue: assertion and proof. We briefly describe how each of the papers in the present publication has contributed from either different or complementary perspectives to the logical reflection on assertion and proof, while also specifying the relation between them.

Categories

Keywords

Reprint years

Links

PhilArchive

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Assertion-level Proof Representation with Under-Specification.Serge Autexier, Christoph Benzmüller, Armin Fiedler, Helmut Horacek & Bao Quoc Vo - 2004 - Electronic Notes in Theoretical Computer Science 93:5-23.
Assertion and grounding: a theory of assertion for constructive type theory.Maria van der Schaar - 2011 - Synthese 183 (2):187-210.
Assertion and grounding: a theory of assertion for constructive type theory.Maria Schaar - 2011 - Synthese 183 (2):187-210.
Truth from a Proof-Theoretic Perspective.Luca Tranchini - 2012 - Topoi 31 (1):47-57.
Assertion: A Defective Theoretical Category.Herman Cappelen - 2020 - In Goldberg Sanford (ed.), Oxford Handbook on Assertion. Oxford University Press.
Some Thoughts on the JK-Rule1.Martin Smith - 2012 - Noûs 46 (4):791-802.
The point of assertion is to transmit knowledge.John Turri - 2016 - Analysis 76 (2):130-136.
Granularity Analysis for Mathematical Proofs.Marvin R. G. Schiller - 2013 - Topics in Cognitive Science 5 (2):251-269.
Reprint of: A more general general proof theory.Heinrich Wansing - 2017 - Journal of Applied Logic 25:23-46.
Local reflection, definable elements and 1-provability.Evgeny Kolmakov - 2020 - Archive for Mathematical Logic 59 (7-8):979-996.
The Early Wittgenstein on Logical Assertion.Ian Proops - 1997 - Philosophical Topics 25 (2):121-144.
The Logical Burdens of Proof. Assertion and Hypothesis.Daniele Chiffi & Fabien Schang - 2017 - Logic and Logical Philosophy 26 (4):1-22.
In defense of assertion.Brian Montgomery - 2014 - Philosophical Studies 171 (2):313-326.
Conditionals in Interaction.James Trafford - 2017 - Studia Humana 6 (1):39-49.
The Seeming Interdependence Between the Concepts of Valid Inference and Proof.Dag Prawitz - 2019 - Topoi 38 (3):493-503.

Analytics

Added to PP
2021-02-28

Downloads
125 (#144,392)

6 months
34 (#101,987)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Massimiliano Carrara
University of Padua

Citations of this work

No citations found.

Add more citations

References found in this work

The Principles of Mathematics.Bertrand Russell - 1903 - Cambridge, England: Allen & Unwin.
In contradiction: a study of the transconsistent.Graham Priest - 1987 - New York: Oxford University Press.
Elements of symbolic logic.Hans Reichenbach - 1947 - London: Dover Publications.
The Principles of Mathematics.Bertrand Russell - 1903 - Revue de Métaphysique et de Morale 11 (4):11-12.

View all 14 references / Add more references