sharī‛a Legge sacra dell’islam, qual è dedotta dai quattro ‘fondamenti del diritto’ (uṣūl al-fiqh): il Corano, la sunna o consuetudine del Profeta, il consenso (iǵmā‛) della comunità musulmana, e il qiyās [...] o deduzione analogica. Si distinguono nella s. le norme riguardanti il culto e gli obblighi rituali da quelle di natura giuridica e politica. Le varie prescrizioni del diritto musulmano sono suddivise dai Sunniti in ‛ibādāt, le pratiche del culto, e ...
Leggi Tutto
apodittico
apodìttico [agg. (pl.m. -ci) Der. del lat. apodicticus, dal gr. apodeiktikós "dimostrativo"] [FAF] Nella logica, che deriva da un rigoroso processo (apodissi) di dimostrazione della validità [...] di una singola proposizione mediante la sua deduzione da un'altra verità più generale. ◆ [FAF] Giudizio a. (contrapp. ad assertorio e problematico): (a) quello in cui l'affermazione o la negazione si considerano come necessarie (A è necessariamente B ...
Leggi Tutto
LENATE, Marco Popilio (M. Popilius Laenas)
Giuseppe CARDINALI
Figlio di quel Publio che fu mandato ambasciatore a Siface nel 210 a. C. Triumviro nel 180, insieme col fratello e con Cn. Fabio Buteone, [...] per la deduzione di una colonia a Pisa; pretore nel 176, quando gli fu assegnata come provincia la Sardegna, ma pregò e ottenne di esserne dispensato; ambasciatore nel '174 in Etolia. Console nel 173 con L. Postumio Albino, combatté contro i Liguri ...
Leggi Tutto
conseguenza
conseguenza si dice che l’enunciato P è conseguenza logica di un insieme A di enunciati (tipicamente un sistema di assiomi) quando P è dedotta da uno o più enunciati di A. Se la deduzione [...] avviene nell’ambito di un sistema formale, l’enunciato P si ottiene a partire dagli enunciati di A attraverso regole di inferenza formali e si parla più propriamente di conseguenza sintattica. Per conseguenza ...
Leggi Tutto
ipsometria
ipsometrìa [Comp. di ipso- e -metria] [MTR] [GFS] Termine che indica generic. la misurazione della quota di punti della superficie terrestre o dell'atmosfera terrestre ma che specific. è usato [...] per indicare la tecnica di deduzione della quota dal valore della pressione atmosferica nel punto di interesse, applicando a tale valore la formula ipsometrica (→ ipsometrico). ...
Leggi Tutto
semiempirico Nel linguaggio scientifico e tecnico, si dice di metodo o trattazione che, pur basandosi su leggi e procedure teoriche (differenziandosi in ciò dai procedimenti puramente empirici), utilizza [...] anche, per semplicità o per l’impossibilità di eseguire una deduzione rigorosa, ipotesi e parametrizzazioni suggerite direttamente da dati sperimentali. ...
Leggi Tutto
Vedi TERMINI IMERESE dell'anno: 1966 - 1997
TERMINI IMERESE (v. vol. VII, p. 721)
O. Belvedere
L'avvenimento che permise alla città, fondata dai Cartaginesi nel 407 a.C., di diventare uno dei principali [...] prova dell'importanza assunta da questo centro in età imperiale. Lo sviluppo nei primi secoli d.C. va collegato alla deduzione della colonia, con il conseguente emergere di un ceto medio-alto, di lingua latina, e alla presenza di famiglie senatorie ...
Leggi Tutto
taglio, eliminazione del
taglio, eliminazione del in logica, e in particolare nel calcolo dei → sequenti, possibilità di non utilizzare la regola del taglio (→ taglio, regola del) in una dimostrazione. [...] dello stesso sequente in cui non si faccia uso di tale regola, rendendo così le deduzioni del calcolo dei sequenti assimilabili a procedure algoritmiche e stabilendo un legame fra la teoria della dimostrazione e l’informatica teorica (→ Curry ...
Leggi Tutto
predicati, calcolo dei
predicati, calcolo dei calcolo logico in cui si può esprimere, in modo rigoroso, un ragionamento e valutarne la correttezza. Se si pensa al ragionamento come a una successione [...] si scrive ⊢ F. La formula ben formata F è, quindi, un teorema della teoria e la sua dimostrazione è la catena di deduzione che va dagli assiomi a F. Il calcolo dei predicati è coerente, cioè in esso non è possibile derivare contraddizioni; quindi, se ...
Leggi Tutto
CARA, Marco (Marcus, Marchetto)
Cesare Casellato
In assenza di documenti la sua data di nascita si fa cadere generalmente nella seconda metà del sec. XV, ambito che le varie indicazioni di cui disponiamo [...] consentono di restringere, per deduzione e con relativa approssimazione, all'ultimo trentennio del secolo. Verona è la città natale del C. come indicano le sigle poste sul frontespizio di alcune sue opere in raccolte di musiche vocali del tempo: M.C ...
Leggi Tutto
deduzione
deduzióne s. f. [dal lat. deductio -onis, der. di deducĕre «dedurre»]. – 1. Termine tecnico usato dai Romani per indicare la fondazione di una colonia. 2. L’atto o il processo tramite il quale si perviene a una conclusione mediante...
deduttivo
agg. [dal lat. tardo deductivus, der. di deducĕre «dedurre»]. – Che riguarda la deduzione (come procedimento logico): metodo d., quello che procede per deduzione, usando cioè soltanto il ragionamento senza far ricorso all’esperienza...