Logic—The Big Picture

Brady, Ross T.

doi:10.1007/978-81-322-2719-9_17

Search citation statements

Order By: Relevance

Paper Sections

Select...

The Central Role Of Meaning In Logic1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2017

2021

Publication Types

Select...

Article2

Relationship

Self Cite0

Independent2

Authors

Journals

Cited by 2 publications

(1 citation statement)

References 15 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We start with the roles of meaning in logic and subsequently truth in logic, though much has been said about this in Brady's earlier works. (See Brady [8], as a starting point.) Our brief account just serves to clarify some points in the area, in preparation for a critique of Meyer's approach to arithmetic.…”

Section: The Central Role Of Meaning In Logicmentioning

confidence: 99%

Arithmetic Formulated in a Logic of Meaning Containment

Brady¹

2021

AJL

View full text Add to dashboard Cite

We assess Meyer’s formalization of arithmetic in his [21], based on the strong relevant logic R and compare this with arithmetic based on a suitable logic of meaning containment, which was developed in Brady [7]. We argue in favour of the latter as it better captures the key logical concepts of meaning and truth in arithmetic. We also contrast the two approaches to classical recapture, again favouring our approach in [7]. We then consider our previous development of Peano arithmetic including primitive recursive functions, finally extending this work to that of general recursion.

show abstract

Section: The Central Role Of Meaning In Logicmentioning

confidence: 99%