Tonk, Syntax, Semantics, Pragmatics
In 1960, A. N. Prior proposed a binary sentential functor defined by inferential rule (introduction) A ⊢ A tonk B, and (elimination) A tonk B ⊢ A. Later, this idea was discussed by several authors, including in the context of the question of whether the ab ove rule defines this functor in a sufficie...
Saved in:
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2024-12-01
|
| Series: | Studies in Logic, Grammar and Rhetoric |
| Subjects: | |
| Online Access: | https://doi.org/10.2478/slgr-2024-0018 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1832593644266192896 |
|---|---|
| author | Woleński Jan |
| author_facet | Woleński Jan |
| author_sort | Woleński Jan |
| collection | DOAJ |
| description | In 1960, A. N. Prior proposed a binary sentential functor defined by inferential rule (introduction) A ⊢ A tonk B, and (elimination) A tonk B ⊢ A. Later, this idea was discussed by several authors, including in the context of the question of whether the ab ove rule defines this functor in a sufficient manner. This paper shows that if we assume the standard matrix (truth-tables) characterization of classical sentential functors, no valuation agrees with rules generating the sense of tonk. Moreover, these inferential prescriptions are at odds with the principle that if premises are true, the conclusion has to be such as well. A new solution is proposed. It consists in considering tonk-rules via so-called rejection consequence operation, that is, a dual with respect to the standard Cn. The general moral stemming from the proposed analysis says that inferentialism, the view that inference rules are purely syntactical, is dubious, because logic has its basis also in semantic presuppositions as well as in pragmatic ones. |
| format | Article |
| id | doaj-art-cbf4ac1cb8504484a65938f5f5b59c27 |
| institution | Kabale University |
| issn | 2199-6059 |
| language | English |
| publishDate | 2024-12-01 |
| publisher | Sciendo |
| record_format | Article |
| series | Studies in Logic, Grammar and Rhetoric |
| spelling | doaj-art-cbf4ac1cb8504484a65938f5f5b59c272025-01-20T11:10:12ZengSciendoStudies in Logic, Grammar and Rhetoric2199-60592024-12-0169125926610.2478/slgr-2024-0018Tonk, Syntax, Semantics, PragmaticsWoleński Jan0University of Information, Technology and Management, Rzeszów, PolandIn 1960, A. N. Prior proposed a binary sentential functor defined by inferential rule (introduction) A ⊢ A tonk B, and (elimination) A tonk B ⊢ A. Later, this idea was discussed by several authors, including in the context of the question of whether the ab ove rule defines this functor in a sufficient manner. This paper shows that if we assume the standard matrix (truth-tables) characterization of classical sentential functors, no valuation agrees with rules generating the sense of tonk. Moreover, these inferential prescriptions are at odds with the principle that if premises are true, the conclusion has to be such as well. A new solution is proposed. It consists in considering tonk-rules via so-called rejection consequence operation, that is, a dual with respect to the standard Cn. The general moral stemming from the proposed analysis says that inferentialism, the view that inference rules are purely syntactical, is dubious, because logic has its basis also in semantic presuppositions as well as in pragmatic ones.https://doi.org/10.2478/slgr-2024-0018sentential logicmatricesvaluationconsequenceinferentialism |
| spellingShingle | Woleński Jan Tonk, Syntax, Semantics, Pragmatics Studies in Logic, Grammar and Rhetoric sentential logic matrices valuation consequence inferentialism |
| title | Tonk, Syntax, Semantics, Pragmatics |
| title_full | Tonk, Syntax, Semantics, Pragmatics |
| title_fullStr | Tonk, Syntax, Semantics, Pragmatics |
| title_full_unstemmed | Tonk, Syntax, Semantics, Pragmatics |
| title_short | Tonk, Syntax, Semantics, Pragmatics |
| title_sort | tonk syntax semantics pragmatics |
| topic | sentential logic matrices valuation consequence inferentialism |
| url | https://doi.org/10.2478/slgr-2024-0018 |
| work_keys_str_mv | AT wolenskijan tonksyntaxsemanticspragmatics |