FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2625012266> ?p ?o ?g. }

• W2625012266 abstract "How much of symbolic manipulation is just symbol pushing? David H. Landy (dhlandy@gmail.com) Psychology, 603 E. Daniel Street University of Illinois, Urbana-Champaign, IL 61820 Robert L. Goldstone (rgoldsto@indiana.edu) Psychological and Brain Sciences, 1101 E. 10 th Street Indiana University, Bloomington, IN 47405 Abstract This paper explores the hypothesis that schematic abstraction—rule following—is partially implemented through processes and knowledge used to understand motion. Two experiments explore the mechanisms used by reasoners solving simple linear equations with one variable. Participants solved problems displayed against a background that moved rightward or leftward. Solving was facilitated when the background motion moved in the direction of the numeric transposition required to solve for the unknown variable. Previous theorizing has usually assumed that such formal problems are solved through the repeated application of abstract transformation patterns (rules) to equations, replicating the steps produced in typical worked solutions. However, the current results suggest that in addition to such strategies, advanced reasoners often employ a mental motion strategy when manipulating algebraic forms: elements of the problem are “picked up” and “moved” across the equation line. This demonstration supports the suggestion that genuinely schematic reasoning could be implemented in perceptual-motor systems through the simulated transformation of referential (but physical) symbol systems. Keywords: Symbolic reasoning; formal reasoning; high-level cognition; mathematical cognition Introduction Reasoning over abstractions—schemas, rules with variables, or hard to perceive generalities—is a skill which seems on its face to require specialized cognitive structures (Anderson, 2005; Markman & Dietrich, 2000; Sloman, 1996). One common conception of this specialized architecture is that the human mind operates over a set of internal symbols and variables much like external formal languages (Anderson, 2007; Fodor, 1975; Marcus, 2001). On this perspective, mental structures that perform symbolic manipulations are precursors to and ingredients of cognition. A frequently articulated alternative to this view is that schematic rules may be implemented via non-symbolic or incompletely symbolic perceptual manipulations and simulations (Barsalou, 1999; Clark, 1998; Dennett, 1994). Often, such perceptual symbol systems have been conceptualized as simulations of semantic situations picked out by a symbolic form or formalism (Barsalou 2008). Under this conceptualization, symbol systems such as natural or formal languages can play either of two roles. First, they might provide the seeds for a perceptual simulation of the situation referred to in an utterance (e.g., simulating an eagle when reading the word “eagle”, Zwaan et al, 2004). The present paper explores a second possible mechanism for implementing symbolic reasoning in perceptual-motor action that rely on simulating the perceptual-motor environment associated with the physical form of the notation itself. Recently, it has been suggested that formal languages, and mathematical languages in particular, often serve as diagrams whose analog physical structure relates systematically to mathematical or formal truths. Therefore, treating the formal notations as images directly suitable for perceptual-motor processing provides a way to implement abstract cognition in perceptual-motor systems (Dorfler, 2002; Landy & Goldstone, 2007a). Naturally, the results of such processes must then be translated into the appropriate referent situation. Furthermore, symbolic reasoning achieved via the perception and manipulation of physical notations must respect the constraints of systems which may differ substantially from those that would be expected from a Language of Thought (Endress, et al, 2005; Landy and Goldstone, 2007b; Novick and Catley, 2007; Pothos, 2006). In this work, we argue that proofs are often physically designed so that they appeal to processing systems typically used for dynamic events, and we evaluate one possible strategy for solving a standard class of algebra problems (“solve for x”) involving simulating the motion of the elements of the notation used to express these problems. Ways to solve single-variable equations Table 1 displays a standard demonstration that the equation y*3+2=8 has solution y=2. The justification for lines 2 and 4 comes from the Euclidean notion that things done to like things yield like things, and therefore that if an equation X = Y is valid, then the equation X  A = Y  A is also valid, for any operation  or value A . How are such processes carried out by human reasoners? Conceptually, there are (at least) two good strategies for solving such problems. In an algebraic solution, a reasoner constructs the solved equation shown at the bottom of table 1, and then uses straightforward arithmetic to generate the answer. In the unwind strategy, one starts by finding the isolated constant, identifies the next available operation on the variable side (+2 in this case), inverts the operation, and solves the resulting problem (8-2). One then uses this number as the starting point, identifies the next available operations on the left, and repeats." @default.
• W2625012266 created "2017-06-23" @default.
• W2625012266 creator A5029222386 @default.
• W2625012266 creator A5078074153 @default.
• W2625012266 date "2009-01-01" @default.
• W2625012266 modified "2023-09-28" @default.
• W2625012266 title "How much of symbolic manipulation is just symbol pushing" @default.
• W2625012266 cites W1509658636 @default.
• W2625012266 cites W1699946128 @default.
• W2625012266 cites W1928882148 @default.
• W2625012266 cites W1977308918 @default.
• W2625012266 cites W2024016316 @default.
• W2625012266 cites W2047582673 @default.
• W2625012266 cites W2065036980 @default.
• W2625012266 cites W2081981374 @default.
• W2625012266 cites W2091671485 @default.
• W2625012266 cites W2108241254 @default.
• W2625012266 cites W2116094714 @default.
• W2625012266 cites W2121001250 @default.
• W2625012266 cites W2135054307 @default.
• W2625012266 cites W2143801939 @default.
• W2625012266 cites W2144722274 @default.
• W2625012266 cites W2150375089 @default.
• W2625012266 cites W2166693276 @default.
• W2625012266 cites W2494871912 @default.
• W2625012266 cites W3127519611 @default.
• W2625012266 hasPublicationYear "2009" @default.
• W2625012266 type Work @default.
• W2625012266 sameAs 2625012266 @default.
• W2625012266 citedByCount "4" @default.
• W2625012266 countsByYear W26250122662015 @default.
• W2625012266 countsByYear W26250122662016 @default.
• W2625012266 crossrefType "journal-article" @default.
• W2625012266 hasAuthorship W2625012266A5029222386 @default.
• W2625012266 hasAuthorship W2625012266A5078074153 @default.
• W2625012266 hasConcept C104114177 @default.
• W2625012266 hasConcept C111472728 @default.
• W2625012266 hasConcept C124304363 @default.
• W2625012266 hasConcept C127413603 @default.
• W2625012266 hasConcept C134306372 @default.
• W2625012266 hasConcept C134400042 @default.
• W2625012266 hasConcept C138885662 @default.
• W2625012266 hasConcept C154945302 @default.
• W2625012266 hasConcept C15744967 @default.
• W2625012266 hasConcept C169760540 @default.
• W2625012266 hasConcept C169900460 @default.
• W2625012266 hasConcept C182365436 @default.
• W2625012266 hasConcept C188147891 @default.
• W2625012266 hasConcept C192328126 @default.
• W2625012266 hasConcept C199360897 @default.
• W2625012266 hasConcept C24326235 @default.
• W2625012266 hasConcept C26760741 @default.
• W2625012266 hasConcept C33923547 @default.
• W2625012266 hasConcept C41008148 @default.
• W2625012266 hasConceptScore W2625012266C104114177 @default.
• W2625012266 hasConceptScore W2625012266C111472728 @default.
• W2625012266 hasConceptScore W2625012266C124304363 @default.
• W2625012266 hasConceptScore W2625012266C127413603 @default.
• W2625012266 hasConceptScore W2625012266C134306372 @default.
• W2625012266 hasConceptScore W2625012266C134400042 @default.
• W2625012266 hasConceptScore W2625012266C138885662 @default.
• W2625012266 hasConceptScore W2625012266C154945302 @default.
• W2625012266 hasConceptScore W2625012266C15744967 @default.
• W2625012266 hasConceptScore W2625012266C169760540 @default.
• W2625012266 hasConceptScore W2625012266C169900460 @default.
• W2625012266 hasConceptScore W2625012266C182365436 @default.
• W2625012266 hasConceptScore W2625012266C188147891 @default.
• W2625012266 hasConceptScore W2625012266C192328126 @default.
• W2625012266 hasConceptScore W2625012266C199360897 @default.
• W2625012266 hasConceptScore W2625012266C24326235 @default.
• W2625012266 hasConceptScore W2625012266C26760741 @default.
• W2625012266 hasConceptScore W2625012266C33923547 @default.
• W2625012266 hasConceptScore W2625012266C41008148 @default.
• W2625012266 hasIssue "31" @default.
• W2625012266 hasLocation W26250122661 @default.
• W2625012266 hasOpenAccess W2625012266 @default.
• W2625012266 hasPrimaryLocation W26250122661 @default.
• W2625012266 hasRelatedWork W2165074688 @default.
• W2625012266 hasRelatedWork W2173807117 @default.
• W2625012266 hasRelatedWork W2210865237 @default.
• W2625012266 hasRelatedWork W2301386322 @default.
• W2625012266 hasRelatedWork W2416685172 @default.
• W2625012266 hasRelatedWork W2423588111 @default.
• W2625012266 hasRelatedWork W2475447123 @default.
• W2625012266 hasRelatedWork W2503775602 @default.
• W2625012266 hasRelatedWork W260611675 @default.
• W2625012266 hasRelatedWork W2736184519 @default.
• W2625012266 hasRelatedWork W2765242991 @default.
• W2625012266 hasRelatedWork W2771520582 @default.
• W2625012266 hasRelatedWork W2793548589 @default.
• W2625012266 hasRelatedWork W2888912391 @default.
• W2625012266 hasRelatedWork W3093581833 @default.
• W2625012266 hasRelatedWork W3094347753 @default.
• W2625012266 hasRelatedWork W811548815 @default.
• W2625012266 hasRelatedWork W90976496 @default.
• W2625012266 hasRelatedWork W983438769 @default.
• W2625012266 hasRelatedWork W2098240253 @default.
• W2625012266 hasVolume "31" @default.
• W2625012266 isParatext "false" @default.
• W2625012266 isRetracted "false" @default.

• next