Skip to main content Accessibility help

We use cookies to distinguish you from other users and to provide you with a better experience on our websites. Close this message to accept cookies or find out how to manage your cookie settings.

Close cookie message
×
  1. Home
  2. Search

Refine search

Refine search

Access:
Content type:
Publication date:
Apply   From and To filters
Subject: Show more
Journals Show more
Publishers: Show more
Societies Show more
Series: Show more
Collections: Show more

Actions for selected content:

Select all | Deselect all
  • View selected items
  • Export citations
  • Download PDF (zip)
  • Save to Kindle
  • Save to Dropbox
  • Save to Google Drive

Save Search

You can save your searches here and later view and run them again in "My saved searches".

Please provide a title, maximum of 40 characters.
Cancel
×

2 results

  • 7 - Logic and Deduction in the Middle Ages and the Modern Period

  • from Part II - The History of Deduction
  • Catarina Dutilh Novaes, Vrije Universiteit, Amsterdam
  • Book:
    The Dialogical Roots of Deduction
    Published online:
    10 December 2020
    Print publication:
    17 December 2020, pp 131-148

  • Summary

    This chapter retraces the genealogical development of deduction in the Latin and Arabic medieval traditions and in the early modern period, and finally the emergence of mathematical logic in the nineteenth century. It is shown that dialogical conceptions of logic remained pervasive in the Latin medieval tradition, but that they coexisted with other, non-dialogical conceptualizations, in part because of the influence of Arabic logic. In the modern period, however, mentalistic conceptions of logic and deduction became increasingly prominent. The chapter thus explains why we (i.e. twenty-first-century philosophers) have by and large forgotten the dialogical roots of deduction.

  • 9 - Models of Categorization

  • from Part III - Computational Modeling of Various Cognitive Functionalities and Domains
  • Edited by Ron Sun
  • Book:
    The Cambridge Handbook of Computational Psychology
    Published online:
    05 June 2012
    Print publication:
    28 April 2008, pp 267-301

  • Summary

    This chapter talks about systematization of a particular approach to modeling the mind: declarative computational cognitive modeling. The goal of computational cognitive modeling and the goal of declarative computational cognitive modeling and systematization in logic-based computational cognitive modeling (LCCM) are to understand the kind of cognition distinctive of human persons by modeling this cognition in information processing systems. LCCM is made based on a generalized form of the concept of logical system as defined rather narrowly in mathematical logic. This chapter shows how the problems can be solved in LCCM in a manner that matches the human normatively incorrect and normatively correct responses returned after the relevant stimuli are presented. This chapter explains LCCM as a formal rationalization of declarative computational cognitive modeling. It also presents the attempt to build computational simulations of all, or large portions of, human cognition, on the basis of logic alone.