Indice
32 relazioni: Alfred Tarski, Algoritmo di Borůvka, Arthur Prior, Cronologia della filosofia, Deduzione naturale, Doppia negazione, Forth (linguaggio), Gottlob Frege, Helena Rasiowa, Józef Maria Bocheński, Kazimierz Ajdukiewicz, Kazimierz Twardowski, Logica fuzzy, Logica non classica, Logica polivalente, Morti il 13 febbraio, Morti nel 1956, Nati il 21 dicembre, Nati nel 1878, Notazione polacca, Notazione polacca inversa, Organon, Persone di nome Jan, Polonia, Principio di non contraddizione, Scuola di Brentano, Scuola di Leopoli-Varsavia, Sillogismo ipotetico, Sistema numerico senario, Stanisław Leśniewski, Trasposizione (logica), 27114 Lukasiewicz.
Alfred Tarski
Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel. In particolare è considerato il risolutore del paradosso del mentitore.
Vedere Jan Łukasiewicz e Alfred Tarski
Algoritmo di Borůvka
L'algoritmo di Borůvka è un algoritmo per la ricerca di un albero ricoprente minimo in un grafo in cui il peso di ciascuna coppia di archi sia distinto.
Vedere Jan Łukasiewicz e Algoritmo di Borůvka
Arthur Prior
Prior nel 1957 fondò la logica temporale, e apportò importanti contributi alla logica intensionale, in particolare in Prior (1971).
Vedere Jan Łukasiewicz e Arthur Prior
Cronologia della filosofia
La seguente Cronologia della storia della filosofia è un elenco ordinato cronologicamente di filosofi selezionati.
Vedere Jan Łukasiewicz e Cronologia della filosofia
Deduzione naturale
La deduzione naturale è, nel campo della logica, un sistema deduttivo. Un sistema deduttivo è una relazione che può sussistere tra un insieme di formule e una formula: se la relazione vale, diciamo che la formula viene dedotta dall'insieme.
Vedere Jan Łukasiewicz e Deduzione naturale
Doppia negazione
Nella logica proposizionale, la doppia negazione è il teorema che afferma che "Se un'affermazione è vera, allora non si dà il caso che l'affermazione non è vera".
Vedere Jan Łukasiewicz e Doppia negazione
Forth (linguaggio)
Il Forth è un linguaggio di programmazione sviluppato da Chuck Moore presso l'US National Radio Astronomy Observatory (NRAO) dall'inizio degli anni sessanta, ma uscì ufficialmente soltanto nel 1969, per essere poi formalizzato nel 1977, e standardizzato nel 1979, nel 1983 dal Forth Standards Team e poi dall'ANSI nel 1994 e aggiornato al Forth Standard 2012 (2012 e 2014) dal Forth 200x Standardization Commitee con richiesta di aggiornamento anche allo standard ANSI.
Vedere Jan Łukasiewicz e Forth (linguaggio)
Gottlob Frege
Frege è considerato quasi unanimemente dalla critica odierna uno dei più grandi logici dopo Aristotele, ed è il padre del pensiero formale del Novecento.
Vedere Jan Łukasiewicz e Gottlob Frege
Helena Rasiowa
Si è occupata dei fondamenti della matematica e di logica algebrica.
Vedere Jan Łukasiewicz e Helena Rasiowa
Józef Maria Bocheński
Era un discepolo di Jan Łukasiewicz e dedicò gran parte del suo lavoro alla logica, evidenziando la sua dedizione all'analogia, e allo stesso tempo facendo risaltare la sua ricerca storica sulla logica dell'antichità, in particolare quella di Teofrasto e della logica orientale, e valorizzando soprattutto la logica scolastica dei secoli XIII e XIV.
Vedere Jan Łukasiewicz e Józef Maria Bocheński
Kazimierz Ajdukiewicz
Allievo di Jan Łukasiewicz ed esponente della scuola polacca di logica, ha insegnato nelle università di Leopoli, Poznań e Varsavia, dal 1921 al 1961.
Vedere Jan Łukasiewicz e Kazimierz Ajdukiewicz
Kazimierz Twardowski
Twardowski studiò filosofia a Vienna con Franz Brentano e Robert Zimmermann. Nel 1891 conseguì il dottorato con la sua dissertazione Über den Unterschied zwischen der klaren und deutlichen Perzeption und der klaren und deutlichen Idee bei Descartes (Sulla distinzione tra la percezione chiara e distinta e l'idea chiara e distinta in Descartes) e nel 1894 scrisse la sua tesi di abilitazione Zur Lehre vom Inhalt und Gegenstand der Vorstellungen (Sulla dottrina del contenuto e dell'oggetto delle presentazioni).
Vedere Jan Łukasiewicz e Kazimierz Twardowski
Logica fuzzy
La logica fuzzy (o logica sfumata o logica sfocata) è una logica in cui si può attribuire a ciascuna proposizione o predicato un grado di verità diverso da 0 e 1 e compreso tra di loro.
Vedere Jan Łukasiewicz e Logica fuzzy
Logica non classica
Una logica non classica è un sistema formale che differisce in modo significativo dai sistemi logici standard come la logica proposizionale e predicativa.
Vedere Jan Łukasiewicz e Logica non classica
Logica polivalente
Le logiche polivalenti sono estensioni della logica classica in cui sono presenti più valori di verità rispetto ai canonici vero, falso e pertanto in esse non vale il principio del terzo escluso.
Vedere Jan Łukasiewicz e Logica polivalente
Morti il 13 febbraio
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Jan Łukasiewicz e Morti il 13 febbraio
Morti nel 1956
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Jan Łukasiewicz e Morti nel 1956
Nati il 21 dicembre
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Jan Łukasiewicz e Nati il 21 dicembre
Nati nel 1878
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Jan Łukasiewicz e Nati nel 1878
Notazione polacca
La notazione polacca è una particolare sintassi atta a denotare formule matematiche e algoritmi, caratterizzata dal fatto che gli operatori si trovano tutti a sinistra degli argomenti.
Vedere Jan Łukasiewicz e Notazione polacca
Notazione polacca inversa
La notazione polacca inversa (o semplicemente RPN) è una sintassi utilizzata per le formule matematiche. La notazione polacca è stata introdotta dal filosofo polacco Jan Łukasiewicz nel 1924.
Vedere Jan Łukasiewicz e Notazione polacca inversa
Organon
Organon (parentesi) è il termine usato dal commentatore di Aristotele Alessandro di Afrodisia, per riferirsi all'edizione delle sue sei opere di logica: le Categorie, il De Interpretatione, gli Analitici primi, gli Analitici secondi, i Topici e gli Elenchi sofistici.
Vedere Jan Łukasiewicz e Organon
Persone di nome Jan
__EXPECTED_UNCONNECTED_PAGENOEDITSECTION__.
Vedere Jan Łukasiewicz e Persone di nome Jan
Polonia
La Polonia, ufficialmente Repubblica di Polonia (nel linguaggio comune Polska), è uno stato situato nell'Europa centrale, membro dell'Unione europea, della NATO e dell'ONU.
Vedere Jan Łukasiewicz e Polonia
Principio di non contraddizione
Nella logica classica, il principio di non-contraddizione afferma la falsità di ogni proposizione implicante che una certa proposizione A e la sua negazione, cioè la proposizione non-A, siano entrambe vere allo stesso tempo e nello stesso modo.
Vedere Jan Łukasiewicz e Principio di non contraddizione
Scuola di Brentano
Con il termine Scuola di Brentano si fa riferimento ai filosofi e psicologi che studiarono con Franz Brentano e furono essenzialmente influenzati da lui.
Vedere Jan Łukasiewicz e Scuola di Brentano
Scuola di Leopoli-Varsavia
La Scuola Logica di Leopoli-Varsavia è stata un'influente scuola di filosofia e logica nella Polonia del XX secolo. Essa è così detta dai nomi delle città in cui avevano sede le Università di provenienza dei maggiori esponenti.
Vedere Jan Łukasiewicz e Scuola di Leopoli-Varsavia
Sillogismo ipotetico
Nella logica classica, il sillogismo ipotetico è una forma logica valida che possiede una istruzione condizionale in una o in entrambe le sue premesse.
Vedere Jan Łukasiewicz e Sillogismo ipotetico
Sistema numerico senario
Il '''sistema numerico''' senario (noto anche come base-6, esimale o sesimale) ha sei come base e può adottare come numerali le cifre da 0 a 5.
Vedere Jan Łukasiewicz e Sistema numerico senario
Stanisław Leśniewski
Allievo di Kazimierz Twardowski, fu uno dei fondatori e, con Alfred Tarski e Jan Łukasiewicz, uno dei maggiori esponenti della scuola di Leopoli-Varsavia.
Vedere Jan Łukasiewicz e Stanisław Leśniewski
Trasposizione (logica)
Nella logica proposizionale, la trasposizione è una regola di sostituzione valida che permette di scambiare l'antecedente con il conseguente di un enunciato condizionale in una dimostrazione logica quando entrambi sono negati.
Vedere Jan Łukasiewicz e Trasposizione (logica)
27114 Lukasiewicz
Lukasiewicz (1998 WG2) è un asteroide della fascia principale. È stato scoperto nel 1998 da Paul Comba nell'osservatorio di Prescott, Arizona.
Vedere Jan Łukasiewicz e 27114 Lukasiewicz
Conosciuto come Jan Lukasiewicz.