Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine. Symbolic logic is usually divided into two subfields, propositional logic and predicate logic.

PropertyValue
dbpprop:abstract
  • Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine. Symbolic logic is usually divided into two subfields, propositional logic and predicate logic. Other logics of interest include temporal logic, modal logic and fuzzy logic. See also model theory. Modern mathematical areas arising out of formal logic are grouped under the heading mathematical logic.
  • Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. Sille on kaksi tarkoitusta. Ensiksi, filosofisesta logiikan näkökulmasta symbolisen logiikan symbolien nähdään esittävän sanoja. Toiseksi, tietojenkäsittelytieteen näkökulmasta symbolisen logiikan säännöissä käsiteltävät symbolit ovat tietojenkäsittelyprosessin elementtejä. Symbolinen logiikka jaetaan tavallisesti kahteen alaosaan, propositiologiikkaan ja predikaattilogiikkaan. Muita muotoja ovat temporaalilogiikka, modaalilogiikka ja sumea logiikka.
  • Symbolische logica is het deelgebied van de wiskunde dat de puur formele eigenschappen van reeksen van symbolen bestudeerd. De interesse in de symbolische logica ontspringt uit twee bronnen. Ten eerste, de in de symbolische logica gebruikte symbolen kunnen worden gezien als weergaven van de in de filosofische logica gebruikte woorden. Ten tweede kunnen de regels voor het manipuleren van symbolen gevonden die men in symbolische logica gebruikt ook worden toegepast in een computer programma's. Symbolische logica wordt meestal onderverdeeld in twee deelgebieden, propositielogica en predicatenlogica. Andere van belang zijnde logica's zijn de temporele logica, de modale logica en de zogenaamde fuzzy logic. Zie ook modeltheorie. Moderne wiskundige deelgebieden die zijn voortgekomen uit de formele logica worden gegroepeerd onder de noemer wiskundige logica.
  • Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков». Термин «символическая логика» акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих «математическим методом» изучения предмета логики, являются в данном случае не слова обычных разговорных языков (хотя бы и употребляемые в каких-либо специальных значениях), а некоторые символы, выбираемые (или конструируемые из выбранных ранее символов) и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах.
dbpprop:date
  • September 2009
dbpprop:hasPhotoCollection
dbpprop:wikiPageUsesTemplate
rdfs:comment
  • Symbolic logic is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical logic. Second, the rules for manipulating symbols found in symbolic logic can be implemented on a computing machine. Symbolic logic is usually divided into two subfields, propositional logic and predicate logic.
  • Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. Sille on kaksi tarkoitusta. Ensiksi, filosofisesta logiikan näkökulmasta symbolisen logiikan symbolien nähdään esittävän sanoja. Toiseksi, tietojenkäsittelytieteen näkökulmasta symbolisen logiikan säännöissä käsiteltävät symbolit ovat tietojenkäsittelyprosessin elementtejä.
  • Symbolische logica is het deelgebied van de wiskunde dat de puur formele eigenschappen van reeksen van symbolen bestudeerd. De interesse in de symbolische logica ontspringt uit twee bronnen. Ten eerste, de in de symbolische logica gebruikte symbolen kunnen worden gezien als weergaven van de in de filosofische logica gebruikte woorden. Ten tweede kunnen de regels voor het manipuleren van symbolen gevonden die men in symbolische logica gebruikt ook worden toegepast in een computer programma's.
  • Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков».
rdfs:label
  • Symbolic logic
  • Symbolinen logiikka
  • Symbolische logica
  • Символическая логика
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of