Definizione di "differenza logica"?

Attualmente sto leggendo "SQL and Relational Theory" di CJ Date . E anche se sono abbastanza lontano nel libro, ho alcune domande di base. Voglio sapere cosa significa il termine "differenza logica", Il libro cerca di spiegare il termine con esempi, ma non spiega davvero cosa significhi (o forse sto capendo male ??)

Ecco una piccola parte del libro:

Ho detto che esiste una differenza logica tra una relazione e un'immagine di una relazione. Il concetto di differenza logica deriva da un detto di Wittgenstein:

• Tutte le differenze logiche sono grandi differenze.

So cosa significa intuitivamente una differenza logica, so qual è la differenza tra una relazione e un'immagine di una relazione. Quello che voglio è una definizione formale del concetto di "differenza logica", quindi ho una buona idea di cosa significhi.

Vedi il libro di Date:

Data sul database: scritti 2000-2006

Capitolo 4: Il concetto di differenza logica

Citazione saliente:

ti renderai conto che spesso appello nei miei scritti alla nozione di differenza logica. Questa nozione è quella che trovo straordinariamente utile nel mio lavoro; è di grande aiuto per un pensiero chiaro e preciso ... L'intento di ciò che segue [nel capitolo 4 di questo libro], quindi, è offrire una breve introduzione al concetto di differenza logica.

... tenendo presente che questo è Chris Date, per il quale "breve introduzione" equivale in realtà a 15 pagine di prosa tipicamente scritte tra cui note a piè di pagina e note di chiusura!

Segui il link sopra alla copia del libro di Google Libri, che dovrebbe aprirsi nel tuo browser, dove il capitolo sembra essere disponibile per intero. Dopo aver letto il capitolo, sono sicuro che avrai una buona comprensione del concetto di differenza logica.

Ho letto il capitolo. Penso di avere una buona idea di cosa significhi. Non esiste una "definizione" esplicita per una "differenza logica", pertanto tenterò di definire esplicitamente la "differenza logica".

per prima cosa spiegherò i termini che userò nella mia definizione.

• Concetto: ciò che viene testato per la differenza logica.
• Contesto: il concetto viene utilizzato in un certo modo.
• Risultato: gli effetti dopo il concetto sono stati utilizzati in un determinato contesto.

Definizione: un concetto è logicamente lo stesso di un altro concetto se per ogni possibile contesto in cui il concetto può essere usato ha lo stesso risultato per ogni concetto. Viceversa se i risultati sono diversi, allora c'è una differenza logica.

Penso che questa sia la risposta giusta.

Nota: questa è la definizione della mia attuale comprensione di "differenza logica", ciò non significa che sia la definizione corretta.

Dopo aver letto tutto il libro di CJ Date che ho potuto vedere al link fornito e aver letto in precedenza ampie porzioni di molti altri suoi libri (e aver visto molti dei suoi video didattici), credo di poter porre una definizione utile per la frase in domanda:

Credo che la frase "differenza logica" utilizzata da Chris Date significhi semplicemente una differenza che ha implicazioni logiche nel contesto dell'argomento in discussione, in contrasto con una differenza senza rilevanza per l'argomento in discussione.

Quest'ultimo tipo di differenza potrebbe essere chiamato "differenza superficiale", ma più probabilmente dovrebbe essere chiamato semplicemente "irrilevante".

Esempio: se stiamo parlando di database, esiste una differenza logica tra il modello e l'implementazione (come discusso in dettaglio per Data).

Esempio: se stiamo parlando di database e io sollevo la differenza tra un computer e un monitor, non la chiamereste "differenza logica". Tuttavia, non è nemmeno una "differenza superficiale"; è semplicemente del tutto irrilevante (inapplicabile) alla discussione.

Personalmente, direi che tutte le differenze sono differenze logiche.

La pertinenza o l'irrilevanza di una differenza osservata rispetto all'argomento in discussione non determina se si tratti o meno di una "differenza logica", sebbene si tratti , a mio avviso, di una descrizione accurata del modo in cui Chris Date usa il termine.

L' essenza della logica (o sanità mentale) è in grado di riconoscere la differenza tra due cose, ea riconoscere quando non v'è alcuna differenza.

Più precisamente:

La sanità mentale è la capacità di riconoscere differenze, somiglianze e identità.

(Questo è un fondamentale originariamente proposto da L. Ron Hubbard nel 1938.)

Quindi il concetto stesso di "differenza" è fondamentale per la nozione di "logica", quindi come potrebbe essere possibile avere una differenza che non è una differenza logica?

Se sostituisci tutti gli usi della frase "differenza logica" con "differenza importante" o "distinzione rilevante", non credo che perderai alcun significato.

Per prendere in prestito la stessa terminologia di Date, il concetto di "differenza logica" è logicamente lo stesso del concetto di "distinzione rilevante e importante".

A proposito, nel caso in cui le mie opinioni risultassero critiche, voglio chiarire perfettamente che penso che CJ Date sia un genio. :)