Какво е Symbolic Logic

? Symbolic логика , наричан също от първи ред, логика, е акт на създаване на изкуствени " език ", за да се справят със сложни логически аргументи. Един от най-простите форми на логиката , целта му е да се спести време в аргументацията и да се предотврати объркване , неяснота и двусмисленост на словото. Той е използван в лингвистиката , философията , компютърни науки и особено математиката. Фондация Modern Symbolic Logic е

<р> съвременното развитие на символична логика започна с английския математик Джордж Бул . През 1847 г. той публикува памфлет , " Математически анализ на логиката ", в която той твърди, че логиката трябва да се съюзи с математиката , а не философия. Наблюдавайки връзката между дедуктивно мислене и символите на алгебра , той измислил алгебричен език с три основни операции : AND , OR и NOT . Тези три функции , формирани на базата на неговото помещение . Те са били и все още са , единствените операции, необходими за извършване на сравнения или основни математически функции.


Математика

<р> Symbolic логика е допринесъл за развитието на нови аксиоматични рамки , формални системи, използвани за извеждане на логически теореми , в няколко клонове на математиката , включително аритметика, анализ и геометрия. Проучването на символична логика в математиката разработени какво се нарича " теория на множествата , " със своите ранни пионери двайсети век , включително Дейвид Хилберт , Курт G ö дел и Герхард Gentzen . Развитието на теория на множествата се оказа , че почти всички обикновени математика могат да бъдат формализирани по отношение на комплекта .