Enciclopedia EinaudiG. Einaudi, 1979 |
도서 본문에서
90개의 결과 중 1 - 3개
513 페이지
... logica del prim'ordine , ed è qui che Frege fece bancarotta . - Introducendo i quantificatori , Frege non pensava all'universo del discorso come a un qualche cosa di relativo ( cioè , di variabile con il discorso che ve- niva ...
... logica del prim'ordine , ed è qui che Frege fece bancarotta . - Introducendo i quantificatori , Frege non pensava all'universo del discorso come a un qualche cosa di relativo ( cioè , di variabile con il discorso che ve- niva ...
514 페이지
... logica ) . La ( 3 ) , tuttavia , contiene la variabile predicativa G in posizione di argomento , il che fa sí che la ( 3 ) sia una formula della logica ingenua e non della logi- ca del primo o del second'ordine . Anche se furono proprio ...
... logica ) . La ( 3 ) , tuttavia , contiene la variabile predicativa G in posizione di argomento , il che fa sí che la ( 3 ) sia una formula della logica ingenua e non della logi- ca del primo o del second'ordine . Anche se furono proprio ...
539 페이지
... logica » , e cosí via ma farò invece la seguente osservazione : dopo le ricerche di Frege e di Russell siamo molto piú consapevoli di quanta matematica possa essere fatta nei sistemi logicistici costruiti per codificare la logica ...
... logica » , e cosí via ma farò invece la seguente osservazione : dopo le ricerche di Frege e di Russell siamo molto piú consapevoli di quanta matematica possa essere fatta nei sistemi logicistici costruiti per codificare la logica ...
기타 출판본 - 모두 보기
자주 나오는 단어 및 구문
acidi nucleici alcuni allora amminoacidi applicazioni asserzioni base calcolo proposizionale caso certo classe complesso concetto concezione condizioni conoscenza considerata costituisce cultura culturale definire definizione determinato diffeomorfismi differenza elementi empiriche enunciati epistemologica esempio esiste faglie trasformi fenomeni filosofia fisica fondamentale fonetica forma formula fotone frase funzione generale globale grammatica grammatica generativa gruppo ibid insieme labirinto lavoro legami covalenti leggi lettura libertà lingua linguaggio linguistica litosfera livello locale logica macchine macromolecole marginalità Marx maschera masse matematica mente modello molecole mondo natura naturale nozione numero nuovo oggetti osservare parola politica possibile possono principio problema processo prodotto produzione proprietà proprio proteine rapporto rappresentazione realtà regole relazione risultati saussuriana scientifica scienza secolo semantica senso significa significato simbolo Sintagma sistema sociale società soltanto specifica storico struttura subduzione superficie di Riemann sviluppo tale tecnica teorema teoria teoria degli insiemi teorica termini Tōrāh trad tratta umana universale valore viene XVI secolo zione zolle