"Language, Proof and Logic": AnaCon Focus

This video covers the concept and Fitch mechanism, AnaCon. AnaCon is understood and used in several ways: • It is the concept of an analytical consequence; • It is, more broadly, the concept of validity; • It is the mechanism in Fitch for testing validity; and • It is the justification in Fitch for logical consequence, either in lieu of, or absent a justificatory rule.