dialettica
Enciclopedia on line
Tecnica e abilità di presentare gli argomenti adatti a dimostrare un assunto, a persuadere un interlocutore.
Filosofia
Il termine e il concetto di διαλεκτικὴ τέχνὴ, propriamemte «arte dialogica», risale [...] di identità e diversità delle varie idee, così il concetto di d. rimase da allora in poi legato a quei problemi del rapporto logico fra l’identità e l’alterità, fra l’identità e la contraddizione, fra l’affermazione e la negazione, che ancor oggi ...
Leggi Tutto
filosofia
Enciclopedia on line
Attività di pensiero che attinge ciò che è costante e uniforme al di là del variare dei fenomeni, con l’ambizione di definire le strutture permanenti della realtà e di indicare norme universali di comportamento.
Definizioni
La [...] come suo. Giunto a questa consapevolezza egli ripensa il cammino ed enuclea da esso i concetti maturati attraverso quelle esperienze. La logica e le f. della natura e dello spirito sono appunto il risultato di queste elaborazioni. Ed è questo che dà ...
Leggi Tutto
sillogismo
Enciclopedia on line
sillogismo Termine filosofico con cui Aristotele designò la forma fondamentale di argomentazione logica (s. categorico), costituita da tre proposizioni dichiarative connesse in modo tale che dalle prime [...] , dall’assunzione di validità di barbara, della validità degli altri 23 modi sopra menzionati; se il segno = indica l’equivalenza logica e il segno ¬ indica la negazione del termine immediatamente seguente, le regole sono: A(S, P)=E(S, ¬P), E ...
Leggi Tutto
PETIZIONE di principio
Enciclopedia Italiana (1935)
PETIZIONE di principio
Guido Calogero
Espressione pertinente alla logica e designante il sofisma in cui s'incorre quando si presuppone implicitamente dimostrata la stessa tesi che s'intende di dimostrare. [...] tal senso anche in italiano (αἰτεῖσϑαι, petere, postulare hanno del resto tutti la loro origine ideologica nell'impostazione logico-linguistica del metodo socratico, per cui la verità si sviluppa dal dialogo, e il parlante "chiede" all'interlocutore ...
Leggi Tutto
Accarisi, Giacomo
Enciclopedia on line
Filosofo (Bologna 1599 - Vico del Gargano 1653); insegnò logica all'univ. di Bologna (1627), poi retorica all'Accademia di Mantova (1628-31) e infine filosofia alla Sapienza di Roma (1636-41), dove, commentando [...] durante il primo anno accademico il De caelo di Aristotele, confutò il sistema copernicano (la prolusione al corso fu pubblicata a Roma nel 1637). Vescovo di Vieste dal 1644 ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
lettera enunciativa
Enciclopedia della Matematica (2013)
lettera enunciativa
lettera enunciativa o lettera proposizionale, in logica, segno dell’alfabeto {a, b, c, …} che, nel linguaggio degli enunciati, rappresenta simbolicamente un enunciato atomico. Gli [...] simbolo ∧ (si legge «e») rappresenta il connettivo della congiunzione. Le lettere enunciative sono formule indivisibili perché la logica enunciativa non si interessa della loro struttura interna, ma solamente del loro valore di verità. A ogni lettera ...
Leggi Tutto
non equivalenza
Dizionario delle Scienze Fisiche (1996)
non equivalenza
nón equivalénza [FAF] [INF] Come funzione logica, lo stesso che OR esclusivo (simb. XOR). ...
Leggi Tutto
Achillini, Alessandro
Enciclopedia on line
Filosofo e medico (Bologna 1463 - ivi 1512). Insegnò logica, filosofia naturale e medicina teorica a Bologna (1484-1506), poi, per un biennio (1506-1508), filosofia naturale a Padova, in concorrenza col [...] Pomponazzi, e infine di nuovo a Bologna dal 1508 alla morte. Nelle sue opere filosofiche l'A. si rivela fedele seguace di quel particolare indirizzo averroistico che fa capo a Sigieri di Brabante; tra ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
razionalità
Enciclopedia on line
razionalità Facoltà propria degli esseri dotati di ragione.
Economia
La r. è una caratteristica dell’homo oeconomicus. Nella teoria economica tradizionale e moderna si distinguono due approcci alla r.: [...] possedere perché sia razionale, di non implicare contraddizioni ed essere in accordo almeno con i principi fondamentali della logica elementare. Per quanto riguarda il secondo requisito, si considera razionale una credenza se è sostenuta sulla base ...
Leggi Tutto
PROLOG
Enciclopedia della Matematica (2013)
PROLOG
PROLOG acronimo di programmation en logique (programmazione logica), indica un linguaggio di programmazione elaborato nel 1972 nell’ambito dell’università di Aix-Marseille sulla base dell’impostazione [...] se posta a sinistra del simbolo ← e come congiunzione se posta alla sua destra, in base alla seguente catena di equivalenze logiche:
Una scrittura del tipo ← A, B va interpretata come una negazione e sarà letta «non (A e B)», essendo tale clausola ...
Leggi Tutto