<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>September</journal-title>
      </journal-title-group>
    </journal-meta>
    <article-meta>
      <title-group>
        <article-title>are they reconcilable?⋆</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Brandon Bennett</string-name>
          <email>B.Bennett@leeds.ac.uk</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>School of Computing, University of Leeds</institution>
          ,
          <country country="UK">UK</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2023</year>
      </pub-date>
      <volume>2</volume>
      <issue>2023</issue>
      <abstract>
        <p>This keynote abstract presents the definitions of Fregean concepts and the concept by Johnson and Lakof and discusses their conceptual relationship. Although, in ordinary conversation, we talk about concepts without feeling any need to define what they are, many philosophers and scientists have tried to give precise explanations of their nature. But such explanations vary greatly in what they say or imply regarding what is referred to by the word 'concept'. In other words, there are many diferent conceptions of concepts.</p>
      </abstract>
      <kwd-group>
        <kwd>numbers)</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>• mental entities that correspond directly to physical material or structures or processes in
the brain,
• mental entities that are formed from the interaction between an (embodied) agent and its
environment.</p>
      <p>Much analysis could be carried out clarifying, refining and contrasting the variety of
conceptualisations of concepts. Although such meta-level considerations may seem abstruse to
some, I believe that they are necessary if one wishes to integrate the insights of diverse modes
of investigation.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Frege vs Lakof/Johnson</title>
      <p>
        Two of the most distinct notions of concepts are those associated with the logician Gottlob
Frege [
        <xref ref-type="bibr" rid="ref1 ref2 ref3 ref4">1, 2, 3, 4</xref>
        ] and with the cognitive scientists George Lakof and Mark Johnson [
        <xref ref-type="bibr" rid="ref5 ref6 ref7">5, 6, 7</xref>
        ].1 In
this talk, I shall consider how they difer and whether they could be reconciled.
      </p>
      <p>Oppositions between fundamental characteristics attributed to concepts according to their
views are summarised in the following table:</p>
      <sec id="sec-2-1">
        <title>Frege</title>
      </sec>
      <sec id="sec-2-2">
        <title>Lakof/Johnson</title>
        <sec id="sec-2-2-1">
          <title>Ontological Status</title>
        </sec>
        <sec id="sec-2-2-2">
          <title>Mental/Embodied</title>
        </sec>
        <sec id="sec-2-2-3">
          <title>Mutability</title>
        </sec>
        <sec id="sec-2-2-4">
          <title>Role in Reasoning</title>
        </sec>
        <sec id="sec-2-2-5">
          <title>Precise/Rigid</title>
        </sec>
        <sec id="sec-2-2-6">
          <title>Logical</title>
        </sec>
        <sec id="sec-2-2-7">
          <title>Loose/Flexible</title>
        </sec>
        <sec id="sec-2-2-8">
          <title>Metaphorical</title>
          <p>
            2.1. Fregean Concepts
For Frege (see e.g. [
            <xref ref-type="bibr" rid="ref8">8</xref>
            ]), a concept is certainly not something that is manifest either within a
brain or within a mind. It does not have any physical manifestation and is not dependent on any
mind (or group of minds) for its existence. Frege believed that the same abstract concept can be
‘grasped’ by diferent intelligent agents on diferent occasions. And this sharing of concepts
does not depend on communication; rather, it is the other way around: communication is only
possible because agents can grasp the same concepts.
          </p>
          <p>Frege also believed that every concept has precise criteria of membership. He argued that it
would not be possible to share and make efective use of concepts unless they were precise. If
concepts were vague or variable this would mean that proofs, which always involve multiple
references to the same concept would be unreliable. This would be especially problematic
in cases where concepts were applied to information coming from diferent sources, since
consistent use of the concepts would require consistent criteria for the application.
1It is a simplification to assume that Lakof and Johnson always express a single view. But I believe this is reasonable
given the course granularity of the current discussion.</p>
          <p>A final aspect of Frege’s conception of concepts, that is very important to note, is his view that
concepts are only indirectly and imperfectly correlated with human words and ideas. Although
we ‘grasp’ concepts that are precise and eternal, our means of grasping by means of words and
ideas is far from perfect.
2.2. Concepts according to Lakof and Johnson
Given the context of the talk (Image Schema Day), a detailed exposition of the views of Lakof
and Johnson would be out of place. Sufice it to say, they vigourously expound the idea that
thought and the concepts it employ arise from the embodied interaction between an agent
and its environment. They suggest that conceptual primitives (‘image schemas’) arise from
significant regularities of embodied perception; and, from these basic constituents, concepts are
developed and manipulated by means of principles they describe as based on metaphor. For
example, a basic notion of ‘container’ can form a semantic ingredient of higher-level concepts
such as ‘jug’ and ‘jail’.</p>
          <p>
            For Lakof and Johnson, both basic image schemas and the higher-level concepts derived
from them are considered to be malleable, open ended and applicable to many purposes. They
are also subject to many influences and can have diverse connotations dependent on context or
purpose. In this respect they difer significantly from Frege’s precise platonic concepts.
2.3. Supposed implausibility of Fregean concepts
As emphasised in several works of Lakof and Johnson, there are several respects in which the
Fregean conception of concepts may be questioned and doubted:
1. The concepts that we humans use, seem to be far from precise.
2. The notion of abstract concepts that are grasped (imperfectly) by humans is not compatible
with modern (materialist) science.
3. Certain ways of using and combining concepts in natural languages seem to be hard to
explain in terms of Fregean concepts.
2.4. The Power of Fregean Concepts
Despite the concerns raised in the previous section, it must be admitted that Frege created an
extremely powerful and robust apparatus for carrying out logical inference [
            <xref ref-type="bibr" rid="ref1">1</xref>
            ]. Moreover, in
writing about the principles and methodology by which he created his logical system, Frege
vociferously insists that his analysis of the nature of concepts plays an essential and foundational
role.
          </p>
          <p>Although Frege thought that predicates must correspond to precise concepts in order for
his system to work, this is a somewhat over-strict requirement. The actual requirement is that
the applicability of each predicate (that is whether it applies or does not apply to any given
object) is consistent across all occurrences of the predicate within a given reasoning context
(e.g. in all the assumptions and derived formulae that constitute a particular proof). We would
certainly expect a completely precise concept to have consistent criteria of applicability. But
the robustness of logical reasoning arises because we consider an argument correct if would
hold under any precise specification of predicate meanings. We do not actually have to fix
a particular precise meaning of the predicates or even assume that there is a single precise
meaning. It is enough to convince us if we can see that under any precise interpretation the
inference would follow.2</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Ambiguity and Conflict Resolution</title>
      <p>Given the stark diferences and outright contradictions between Frege’s and Lakof/Johnson’s
views of concepts, it may seem unlikely that they could be reconciled and assimilated within
a more general understanding. Yet we have already considered a phenomenon that can often
explain diferent viewpoints: the indeterminacy of a word in relation to its meaning.</p>
      <p>
        (In my keynote talk I presented various approaches that have been taken to explaining
semantic indeterminacy ranging from Wittgenstein’s notion of family resemblance [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] to Fine’s
supervaluation semantics [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ] and my standpoint semantics [
        <xref ref-type="bibr" rid="ref11 ref12">11, 12</xref>
        ]. I also gave illustrations
taken from my work analysing common words describing spatial relationships, that in diferent
contexts can correspond to many diferent precise definitions [
        <xref ref-type="bibr" rid="ref13">13</xref>
        ]. I have omitted this more
general material from this abstract.)
3.1. Ambiguity of the word ‘concept’ and the location of semantic
indeterminacy
How can we resolve Frege’s claim that concepts are precise with Lakof and Johnson’s view
that concepts are vague and flexible? Could it be explained by some form of ambiguity or
indeterminism in the meaning of the word ‘concept’ itself? I think so.
      </p>
      <p>Whereas Frege considers concepts to be possible precise referents of words or ideas, Lakof
and Johnson consider concepts to be ‘mental’ correlates of words (with the ‘mental’ for them
being associated with perceptual patterns arising in embodied experience) .</p>
      <p>The figure on the left illustrates the Fregean view of indeterminacy of the meanings of words
and the content of ideas. Here, C1, C2, C3 and C4 correspond to diferent precise concepts that
could correspond to some word or idea. Since linguistic and mental entities can be imprecise
2This is closely related to the more widely recognised insight that the validity of an argument does not require that
its assumptions are true. Validity just requires that if the assumptions are true then the conclusion must be true.
and indeterminate they may correspond to many diferent precise concepts. On the right we
have the picture of the relation between words and concepts that seems to be assumed by Lakof
and Johnson. On this view it is the concept that is vague an indeterminate</p>
      <p>The two explanations of the evident indeterminacy in the correspondence between words
and ideas can be summarised by the following contrasting statements:
Frege:</p>
      <sec id="sec-3-1">
        <title>Words indeterminately denote precise concepts.</title>
        <p>Lak/John: Words refer to indefinite concepts.</p>
        <p>Yet another way of explaining the diference is to say that what Lakof and Johnson call a
‘concept’, would be regarded by Frege as an ‘idea’ that is associated with cluster of precise
concepts. Lakof and Johnson do not really have a term for what Frege is calls a ‘concept’, but
they might describe it as ‘an artificially precise interpretation of a concept’.
3.2. Ambiguity of Ontological Status and Existence
In the previous section, I argued that an ambiguity in the meaning of ‘concept’ may explain
opposing views as to whether concepts are indefinite or precise. However, one who accepts
that argument may still consider that the Frege and Lakof/Johnson views of concepts are
irreconcilable, since they ascribe incompatible ontological status to the entities referred to as
concepts. How can the word ‘concept’ be ambiguous in such a dramatic way as to refer to things
that are as completely diferent as, on the one hand, platonic forms, and, on the other hand,
patterns arising in the perceptions of embodied agents. Surely, if ‘concept’ has such distinct
meanings, we would be aware or this ambiguity.</p>
        <p>
          Surprising as it may seem, it is actually quite common for count noun words to exhibit quite
radical polysemy with respect to the category of entity that they denote. This phenomenon
is studied in relation to the phenomenon of copredication (see for example [
          <xref ref-type="bibr" rid="ref14 ref15 ref16">14, 15, 16</xref>
          ]), where
a referent object appears to change its ontogical type between diferent references within a
sentence. Cannonical examples are sentences such as: “The philosophy textbook is heavy but
very interesting”, where the book is first refered to in terms of its being a phyisical object and
then in terms of its being an informational object. If such a transformation can take place for a
seemingly straightforward noun like ‘book’, without drawing our attention, it is perhaps not
so surprising that a referent object identified by the term ‘concept’ could in one context be
interpreted as an abstract platonic form, and in another be interpreted as arising from patterns
in embodied perception.
        </p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Conclusion</title>
      <p>Frege regarded any psychological ideas about concepts as irrelevant to his study. Lakof
considered Frege’s platonic view of concepts to be archaic and deeply misguided. But were they
even talking about the same thing? For Frege’s powerful logic to work at all, he must assume
that each occurrence of the same predicate symbol denotes something that is associated with a
precise, consistent membership function. He calls this abstract referent of the predicate symbol
a ‘concept’. Lakof and Johnson, referring to the complex imprecise assemblage of associations
and influences associated with words and ideas, also use the word ‘concept’. The word ‘concept’
is ambiguous in many ways.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>G.</given-names>
            <surname>Frege</surname>
          </string-name>
          ,
          <article-title>Begrifsschrift: eine der arithmetischen nachgebildete Formelsprache des reinen Denkens</article-title>
          , Halle,
          <year>1879</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>P.</given-names>
            <surname>Geach</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Black</surname>
          </string-name>
          ,
          <article-title>Translations from the Philosophical Writings of Gottlob Frege</article-title>
          , Blackwell, Oxford,
          <year>1952</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>P.</given-names>
            <surname>Long</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>White</surname>
          </string-name>
          , Gottlob Frege: posthumous writings,
          <source>Blackwell</source>
          ,
          <year>1979</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>M.</given-names>
            <surname>Dummett</surname>
          </string-name>
          , Frege: philosophy of language, Duckworth, London,
          <year>1973</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>G.</given-names>
            <surname>Lakof</surname>
          </string-name>
          , Women, fire, and
          <article-title>dangerous things: What categories reveal about the mind</article-title>
          , University of Chicago press,
          <year>2008</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>G.</given-names>
            <surname>Lakof</surname>
          </string-name>
          , M. Johnson, Metaphors We Live By, University of Chicago Press, Chicago, IL,
          <year>1980</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7]
          <string-name>
            <given-names>M.</given-names>
            <surname>Johnson</surname>
          </string-name>
          , Embodied mind, meaning, and
          <article-title>reason: How our bodies give rise to understanding</article-title>
          , University of Chicago Press,
          <year>2017</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>G.</given-names>
            <surname>Frege</surname>
          </string-name>
          , Über Begrif und Gegenstand,
          <source>Vierteljahrsschrift für wissenschaftliche Philosophie</source>
          <volume>16</volume>
          (
          <year>1892</year>
          )
          <fpage>192</fpage>
          -
          <lpage>205</lpage>
          . Reprinted in [2] as “Concept and Object”.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>L.</given-names>
            <surname>Wittgenstein</surname>
          </string-name>
          , Philosophical Investigations, Blackwell, Oxford,
          <year>1953</year>
          . Edited by
          <string-name>
            <given-names>G.E.M.</given-names>
            <surname>Anscombe</surname>
          </string-name>
          and
          <string-name>
            <given-names>R.</given-names>
            <surname>Rhees</surname>
          </string-name>
          .
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>K.</given-names>
            <surname>Fine</surname>
          </string-name>
          , Vagueness, truth and logic,
          <source>Synthèse</source>
          <volume>30</volume>
          (
          <year>1975</year>
          )
          <fpage>263</fpage>
          -
          <lpage>300</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>B.</given-names>
            <surname>Bennett</surname>
          </string-name>
          ,
          <article-title>Standpoint semantics: a framework for formalising the variable meaning of vague terms</article-title>
          , in: P. Cintula,
          <string-name>
            <given-names>C.</given-names>
            <surname>Fermüller</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Godo</surname>
          </string-name>
          , P. Hájek (Eds.), Understanding Vagueness - Logical, Philosophical and
          <string-name>
            <given-names>Linguistic</given-names>
            <surname>Perspectives</surname>
          </string-name>
          , Studies in Logic, College Publications,
          <year>2011</year>
          , pp.
          <fpage>261</fpage>
          -
          <lpage>278</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>L.</given-names>
            <surname>Gómez Álvarez</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Bennett</surname>
          </string-name>
          ,
          <article-title>Dealing with conceptual indeterminacy: A framework based on supervaluation semantics</article-title>
          ,
          <source>in: Proceedings of the 3rd International Workshop on Ontology Modularity</source>
          , Contextuality, and
          <string-name>
            <surname>Evolution</surname>
          </string-name>
          (WOMoCoE
          <year>2018</year>
          )
          <article-title>co-located with KR-2018, CEUR-WS</article-title>
          .org,
          <year>2018</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>B.</given-names>
            <surname>Bennett</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C.</given-names>
            <surname>Cialone</surname>
          </string-name>
          ,
          <article-title>Corpus guided sense cluster analysis: a methodology for ontology development (with examples from the spatial domain)</article-title>
          , in: P.
          <string-name>
            <surname>Garbacz</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          Kutz (Eds.),
          <source>Formal Ontology in Information Systems</source>
          , Proceedings of the Eighth International Conference (FOIS-
          <year>2014</year>
          ), IOS Press,
          <year>2014</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <given-names>A.</given-names>
            <surname>Arapinis</surname>
          </string-name>
          ,
          <string-name>
            <given-names>L.</given-names>
            <surname>Vieu</surname>
          </string-name>
          ,
          <article-title>A plea for complex categories in ontologies</article-title>
          ,
          <source>Applied Ontology</source>
          <volume>10</volume>
          (
          <year>2015</year>
          )
          <fpage>285</fpage>
          -
          <lpage>296</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>M.</given-names>
            <surname>Gotham</surname>
          </string-name>
          ,
          <article-title>Composing criteria of individuation in copredication</article-title>
          ,
          <source>Journal of Semantics</source>
          <volume>34</volume>
          (
          <year>2017</year>
          )
          <fpage>333</fpage>
          -
          <lpage>371</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16]
          <string-name>
            <given-names>B.</given-names>
            <surname>Bennett</surname>
          </string-name>
          ,
          <article-title>Copredication and ontological mutability</article-title>
          ,
          <source>in: Procedings of the 2nd International Workshop on Knowledge Diversity (KoDis)</source>
          ,
          <source>collocated with KR-2023</source>
          ,
          <year>2023</year>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>