Highly Influenced

# Proof theory in the abstract

@article{Hyland2002ProofTI, title={Proof theory in the abstract}, author={Martin Hyland}, journal={Ann. Pure Appl. Logic}, year={2002}, volume={114}, pages={43-78} }

- Published 2002 in Ann. Pure Appl. Logic
DOI:10.1016/S0168-0072(01)00075-6

We are left in no doubt that proof theory as currently practised is essentially syntactic in nature. Indeed proof theory has been the poor relation of logic, at least partly for this very reason. So the reference to semantic motivation is tantalising and should give one pause. Reflecting on the notion of semantic motivation, one might crudely distinguish between philosophical and mathematical motivation. In the first case one tries to convince with a telling conceptual story; in the second oneâ€¦Â CONTINUE READING

#### From This Paper

##### Figures, tables, results, connections, and topics extracted from this paper.

39 Extracted Citations

44 Extracted References

Similar Papers

#### Referenced Papers

##### Publications referenced by this paper.

Showing 1-10 of 44 references

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential

Highly Influential