Logo
Unionpedia
Comunicazione
Disponibile su Google Play
Nuovo! Scarica Unionpedia sul tuo dispositivo Android™!
Gratuito
l'accesso più veloce di browser!
 

Logica

Indice Logica

La logica (dal greco λόγος, logos, ovvero "parola", "pensiero", "idea", "argomento", "ragione", da cui poi λογική, logiké) è lo studio del ragionamento e dell'argomentazione, rivolto in particolare a definire la correttezza dei procedimenti inferenziali del pensiero.

135 relazioni: Abduzione, Alessandro di Afrodisia, Alfred Tarski, Algebra di Boole, Analisi logica del periodo, Analisi logica della proposizione, Andronico di Rodi, Appercezione, Argomento (filosofia), Aristotele, Assoluto, Bertrand Russell, Cartesio, Charles Sanders Peirce, Cina, Circolo di Vienna, Civiltà occidentale, Coerenza (logica matematica), Connettivo logico, Conoscenza, Controllore logico programmabile, Critica della ragion pura, David Hilbert, Deduzione, Diairesi, Dialettica, Dicotomia, Dimostrazione, Dimostrazione per assurdo, Diogene Laerzio, Divenire, Dualismo onda-particella, Eraclito, Essere, Fallacia, Filosofia greca, Filosofia medievale, Fisica moderna, Francesco Bacone, Georg Wilhelm Friedrich Hegel, George Boole, Gnoseologia, Gottfried Wilhelm von Leibniz, Gottlob Frege, Grammatica, Grecia, Guido Calogero, Idea, Identità (filosofia), Immanenza, ..., Immanuel Kant, Implicazione logica, Induzione, Inferenza, Informatica, Intelletto, Intuizione, Intuizione intellettuale, Ipotesi, Ipotesi di de Broglie, Karl Popper, Kurt Gödel, Lingua greca, Lingua greca antica, Lingua logica, Linguaggio, Linguaggio formale, Logica classica, Logica descrittiva, Logica fuzzy, Logica giuridica, Logica intuizionista, Logica matematica, Logica modale, Logica polivalente, Logica proposizionale, Logos, Louis-Victor Pierre Raymond de Broglie, Ludwig Wittgenstein, Matematica, Meccanica quantistica, Mereologia, Metafisica, Nous, Novum Organum, Numero, Onda, Ontologia, Opinione, Organon, Paradosso, Paralogismo, Parmenide, Particella subatomica, Pensiero, Pitagora, Platone, Platonismo, Positivismo logico, Predicato, Presocratici, Principio di complementarità, Principio di non contraddizione, Proposizione (logica), Quanto, Ragionamento, Ragione, Raymond Smullyan, Retorica, Scienza, Scolastica (filosofia), Scuola eleatica, Semantica, Sesto Empirico, Sillogismo, Sistema formale, Socrate, Sofisma, Sofistica, Soggetto (filosofia), Stoicismo, Storia della filosofia occidentale, Storia della scienza, Subcontinente indiano, Tertium non datur, Thomas Hobbes, Trascendentale, Trascendenza, Trivio, Verità, Wilhelm Wundt, XIX secolo, XVII secolo, XVIII secolo, Zenone di Elea. Espandi índice (85 più) »

Abduzione

Il termine abduzione (dal latino ab ducere, condurre da) indica un sillogismo in cui la premessa maggiore è certa mentre quella minore è solamente probabile.

Nuovo!!: Logica e Abduzione · Mostra di più »

Alessandro di Afrodisia

Non si sa quasi nulla della vita di Alessandro; il nome di suo padre era Ermia, l'unica testimonianza diretta è la dedica agli imperatori Settimio Severo e Caracalla della sua opera Il destino: « Era tra le mie aspirazioni, grandissimi imperatori Severo e Antonino, venire di persona da voi, vedervi, indirizzarvi un discorso e ringraziarvi per tutto quello che da voi ho così spesso ricevuto, dal momento che ho sempre ottenuto quello che desideravo, insieme alla prova di esserne degno ». La dedica agli imperatori Settimio Severo e Caracalla, quest'ultimo associato all'impero dal 198, e il fatto che non venga menzionato Geta, associato anch'egli all'impero ma soltanto dal 209, dimostra che quell'opera fu composta tra il 198 e il 209.

Nuovo!!: Logica e Alessandro di Afrodisia · Mostra di più »

Alfred Tarski

Per i suoi risultati viene collocato fra i maggiori logici della storia, insieme ad Aristotele, Gottlob Frege e Kurt Gödel.

Nuovo!!: Logica e Alfred Tarski · Mostra di più »

Algebra di Boole

L'algebra di Boole (anche detta algebra booleana o reticolo booleano), in matematica e logica matematica, è il ramo dell'algebra in cui le variabili possono assumere solamente i valori vero e falso (valori di verità), generalmente denotati rispettivamente come 1 e 0.

Nuovo!!: Logica e Algebra di Boole · Mostra di più »

Analisi logica del periodo

L'analisi del periodo studia la sintassi della frase complessa, cioè quella frase con più verbi, formata, quindi, da più frasi semplici (proposizioni), chiamata, appunto, periodo.

Nuovo!!: Logica e Analisi logica del periodo · Mostra di più »

Analisi logica della proposizione

L'analisi logica, o sintassi, è il procedimento mediante il quale si riconoscono i componenti di un periodo o di una frase.

Nuovo!!: Logica e Analisi logica della proposizione · Mostra di più »

Andronico di Rodi

Vissuto nel I secolo a.C. filosofo peripatetico che per primo introdusse l'analisi filologica nell'ambito del Peripato, di cui fu decimo scolarca dal 78 al 47 a.C. dopo Aristotele.

Nuovo!!: Logica e Andronico di Rodi · Mostra di più »

Appercezione

Il termine appercezione sta a indicare una forma particolare di percezione mentale, che si distingue per chiarezza e consapevolezza di sé.

Nuovo!!: Logica e Appercezione · Mostra di più »

Argomento (filosofia)

L'argomento (o argomentazione) è il principale oggetto di studio della logica e in particolare dalla logica matematica.

Nuovo!!: Logica e Argomento (filosofia) · Mostra di più »

Aristotele

È ritenuto una delle menti filosofiche più innovative, prolifiche e influenti del mondo antico occidentale, sia per la vastità che per la profondità dei suoi campi di conoscenza, compresa quella scientifica.

Nuovo!!: Logica e Aristotele · Mostra di più »

Assoluto

Nella storia della filosofia, l'assoluto è una realtà la cui esistenza non dipende da nessun altra, ma sussiste in sé e per sé.

Nuovo!!: Logica e Assoluto · Mostra di più »

Bertrand Russell

Fu anche un autorevole esponente del movimento pacifista e un divulgatore della filosofia.

Nuovo!!: Logica e Bertrand Russell · Mostra di più »

Cartesio

È ritenuto fondatore della matematica e della filosofia moderna.

Nuovo!!: Logica e Cartesio · Mostra di più »

Charles Sanders Peirce

Conosciuto per i suoi contributi, oltre che alla logica anche all'epistemologia, Peirce è stato un importante studioso, considerato fondatore del pragmatismo e uno dei padri della moderna semiotica (o teoria del segno, inteso come atto di comunicazione).

Nuovo!!: Logica e Charles Sanders Peirce · Mostra di più »

Cina

La Cina, ufficialmente la Repubblica Popolare Cinese, è uno Stato sovrano situato nell'Asia orientale e il più popolato del mondo, con una popolazione di oltre 1,385 miliardi di persone.

Nuovo!!: Logica e Cina · Mostra di più »

Circolo di Vienna

Il circolo di Vienna (in tedesco Wiener Kreis), fu un circolo filosofico e culturale, organizzato da Moritz Schlick nel 1922 e animato da numerosi filosofi e scienziati del tempo.

Nuovo!!: Logica e Circolo di Vienna · Mostra di più »

Civiltà occidentale

Il termine Occidente, inteso come civiltà o società occidentale, ha designato, a seconda dei periodi storici, un'area geografica e culturale comprendente grosso modo l'Europa e, in senso più esteso, tutti quei paesi europei ed extraeuropei che oggi presentano tratti culturali, economici o politici comuni, riconducibili al mondo e soprattutto ai principi filosofici del mondo greco-romano-cristiano-illuministico.

Nuovo!!: Logica e Civiltà occidentale · Mostra di più »

Coerenza (logica matematica)

In logica matematica, una teoria formale si dice coerente (o non contraddittoria, talvolta anche consistente, per assonanza con l'inglese consistent) se in essa è impossibile dimostrare una contraddizione.

Nuovo!!: Logica e Coerenza (logica matematica) · Mostra di più »

Connettivo logico

Un connettivo logico, o operatore logico, è un elemento grammaticale di collegamento che instaura fra due proposizioni A e B una qualche relazione che dia origine ad una terza proposizione C con un valore vero o falso, in base ai valori delle due proposizioni fattori ed al carattere del connettivo utilizzato.

Nuovo!!: Logica e Connettivo logico · Mostra di più »

Conoscenza

La conoscenza è la consapevolezza e la comprensione di fatti, verità o informazioni ottenute attraverso l'esperienza o l'apprendimento (a posteriori), ovvero tramite l'introspezione (a priori).

Nuovo!!: Logica e Conoscenza · Mostra di più »

Controllore logico programmabile

Il controllore a logica programmabile o programmable logic controller (PLC) è un computer per industria specializzato in origine nella gestione o controllo dei processi industriali.

Nuovo!!: Logica e Controllore logico programmabile · Mostra di più »

Critica della ragion pura

La Critica della ragion pura (titolo originale Kritik der reinen Vernunft) è l'opera maggiormente nota di Immanuel Kant.

Nuovo!!: Logica e Critica della ragion pura · Mostra di più »

David Hilbert

È stato uno dei più eminenti ed influenti matematici del periodo a cavallo tra il XIX secolo e il XX secolo.

Nuovo!!: Logica e David Hilbert · Mostra di più »

Deduzione

Il metodo deduttivo o deduzione è il procedimento razionale che fa derivare una certa conclusione da premesse più generiche, dentro cui quella conclusione è implicita.

Nuovo!!: Logica e Deduzione · Mostra di più »

Diairesi

La diairesi (dihairesis o diairesis, dal greco διαίρεσις) o dièresi è un termine tecnico utilizzato nella filosofia platonica e stoica.

Nuovo!!: Logica e Diairesi · Mostra di più »

Dialettica

La dialettica è uno dei principali metodi argomentativi della filosofia.

Nuovo!!: Logica e Dialettica · Mostra di più »

Dicotomia

Il termine dicotomia deriva dal greco διχοτομία, dichotomìa: composto da δίχα (dìcha, in due parti) e τέμνω (témno, divido) ed è usato prevalentemente in matematica, filosofia e linguistica.

Nuovo!!: Logica e Dicotomia · Mostra di più »

Dimostrazione

La dimostrazione è una serie di ragionamenti logici che, partendo da una ipotesi, porta necessariamente a una tesi.

Nuovo!!: Logica e Dimostrazione · Mostra di più »

Dimostrazione per assurdo

La dimostrazione per assurdo (per cui si usa anche la locuzione latina reductio ad absurdum), nota anche come ragionamento per assurdo, è un tipo di argomentazione logica in cui si assume temporaneamente un'ipotesi, si giunge ad una conclusione assurda, e quindi si dimostra che l'assunto originale deve essere errato.

Nuovo!!: Logica e Dimostrazione per assurdo · Mostra di più »

Diogene Laerzio

Non ci è pervenuta alcuna notizia sulla sua vita; il nome Laerzio potrebbe derivare dalla città di Laerte, in Cilicia, l'odierna Alanya in Turchia; altri, rifacendosi alla sua biografia di Timone di Fliunte, commentata da Apollonide di Nicea, nella quale Diogene chiama quest'ultimo "ὁ παρ' ἡμῶν" ("uno di noi"), ne deducono che egli fosse originario di Nicea; altri ancora, infine, attraverso deduzioni di carattere culturale, pur non pronunciandosi sulla sua origine, ritengono almeno che egli sia prevalentemente vissuto ad Alessandria.

Nuovo!!: Logica e Diogene Laerzio · Mostra di più »

Divenire

Il divenire, inteso come mutamento, movimento, scorrere senza fine della realtà, perenne nascere e morire delle cose, è stato uno dei concetti filosofici più importanti su cui si sono contrapposte visioni ontologiche di tipo statico (come quella eleatica) e di tipo dinamico (come quella eraclitea e dell'atomismo leucippeo).

Nuovo!!: Logica e Divenire · Mostra di più »

Dualismo onda-particella

In fisica con dualismo onda-particella, o dualismo onda-corpuscolo, si definisce la duplice natura, sia corpuscolare sia ondulatoria, del comportamento della materia e della radiazione elettromagnetica.

Nuovo!!: Logica e Dualismo onda-particella · Mostra di più »

Eraclito

Il suo pensiero risulta particolarmente difficile da comprendere ed è stato interpretato nei modi più diversi a causa del suo stile oracolare e della frammentarietà nella quale ci è giunta la sua opera.

Nuovo!!: Logica e Eraclito · Mostra di più »

Essere

Quello dell'essere è un tema che attraversa tutta la storia della filosofia fin dai suoi esordi.

Nuovo!!: Logica e Essere · Mostra di più »

Fallacia

Le fallacie sono errori nascosti nel ragionamento che comportano la violazione delle regole di un confronto argomentativo corretto.

Nuovo!!: Logica e Fallacia · Mostra di più »

Filosofia greca

La filosofia greca rappresenta, nell'ambito della storia della filosofia occidentale, il primo momento dell'evoluzione del pensiero filosofico.

Nuovo!!: Logica e Filosofia greca · Mostra di più »

Filosofia medievale

La filosofia medievale costituisce un imponente ripensamento dell'intera tradizione classica sotto la spinta delle domande poste dalle tre grandi religioni monoteiste.

Nuovo!!: Logica e Filosofia medievale · Mostra di più »

Fisica moderna

Si definisce fisica moderna l'insieme delle teorie fisiche sviluppate a partire dal XX secolo, che hanno segnato sotto vari aspetti un salto concettuale rispetto alla fisica classica, elaborata dal XVII secolo.

Nuovo!!: Logica e Fisica moderna · Mostra di più »

Francesco Bacone

Formatosi con studi in legge e giurisprudenza, divenne un sostenitore e strenuo difensore della rivoluzione scientifica sostenendo il metodo induttivo fondato sull'esperienza.

Nuovo!!: Logica e Francesco Bacone · Mostra di più »

Georg Wilhelm Friedrich Hegel

È autore di una delle linee di pensiero più profonde e complesse della tradizione occidentale; la sua riflessione filosofica nasce all'interno dell'ambiente culturale tedesco di inizio '800, dominato dalla filosofia kantiana e dai suoi sviluppi idealistici.

Nuovo!!: Logica e Georg Wilhelm Friedrich Hegel · Mostra di più »

George Boole

Padre della matematica Alicia Boole, la sua opera influenzò anche settori della filosofia e diede vita alla scuola degli algebristi della logica.

Nuovo!!: Logica e George Boole · Mostra di più »

Gnoseologia

La gnoseologia (AFI:; dal greco gnòsis, "conoscenza", + lògos, "discorso"), chiamata anche teoria della conoscenza, è quella branca della filosofia che si occupa dello studio della conoscenza.

Nuovo!!: Logica e Gnoseologia · Mostra di più »

Gottfried Wilhelm von Leibniz

A lui si deve il termine "funzione", che egli usò per individuare le proprietà di una curva, tra cui l'andamento, la pendenza e la perpendicolare in un punto, la corda.

Nuovo!!: Logica e Gottfried Wilhelm von Leibniz · Mostra di più »

Gottlob Frege

Frege è considerato quasi unanimemente dalla critica odierna uno dei più grandi logici dopo Aristotele, ed è il padre del pensiero formale del Novecento.

Nuovo!!: Logica e Gottlob Frege · Mostra di più »

Grammatica

La grammatica è, in linguistica, quel complesso di regole necessarie alla costruzione di frasi, sintagmi e parole di una determinata lingua.

Nuovo!!: Logica e Grammatica · Mostra di più »

Grecia

La Grecia (in: Ελλάδα, Ellada, oppure Ελλάς, Ellas), nome ufficiale Repubblica Ellenica (in greco: Ελληνική Δημοκρατία, Ellīnikī Dimokratia), è uno Stato membro dell'Unione europea situato nell'Europa meridionale, il cui territorio coincide in gran parte con l'estremo lembo sud della penisola balcanica.

Nuovo!!: Logica e Grecia · Mostra di più »

Guido Calogero

Per la sua intensa attività civile, politica e di pensiero, è stato uno fra i più attivi e impegnati intellettuali del Novecento italiano.

Nuovo!!: Logica e Guido Calogero · Mostra di più »

Idea

Idea (dal greco antico ἰδέα, dal tema di ἰδεῖν, vedere) è un termine usato sin dagli albori della filosofia, indicante in origine un'essenza primordiale e sostanziale, ma che oggi ha assunto nel linguaggio comune un significato più ristretto, riferibile in genere ad una rappresentazione o un "disegno" della mente.

Nuovo!!: Logica e Idea · Mostra di più »

Identità (filosofia)

Identità, (dal latino identitas, derivato da idem ("stessa cosa"), che riproduce il lemma greco ταὐτότης), è un termine e un principio filosofico che genericamente indica l'eguaglianza di un oggetto rispetto a sé stesso.

Nuovo!!: Logica e Identità (filosofia) · Mostra di più »

Immanenza

L'immanenza è un concetto filosofico metafisico (antitetico a quello di trascendenza) che si riferisce alla qualità di ciò che è immanente, ossia ciò che risiede nell'essere, ha in sé il proprio principio e fine e, facendo parte dell'essenza di un soggetto, non può avere un'esistenza da questo separata.

Nuovo!!: Logica e Immanenza · Mostra di più »

Immanuel Kant

Fu il più importante esponente dell'illuminismo tedesco, anticipatore degli elementi fondanti della filosofia idealistica e della modernità.

Nuovo!!: Logica e Immanuel Kant · Mostra di più »

Implicazione logica

Il termine implicazione logica si riferisce al legame che esiste tra una proposizione (antecedente) ed un'altra proposizione (conseguente) in modo da metterne in relazione i rispettivi valori di verità.

Nuovo!!: Logica e Implicazione logica · Mostra di più »

Induzione

Il metodo induttivo o induzione (dal latino inductio, dal verbo induco, presente di in-ducere), termine che significa letteralmente "portar dentro", ma anche "chiamare a sé", "trarre a sé", è un procedimento che partendo da singoli casi particolari cerca di stabilire una legge universale.

Nuovo!!: Logica e Induzione · Mostra di più »

Inferenza

Nella logica l'inferenza (dal latino inferre, letteralmente portare dentro) è il processo, induttivo o deduttivo, attraverso il quale da una proposizione assunta come vera si passa a una seconda proposizione la cui verità è derivata dal contenuto della prima secondo opportune regole di inferenza.

Nuovo!!: Logica e Inferenza · Mostra di più »

Informatica

L'informatica è la scienza applicata che si occupa del trattamento dell'informazione mediante procedure automatizzate.

Nuovo!!: Logica e Informatica · Mostra di più »

Intelletto

L'intelletto (dal latino intellectus,-us, derivato dal participio passato del verbo intellìgere.

Nuovo!!: Logica e Intelletto · Mostra di più »

Intuizione

L'intuizione in filosofia indica quel tipo di conoscenza immediata che non si avvale del ragionamento o della conoscenza sensibile.

Nuovo!!: Logica e Intuizione · Mostra di più »

Intuizione intellettuale

L’intuizione intellettuale, nell'idealismo, è l'atto con cui il pensiero, nel riflettere su di sé, si rende oggetto a se stesso.

Nuovo!!: Logica e Intuizione intellettuale · Mostra di più »

Ipotesi

Un'ipotesi (dal greco antico ὑπόθεσις hypothesis, composto da hypo, "sotto" e thesis, "posizione", ovvero supposizione) è la premessa sottesa ad un ragionamento o a una dimostrazione.

Nuovo!!: Logica e Ipotesi · Mostra di più »

Ipotesi di de Broglie

L'ipotesi di de Broglie afferma che ai corpi materiali, e in particolare alle particelle, sono associate le proprietà fisiche tipiche delle onde.

Nuovo!!: Logica e Ipotesi di de Broglie · Mostra di più »

Karl Popper

Popper è anche considerato un filosofo politico di statura considerevole, difensore della democrazia e dell'ideale di libertà e avversario di ogni forma di totalitarismo.

Nuovo!!: Logica e Karl Popper · Mostra di più »

Kurt Gödel

Ritenuto uno dei più grandi logici di tutti i tempi insieme ad Aristotele e Gottlob Frege, le sue ricerche ebbero un significativo impatto, oltre che sul pensiero matematico e informatico, anche sul pensiero filosofico del XX secolo.

Nuovo!!: Logica e Kurt Gödel · Mostra di più »

Lingua greca

Il greco (greco moderno: ελληνικά, elliniká, greco; ελληνική γλώσσα, ellinikí glóssa, lingua greca) è un branco indipendente della famiglia delle lingue indoeuropee, nativa della Grecia ed altre parti del Mediterraneo dell'est e del Mar Nero.

Nuovo!!: Logica e Lingua greca · Mostra di più »

Lingua greca antica

Il greco antico è una lingua appartenente alla famiglia delle lingue indoeuropee, parlata in Grecia fra il IX secolo a.C. e VI secolo d.C. Essa copre il periodo arcaico (circa tra il IX secolo a.C. e il VI secolo a.C.), il periodo classico (all'incirca dal V secolo a.C. fino al IV secolo a.C.) e il periodo ellenistico (dal III secolo a.C. al IV secolo d.C.).

Nuovo!!: Logica e Lingua greca antica · Mostra di più »

Lingua logica

Una lingua logica (in inglese "loglang"), è una lingua artificiale, progettata per verificare o dimostrare una certa ipotesi circa il funzionamento delle lingue o il loro potenziale.

Nuovo!!: Logica e Lingua logica · Mostra di più »

Linguaggio

Il linguaggio, in linguistica, è il complesso definito di suoni, gesti e movimenti attraverso il quale si attiva un processo di comunicazione.

Nuovo!!: Logica e Linguaggio · Mostra di più »

Linguaggio formale

Per linguaggio formale, in matematica, logica, informatica e linguistica, si intende un insieme di stringhe di lunghezza finita costruite sopra un alfabeto finito, cioè sopra un insieme finito di oggetti tendenzialmente semplici che vengono chiamati caratteri, simboli o lettere.

Nuovo!!: Logica e Linguaggio formale · Mostra di più »

Logica classica

La logica classica è la branca della logica formale che è stata più studiata e usata.

Nuovo!!: Logica e Logica classica · Mostra di più »

Logica descrittiva

Le logiche descrittive (in inglese, description logics) sono una famiglia di formalismi utilizzati per rappresentare la conoscenza in un dominio di applicazione detto mondo.

Nuovo!!: Logica e Logica descrittiva · Mostra di più »

Logica fuzzy

La logica fuzzy o logica sfumata o logica sfocata è una logica in cui si può attribuire a ciascuna proposizione un grado di verità diverso da 0 e 1 e compreso tra di loro.

Nuovo!!: Logica e Logica fuzzy · Mostra di più »

Logica giuridica

Se la logica è la scienza del ragionamento, la logica giuridica è la scienza del ragionamento giuridico.

Nuovo!!: Logica e Logica giuridica · Mostra di più »

Logica intuizionista

La logica intuizionista (o intuizionistica), o logica costruttiva, è la logica dell'intuizionismo matematico e di altre forme di costruttivismo matematico.

Nuovo!!: Logica e Logica intuizionista · Mostra di più »

Logica matematica

La logica matematica è il settore della matematica che studia i sistemi formali dal punto di vista del modo di codificare i concetti intuitivi della dimostrazione e di computazione come parte dei fondamenti della matematica.

Nuovo!!: Logica e Logica matematica · Mostra di più »

Logica modale

Nell'ambito della logica formale, si indica come logica modale una qualsiasi logica in cui è possibile esprimere il "modo" in cui una proposizione è vera o falsa.

Nuovo!!: Logica e Logica modale · Mostra di più »

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.

Nuovo!!: Logica e Logica polivalente · Mostra di più »

Logica proposizionale

La logica proposizionale (o enunciativa) è un linguaggio formale con una semplice struttura sintattica, basata fondamentalmente su proposizioni elementari (atomi) e su connettivi logici di tipo vero-funzionale, che restituiscono il valore di verità di una proposizione in base al valore di verità delle proposizioni connesse (solitamente noti come AND, OR, NOT...). La semantica della logica proposizionale definisce il significato dei simboli e di qualsiasi proposizione che rispetti le regole sintattiche del linguaggio, basandosi sui valori di verità associati agli atomi.

Nuovo!!: Logica e Logica proposizionale · Mostra di più »

Logos

Logos (in greco: λόγος, corrispondente al latino verbum e all'ebraico דבר davar), deriva dal greco λέγω (légο), che significa scegliere, raccontare, enumerare, parlare, pensare.

Nuovo!!: Logica e Logos · Mostra di più »

Louis-Victor Pierre Raymond de Broglie

Si impose all'attenzione del mondo scientifico con la sua tesi di dottorato, in cui espose le innovative teorie sul dualismo onda-particella della materia, aspetto fondamentale della meccanica quantistica, per il quale vinse il Premio Nobel per la fisica nel 1929.

Nuovo!!: Logica e Louis-Victor Pierre Raymond de Broglie · Mostra di più »

Ludwig Wittgenstein

Unico libro pubblicato in vita da Wittgenstein fu il Tractatus logico-philosophicus, dedicato alla memoria del suo amico David Hume Pinsent, la cui prefazione venne curata dal filosofo e matematico Bertrand Russell.

Nuovo!!: Logica e Ludwig Wittgenstein · Mostra di più »

Matematica

La matematica (dal greco μάθημα (máthema), traducibile con i termini "scienza", "conoscenza" o "apprendimento"; μαθηματικός (mathematikós) significa "incline ad apprendere") è la disciplina che studia le quantità (i numeri), lo spazio,.

Nuovo!!: Logica e Matematica · Mostra di più »

Meccanica quantistica

La meccanica quantistica (anche detta fisica quantistica o teoria dei quanti) è la teoria della meccanica attualmente più completa, in grado di descrivere il comportamento della materia, della radiazione e le reciproche interazioni con particolare riguardo ai fenomeni caratteristici della scala di lunghezza o di energia atomica e subatomica, dove le teorie precedenti risultano inadeguate.

Nuovo!!: Logica e Meccanica quantistica · Mostra di più »

Mereologia

In filosofia la mereologia (composizione del greco μερος, meros, "parte" e -λογία, logia, "discorso", "studio", "teoria") è uno dei "cosiddetti" «sistemi di Leśniewski», ossia è la teoria, o scienza, delle relazioni parti-tutto; presentata da Achille Varzi come teoria «delle relazioni della parte al tutto e da parte a parte con un tutto» (o «teoria delle parti e dell'intero»), da Hilary Putnam come «"il calcolo delle parti e degli interi"» e da Claudio Calosi come la «teoria formale delle parti e delle relazioni di parte».

Nuovo!!: Logica e Mereologia · Mostra di più »

Metafisica

La metafisica è quella parte della filosofia che, andando oltre gli elementi contingenti dell'esperienza sensibile, si occupa degli aspetti ritenuti più autentici e fondamentali della realtà, secondo la prospettiva più ampia e universale possibile.

Nuovo!!: Logica e Metafisica · Mostra di più »

Nous

Noûs contrazione dell'analogo ionico, (nóos), è un termine che in greco antico indica, a partire da Omero, la facoltà di comprendere un evento o le intenzioni di qualcuno Enciclopedia Garzanti di filosofia alla voce corrispondente, la facoltà mentale quindi l'intelletto.

Nuovo!!: Logica e Nous · Mostra di più »

Novum Organum

Il Novum Organum o Novum Organum Scientiarum (trad. "Nuovo Strumento") è l'opera principale del filosofo britannico Francis Bacon, il quale concepiva la scienza come tecnica capace di dare all'uomo il dominio del mondo naturale.

Nuovo!!: Logica e Novum Organum · Mostra di più »

Numero

In matematica, un numero è un modo di esprimere una quantità, oppure la posizione in un elenco di elementi, oppure il rapporto tra grandezze dello stesso tipo.

Nuovo!!: Logica e Numero · Mostra di più »

Onda

In fisica con il termine onda si indica una perturbazione che nasce da una sorgente e si propaga nel tempo e nello spazio, trasportando energia o quantità di moto senza comportare un associato spostamento della materia.

Nuovo!!: Logica e Onda · Mostra di più »

Ontologia

L'ontologia, una delle branche fondamentali della filosofia, è lo studio dell'essere in quanto tale, nonché delle sue categorie fondamentali.

Nuovo!!: Logica e Ontologia · Mostra di più »

Opinione

Il termine opinione (dal latino opinio, -onis; in greco, dòxa) genericamente esprime la convinzione che una o più persone si formano nei confronti di specifici fatti in assenza di precisi elementi di certezza assoluta per stabilirne la sicura verità.

Nuovo!!: Logica e Opinione · Mostra di più »

Organon

Organon (Órganon, "strumento") è il nome dato da Andronico di Rodi, seguace di Aristotele tra i Peripatetici, all'edizione delle sue sei opere di logica.

Nuovo!!: Logica e Organon · Mostra di più »

Paradosso

Un paradosso, dal greco παρά (contro) e δόξα (opinione), è, genericamente, la descrizione di un fatto che contraddice l'opinione comune o l'esperienza quotidiana, riuscendo perciò sorprendente, straordinaria o bizzarra; più precisamente, in senso logico-linguistico, indica sia un ragionamento che appare invalido, ma che deve essere accettato, sia un ragionamento che appare corretto, ma che porta a una contraddizione.

Nuovo!!: Logica e Paradosso · Mostra di più »

Paralogismo

Il paralogismo (dal latino paralogismus, a sua volta derivato dal greco antico, composto di (para-), "contro", e (logismós), "riflessione, ragionamento") è un ragionamento errato.

Nuovo!!: Logica e Paralogismo · Mostra di più »

Parmenide

Parmenide nacque in Magna Grecia, ad Elea (Velia in epoca romana, oggi Ascea), da una famiglia aristocratica.

Nuovo!!: Logica e Parmenide · Mostra di più »

Particella subatomica

Le particelle subatomiche sono tutte le particelle che costituiscono gli atomi.

Nuovo!!: Logica e Particella subatomica · Mostra di più »

Pensiero

Il pensiero è l'attività della mente, un processo che si esplica nella formazione delle idee, dei concetti, della coscienza, dell'immaginazione, dei desideri, della critica, del giudizio, e di ogni raffigurazione del mondo; può essere sia conscio che inconscio.

Nuovo!!: Logica e Pensiero · Mostra di più »

Pitagora

Fu matematico, taumaturgo, astronomo, scienziato, politico e fondatore a Crotone di una delle più importanti scuole di pensiero dell'umanità, che prese da lui stesso il suo nome: la Scuola pitagorica.

Nuovo!!: Logica e Pitagora · Mostra di più »

Platone

Assieme al suo maestro Socrate e al suo allievo Aristotele ha posto le basi del pensiero filosofico occidentale.«The safest general characterization of the European philosophical tradition is that it consists of a series of footnotes to Plato» (A. N. Whitehead, in Process and Reality, p. 39, Free Press, 1979).

Nuovo!!: Logica e Platone · Mostra di più »

Platonismo

Il platonismo è una corrente filosofica risalente a Platone.

Nuovo!!: Logica e Platonismo · Mostra di più »

Positivismo logico

Il positivismo logico, anche noto come neopositivismo, neoempirismo o empirismo logico, è una corrente filosofica che sorge nella prima metà del Novecento con il Circolo di Vienna, basata sul principio che la filosofia debba aspirare al rigore metodologico proprio della scienza.

Nuovo!!: Logica e Positivismo logico · Mostra di più »

Predicato

Il predicato (dal latino praedicatum, "ciò che viene affermato") è un elemento della frase (una parola o un gruppo di parole) o una frase elementare che può costituire insieme al soggetto una frase completa, fornendo al soggetto stesso il significato logico della sua esistenza nella frase.

Nuovo!!: Logica e Predicato · Mostra di più »

Presocratici

Con l'espressione "filosofia presocratica" si designa comunemente a partire dalla fine del XVIII secolo, la filosofia greca precedente a Socrate.

Nuovo!!: Logica e Presocratici · Mostra di più »

Principio di complementarità

In meccanica quantistica il principio di complementarità afferma che il duplice aspetto di alcune rappresentazioni fisiche dei fenomeni a livello atomico e subatomico non può essere osservato contemporaneamente durante lo stesso esperimento.

Nuovo!!: Logica e Principio di complementarità · Mostra di più »

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.

Nuovo!!: Logica e Principio di non contraddizione · Mostra di più »

Proposizione (logica)

In filosofia e logica moderna una proposizione è una proposizione (linguistica) avente un significato che afferma o nega qualcosa, ad esempio “la neve è bianca”.

Nuovo!!: Logica e Proposizione (logica) · Mostra di più »

Quanto

In fisica il quanto (dal latino quantum che significa quantità) è la quantità elementare e indivisibile di una certa grandezza.

Nuovo!!: Logica e Quanto · Mostra di più »

Ragionamento

Il ragionamento è il processo cognitivo che, partendo da determinate premesse, porta a una conclusione, facendo uso di procedimenti logici, tipico delle argomentazioni.

Nuovo!!: Logica e Ragionamento · Mostra di più »

Ragione

La ragione, in filosofia, è la facoltà dell'intelletto per mezzo della quale si esercita il pensiero razionale, ovvero quello rivolto ad argomenti astratti tipici del ragionamento, contrapponendosi alla sfera dell'irrazionalità.

Nuovo!!: Logica e Ragione · Mostra di più »

Raymond Smullyan

Nato a Far Rockaway, nel Queens, uno dei cinque distretti di New York, mostrò fin dalla più tenera età grande interesse per la musica, e specialmente per il pianoforte, che iniziò a suonare all'età di tre anni.

Nuovo!!: Logica e Raymond Smullyan · Mostra di più »

Retorica

La retorica è tradizionalmente intesa come l'arte del dire, del parlare, e più specificatamente del persuadere con le parole.

Nuovo!!: Logica e Retorica · Mostra di più »

Scienza

Per scienza si intende un sistema di conoscenze ottenute attraverso un'attività di ricerca prevalentemente organizzata e con procedimenti metodici e rigorosi (il metodo scientifico), avente lo scopo di giungere, attraverso delle prove, ad una descrizione, verosimile, oggettiva e con carattere predittivo, della realtà e delle leggi che regolano l'occorrenza dei fenomeni.

Nuovo!!: Logica e Scienza · Mostra di più »

Scolastica (filosofia)

Immagine di una scuola risalente al XIV secolo. Scolastica è il termine con il quale comunemente si definisce la filosofia cristiana medioevale, in cui si sviluppò quella scuola di pensiero detta anche scolasticismo.

Nuovo!!: Logica e Scolastica (filosofia) · Mostra di più »

Scuola eleatica

La scuola eleatica è una scuola filosofica presocratica attiva ad Elea, colonia greca dell'antica Lucania, il cui esponente principale fu Parmenide.

Nuovo!!: Logica e Scuola eleatica · Mostra di più »

Semantica

La semantica è quella parte della linguistica che studia il significato delle parole (semantica lessicale), degli insiemi delle singole lettere (negli e degli alfabeti antichi) e delle frasi (semantica frasale) e dei testi.

Nuovo!!: Logica e Semantica · Mostra di più »

Sesto Empirico

È stato uno dei maggiori esponenti dello scetticismo.

Nuovo!!: Logica e Sesto Empirico · Mostra di più »

Sillogismo

Il sillogismo (dal greco συλλογισμός, syllogismòs, formato da σύν, syn, "insieme", e λογισμός, logismòs, "calcolo": quindi, "ragionamento concatenato") è un tipo di ragionamento dimostrativo che fu teorizzato per la prima volta da Aristotele, il quale, partendo dai tipi di termine "maggiore" (che funge da predicato nella conclusione), "medio" e "minore" (che funge da soggetto nella conclusione) classificati in base al rapporto contenente-contenuto, giunge ad una conclusione collegando i suddetti termini attraverso brevi enunciati (premesse).

Nuovo!!: Logica e Sillogismo · Mostra di più »

Sistema formale

In logica matematica la nozione di sistema formale è utilizzata per fornire una definizione rigorosa del concetto di dimostrazione.

Nuovo!!: Logica e Sistema formale · Mostra di più »

Socrate

Il contributo più importante che egli ha dato alla storia del pensiero filosofico consiste nel suo metodo d'indagine: il dialogo che utilizzava lo strumento critico dellelenchos (ἔλεγχος, "confutazione") applicandolo prevalentemente all'esame in comune (ἐξετάζειν, exetάzein) di concetti morali fondamentali.

Nuovo!!: Logica e Socrate · Mostra di più »

Sofisma

Con sofisma si fa riferimento ad un'argomentazione capziosa e fallace, apparentemente valida ma fondata in realtà su errori logici formali o ambiguità linguistiche determinate dall'atteggiamento eristico e dall'intento volutamente ingannevole.

Nuovo!!: Logica e Sofisma · Mostra di più »

Sofistica

La sofistica è una corrente filosofica sviluppatasi nell'antica Grecia, ad Atene in particolare, a partire dalla seconda metà del V secolo a.C., la quale, in polemica con la filosofia della scuola eleatica e avvalendosi del metodo dialettico di Zenone di Elea, pone al centro della sua riflessione l'uomo e le problematiche relative alla morale e alla vita sociale e politica.

Nuovo!!: Logica e Sofistica · Mostra di più »

Soggetto (filosofia)

Il termine soggetto che deriva dal latino subiectus (participio passato di subicere, composto da sub, sotto e iacere gettare, quindi assoggettare) letteralmente significa "quello posto sotto", "ciò che sta sotto".

Nuovo!!: Logica e Soggetto (filosofia) · Mostra di più »

Stoicismo

Lo stoicismo è una corrente filosofica e spirituale, di impronta razionale e panteista, fondata intorno al 300 a.C. ad Atene da Zenone di Cizio, con un forte orientamento etico; la morale stoica risente di quella dei cinici, mentre la fisica prende ispirazione da quella di Eraclito.

Nuovo!!: Logica e Stoicismo · Mostra di più »

Storia della filosofia occidentale

Per storia della filosofia occidentale si intende la storia del pensiero occidentale così come si è espresso attorno a molteplici questioni filosofiche; iniziata con la nascita del pensiero speculativo greco nel VII secolo a.C., ha coinvolto i pensatori di tutta Europa durante il Medioevo, l'era moderna e contemporanea, in un confronto continuo con i pensatori precedenti e con gli sviluppi di altri campi del sapere.

Nuovo!!: Logica e Storia della filosofia occidentale · Mostra di più »

Storia della scienza

La storia della scienza riguarda le vicende, i personaggi, e gli esperimenti, che hanno portato a maturare il concetto di progresso scientifico.

Nuovo!!: Logica e Storia della scienza · Mostra di più »

Subcontinente indiano

Il subcontinente indiano è una vasta regione che occupa la parte centromeridionale dell'Asia e si allunga con un vasto triangolo peninsulare tra Golfo del Bengala e Mare Arabico.

Nuovo!!: Logica e Subcontinente indiano · Mostra di più »

Tertium non datur

Tertium non datur (tradotto: «Una terza cosa non è data») è una locuzione che appartiene al repertorio delle celebri frasi in lingua latina entrate nel patrimonio culturale mondiale.

Nuovo!!: Logica e Tertium non datur · Mostra di più »

Thomas Hobbes

Oltre che di teoria politica si interessò e scrisse anche di storia, geometria, etica, ed economia.

Nuovo!!: Logica e Thomas Hobbes · Mostra di più »

Trascendentale

Il termine trascendentale, da non confondersi con "trascendente", ha assunto in filosofia diversi significati: comparso per la prima volta nella filosofia medievale per designare una proprietà massimamente «universale», fu rielaborato dal filosofo tedesco Kant e dagli idealisti tedeschi Fichte e Schelling in riferimento a ciò che esiste «in sè e per sé», ma è funzionale ad altro da sè; quest'ultimo significato è stato riadattato infine dalla fenomenologia di Husserl.

Nuovo!!: Logica e Trascendentale · Mostra di più »

Trascendenza

Il termine trascendenza, antitetico al concetto di immanenza, deriva dal latino ("trans" + "ascendere".

Nuovo!!: Logica e Trascendenza · Mostra di più »

Trivio

Il trivio o trivium, in epoca medievale, stava ad indicare ad un tempo tre arti liberali ed il loro insegnamento.

Nuovo!!: Logica e Trivio · Mostra di più »

Verità

Con il termine verità (in latino veritas, in greco αλήϑεια) si indica il senso di accordo o di coerenza con un dato o una realtà oggettiva, o la proprietà di ciò che esiste in senso assoluto e non può essere falso.

Nuovo!!: Logica e Verità · Mostra di più »

Wilhelm Wundt

È divenuto per la storia della psicologia "il padre fondatore" della disciplina (Blumenthal, 1879), grazie al suo contributo teorico e sperimentale.

Nuovo!!: Logica e Wilhelm Wundt · Mostra di più »

XIX secolo

È il primo secolo dell'età contemporanea, un secolo di grandi trasformazioni sociali, politiche, culturali ed economiche a partire dalla caduta di Napoleone Bonaparte e la successiva Restaurazione, i moti rivoluzionari, la costituzione di molti stati moderni tra cui il Regno d'Italia, la guerra di secessione americana, la seconda rivoluzione industriale fra positivismo, evoluzionismo e decadentismo, l'imperialismo e sul finire la grande depressione e la Belle Époque.

Nuovo!!: Logica e XIX secolo · Mostra di più »

XVII secolo

È usualmente ricordato in Europa come il secolo dell'assolutismo monarchico in politica, della rivoluzione scientifica nelle scienze e del barocco nell'arte e nella letteratura.

Nuovo!!: Logica e XVII secolo · Mostra di più »

XVIII secolo

Nel 1780 ci fu la prima rivoluzione industriale, James Watt inventa la macchina a vapore che rivoluziona appunto l'industria: i prezzi dei prodotti calarono rendendo la popolazione povera più felice, mentre gli artigiani persero così il lavoro perché i loro prodotti erano più costosi anche se unici.

Nuovo!!: Logica e XVIII secolo · Mostra di più »

Zenone di Elea

Aristotele lo definisce inventore della dialettica.

Nuovo!!: Logica e Zenone di Elea · Mostra di più »

UscenteArrivo
Ehi! Siamo su Facebook ora! »