Ajdukiewicz

Ajdukiewicz

Ajdukiewicz Kazimierz (Tarnopol, Ucraina, 1890 - Varsavia 1963) logico e filosofo polacco. Con T. Kotarbiński, S. Leśniewski e J. Łukasiewicz, fu uno dei massimi esponenti della scuola di Varsavia. Fondò la rivista «Studia logica». Seguendo le idee di Hilbert, cercò di definire in termini puramente sintattici la natura della logica. Si occupò principalmente di logica del linguaggio e, in particolare, di sintassi e semantica dei linguaggi, sia di quello naturale sia dei linguaggi computazionali, attraverso l’introduzione di grammatiche categoriali che stabiliscono una corrispondenza tra categorie sintattiche e significati. Tra i risultati più importanti del suo lavoro nel campo della semantica vanno ricordati: a) la formulazione rigorosa di una teoria della «connessità sintattica», che enuncia le condizioni affinché un’espressione composta, formata da espressioni semplici dotate di significato, possa a sua volta essere dotata di significato e appartenere a una definita «categoria semantica»; b) la definizione del significato di un’espressione E, appartenente a un linguaggio formalizzato, come l’insieme di tutte le espressioni di quel linguaggio sinonime di E.