The Lvov-Warsaw School. Past and PresentÁngel Garrido, Urszula Wybraniec-Skardowska Birkhäuser, 12 ביוני 2018 - 815 עמודים This is a collection of new investigations and discoveries on the history of a great tradition, the Lvov-Warsaw School of logic and mathematics, by the best specialists from all over the world.
The papers range from historical considerations to new philosophical, logical and mathematical developments of this impressive School, including applications to Computer Science, Mathematics, Metalogic, Scientific and Analytic Philosophy, Theory of Models and Linguistics. |
מהדורות אחרות - הצג הכל
מונחים וביטויים נפוצים
accepted according activity Ajdukiewicz algebra analysis applications approach argument axiomatic axioms belief calculus called classical cognitive complete concept concerning connected consequence considered consists construction deductive defined definition determined discussion elements equivalent example existence expressions fact finite formal formulas foundations function geometry given ideas important individual interesting interpretation introduced intuitionistic logic issue Kazimierz Ajdukiewicz knowledge language later Lesniewski logic Łukasiewicz Lvov-Warsaw School mathematics meaning method Mostowski natural notion object ontology operation original particular philosophy Poland Polish possible presented principle problem proof properties propositions proved published quantifiers question reasoning reference rejected relation respect rules School scientific semantic sense sentences Soboci´nski Springer structure Studies symbols Tarski theorem theory translation true truth University values variables Warsaw Warszawa