Inferentialism and quantification

DOI10.1215/00294527-3768059zbMATH Open1417.03213OpenAlexW2552670228MaRDI QIDQ509608FDOQ509608

Authors: Owen Griffiths 

Publication date: 17 February 2017

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1215/00294527-3768059

Recommendations

• Meaning as an inferential role
• \textit{Solvitur ambulando}. Meaning-constitutive principles and the inscrutability of inference
• Is inferentialism circular?
• Harmonic inferentialism and the logic of identity
• Inferentialism and the categoricity problem: reply to Raatikainen

zbMATH Keywords

proof theoryquantifiersinferentialismlogical consequencelogical constants

Mathematics Subject Classification ID

Logic of natural languages (03B65) Classical first-order logic (03B10) Mechanization of proofs and logical operations (03B35)

Cited In (6)

• Title not available (Why is that?)
• \textit{Solvitur ambulando}. Meaning-constitutive principles and the inscrutability of inference
• Against logical inferentialism. Stipulation, rules and the mushroom omelette objection
• WHAT IS A RULE OF INFERENCE?
• Is inferentialism circular?
• Inferentialism and the categoricity problem: reply to Raatikainen

This page was built for publication: Inferentialism and quantification

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q509608)