Hi Student,
sorry I took so long replying to your question (two years)! I must have missed it.
I just want to inform you that in my new book, A Fortiori Logic, published in late 2013, in Appendix 7, you will find further critiques of Modern Logic, including new analyses of symbolization and axiomatization, existential import, the tetralemma, the Liar paradox and the Russell paradox.
Hi Mike - I would express the relation "X is bigger than Y" as "X is bigger than Y"! There is no question of changing this into an Aristotelian proposition "X is [bigger than Y]" - this is not the point. This proposition "X is bigger than Y" is treated by ordinary language logic exactly as it stands, or even as "X > Y". The only difference is that we should not engage in pretentious claims that symbolizing it in accord with the conventions of modern logic somehow magically makes it something special, more profound, like some sort of incantation. Behind symbols are always ordinary language. Thus, the claim that modern logic brings something new to logic that classical logic cannot handle is just so much hype.
