All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

Function and Argument in Begriffsschrift

The result's identifiers

  • Result code in IS VaVaI

    <a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985955%3A_____%2F17%3A00481510" target="_blank" >RIV/67985955:_____/17:00481510 - isvavai.cz</a>

  • Result on the web

    <a href="http://dx.doi.org/10.1080/01445340.2017.1354173" target="_blank" >http://dx.doi.org/10.1080/01445340.2017.1354173</a>

  • DOI - Digital Object Identifier

    <a href="http://dx.doi.org/10.1080/01445340.2017.1354173" target="_blank" >10.1080/01445340.2017.1354173</a>

Alternative languages

  • Result language

    angličtina

  • Original language name

    Function and Argument in Begriffsschrift

  • Original language description

    It is well known that the formal system developed by Frege in Begriffsschrift is based upon the distinction between function and argumentas opposed to the traditional distinction between subject and predicate. Almost all of the modern commentaries on Frege's work suggest a semantic interpretation of this distinction, and identify it with the ontological structure of function and object, upon which Grundgesetze is based. Those commentaries agree that the system proposed by Frege in Begriffsschrift has some gaps, but it is taken as an essentially correct formal system for second-order logic: the first one in the history of logic. However, there is strong textual evidence that such an interpretation should be rejected. This evidence shows that the nature of the distinction between function and argument is stated by Frege in a significantly different way: it applies only to expressions and not to entities. The formal system based on this distinction is tremendously flexible and is suitable for making explicit the logical structure of contents as well as of deductive chains. We put forward a new reconstruction of the function-argument scheme and the quantification theory in Begriffsschrift. After that, we discuss the usual semantic interpretation of Begriffsschrift and show its inconsistencies with a rigorous reading of the text.

  • Czech name

  • Czech description

Classification

  • Type

    J<sub>imp</sub> - Article in a specialist periodical, which is included in the Web of Science database

  • CEP classification

  • OECD FORD branch

    60301 - Philosophy, History and Philosophy of science and technology

Result continuities

  • Project

  • Continuities

    I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Others

  • Publication year

    2017

  • Confidentiality

    S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Data specific for result type

  • Name of the periodical

    History and Philosophy of Logic

  • ISSN

    0144-5340

  • e-ISSN

  • Volume of the periodical

    38

  • Issue of the periodical within the volume

    4

  • Country of publishing house

    GB - UNITED KINGDOM

  • Number of pages

    26

  • Pages from-to

    316-341

  • UT code for WoS article

    000413765300002

  • EID of the result in the Scopus database

    2-s2.0-85026767695