Stevenson's analysis of Problem of Tonk

Based on inferential approach towards meaningfulness, the meaning of logical constants (ꓥ¡ ¡ …) can be obtained through the laws of introduction and omission. Giving the counter example of Tonk, Arthur Pryor proves that mere laws of introduction and omission do not necessarily introduce a logical constant. Confirming Arthur's position, Stevenson regards his counter example as the main problem of inferential approach towards meaningfulness. According to him, model theory approach towards meaningfulness is not faced with such a problem. This is because in model theory value table does not allow flawed logical constants to find their way into the logical system. The present study assesses the features of the value table that has given it such strength. The result obtained tells the value table of classical logic has two features that consist of being bi-valued (true or false) and the fact that it adheres to truth. These two features can however be procured in inferential approach.