மாற்றுச் செவ்வியல் அளவையியல்
மாற்றுச் செவ்வியல் அளவையியல்கள் (Non-classical logics) (சிலவேளைகளில் மாற்று அளவையியல் (Alternate logics) ) என்பவை செவ்வியல் அள்வையியலுக்கு மாற்றாக அமையும் குறியீட்டு அளவையியல் முறைகளாகும். இவற்றில் முற்கூற்று அளவையியலும் பயனிலை அளவையியலும் அடங்கும். இவற்றை விரிவாக்கல், விலகுதல், வேறுபடுதல் போன்ற பலவழிகளில் உருவாக்கலம். இந்த மாற்றுவழிகளின் நோக்கம் அளவையியல் விளைவுசார் மாற்றுப் படிமங்களை உருவாக்கி மாற்று அளவையியல் உண்மைகளைக் கண்டறிதல் ஆகும்.[1]
மேற்கோள்கள்
[தொகு]- ↑ Logic for philosophy, Theodore Sider
மேலும் படிக்க
[தொகு]- Graham Priest (2008). An introduction to non-classical logic: from if to is (2nd ed.). Cambridge University Press. ISBN 978-0-521-85433-7.
- Dov M. Gabbay (1998). Elementary logics: a procedural perspective. Prentice Hall Europe. ISBN 978-0-13-726365-3. A revised version was published as D. M. Gabbay (2007). Logic for Artificial Intelligence and Information Technology. College Publications. ISBN 978-1-904987-39-0.
- John P. Burgess (2009). Philosophical logic. Princeton University Press. ISBN 978-0-691-13789-6. Brief introduction to non-classical logics, with a primer on the classical one.
- Lou Goble, ed. (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. ISBN 978-0-631-20693-4. Chapters 7-16 cover the main non-classical logics of broad interest today.
- Lloyd Humberstone (2011). The Connectives. MIT Press. ISBN 978-0-262-01654-4. Probably covers more logics than any of the other titles in this section; a large part of this 1500-page monograph is cross-sectional, comparing—as its title implies—the logical connectives in various logics; decidability and complexity aspects are generally omitted though.