மாற்றுச் செவ்வியல் அளவையியல்
மாற்றுச் செவ்வியல் அளவையியல்கள் (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 ). Cambridge University Press. பன்னாட்டுத் தரப்புத்தக எண்:978-0-521-85433-7.
- Dov M. Gabbay (1998). Elementary logics: a procedural perspective. Prentice Hall Europe. பன்னாட்டுத் தரப்புத்தக எண்:978-0-13-726365-3. A revised version was published as D. M. Gabbay (2007). Logic for Artificial Intelligence and Information Technology. College Publications. பன்னாட்டுத் தரப்புத்தக எண்:978-1-904987-39-0.
- John P. Burgess (2009). Philosophical logic. Princeton University Press. பன்னாட்டுத் தரப்புத்தக எண்:978-0-691-13789-6. https://archive.org/details/philosophicallog0000burg. Brief introduction to non-classical logics, with a primer on the classical one.
- Lou Goble, தொகுப்பாசிரியர் (2001). The Blackwell guide to philosophical logic. Wiley-Blackwell. பன்னாட்டுத் தரப்புத்தக எண்:978-0-631-20693-4. https://archive.org/details/blackwellguideto0000unse_q4c2. Chapters 7-16 cover the main non-classical logics of broad interest today.
- Lloyd Humberstone (2011). The Connectives. MIT Press. பன்னாட்டுத் தரப்புத்தக எண்: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.