Logic for Mathematicians

By H. Piaggio. 1954

Subfields: Philosophy

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

In Philosophy

1. Murray Shanahan
2. Antonia Creswell

Citations in the corpus

• Faithful Reasoning Using Large Language Models (2022, methodology): “In this Section, we formally define the concept of valid forward reasoning in the context of our framework, adhering closely to textbook defini-tions from formal logic (e.g. Hamilton (1988)).”