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.

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. (en)
  • 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. (fi)
  • Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. С. Порецкий), или «логика, изучаемая посредством построения формализованных языков» . Термин «символическая логика» акцентирует внимание на том обстоятельстве, что основными элементами формализованных языков, служащих «математическим методом» изучения предмета логики, являются в данном случае не слова обычных разговорных языков, а некоторые символы, выбираемые и интерпретируемые (истолковываемые) определённым образом, специфическим именно для данной логической ситуации и, вообще говоря, не связанным ни с каким «традиционным» употреблением, пониманием и функциями таких же символов в других контекстах. (ru)
dbpprop:hasPhotoCollection
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. (en)
  • Symbolinen logiikka on matematiikkaa sivuava logiikan osa, joka tutkii merkkijonoina esitettyjen symbolien puhtaita formaaleja ominaisuuksia. Sille on kaksi tarkoitusta. (fi)
  • Символи́ческая ло́гика — направление в математической логике, изучающее формальные системы: «логика по предмету, математика по методу» (П. (ru)
rdfs:label
  • Symbolic logic (en)
  • Symbolinen logiikka (fi)
  • Символическая логика (ru)
owl:sameAs
skos:subject
foaf:page
is dbpprop:disambiguates of
is dbpprop:redirect of