کتاب منطق در زبان‏‌شناسى اثر کوروش صفوی، انتشارات سوره مهر

این کتاب، درسنامه‌ای است برای آموزش منطق جدید به دانشجویان فارسی زبان رشته زبان‌شناسی که براساس کتاب منطق در زبان‌شناسی / آلوود و دیگران تدوین شده است. فصل نخست این کتاب به معرفی اجمالی نظریه مجموعه‌ها و روابطی اختصاص یافته کهدر این نظریه مطرح می‌شوند .در فصل دوم، به مسئله استنتاج و تحلیل منطقی جمله‌ها اشاره شده است .تا مشخص گردد آنچه در منطق استنتاج نامیده می‌شود، چیست و تحلیل منطقی کدام است .در فصل‌های سوم و چهارم به دو سطح اصلی تحلیل منطقی، یعنی سطح جمله و سطح واحدهای تشکیل دهنده جمله توجه شده است که به ترتیب دوگونه منطق جمله‌ها و منطق محمول‌ها را دربر می‌گیرد .فصل پنجم به معرفی استنتاج و نظام استنتاجی اختصاص یافته و سومین سطح تحلیل منطقی که منطق موجهات را پدید می‌آورد، در فصل ششم معرفی شده است .توجه به مفهوم در کنار مصداق در مطالبات چند دهه اخیر، به پیدایش رهیافت جدیدی در منطقه انجامیده است که منطق مفهومی نام دارد .مباحث فصل هفتم مربوط به همین موضوع است .فصل هشتم بخشی است درباره این که منطق محمول‌های مرتبه دوم، شکل گسترش یافته‌ای از منطق محمول‌های مرتبه اول است و این امکان را پدید می‌آورد تا به مسائلی نظیر از پیش‌انگاری و اوصاف معرف در منطق پرداخته شود و به نتایجی برسد که در منطق محمول‌های مرتبه اول امکان طرح نمی‌یافتند.در این فصل سعی شده تا از این ابزارهای جدید برای بررسی پدیده از پیش انگاری استفاده گردد و وجوه مشترک این پدیده و وصف معرف در تحلیل منطقی بازکاویده شود.