Resultats de la cerca
Es mostren 1142 resultats
ssi
Matemàtiques
Abreviatura de ‘‘si i només si’’, especialment en lògica matemàtica.
Imre Lakatos
Filosofia
Filòsof de la ciència hongarès.
La seva tesi doctoral, publicada en quatre articles en 1963-64 sota el títol Proofs and Refutations reeditats en forma de llibre el 1976, marca l’inici d’una metodologia d’anàlisi de la història de la ciència que, bé que originalment pretenia l’aplicació de les idees popperianes a la història de la matemàtica, revela un dinamisme intern de l’acte de la creació científica ben diferent de la recerca lineal de la no-contradicció lògica Aquesta metodologia, que aprofundeix en el seu article History of Science and its Rational Reconstructions 1972 l’assimila a altres autors postpopperians com ara…
George Boole
Lògica
Matemàtiques
Matemàtic i lògic anglès.
Autodidacte, s’introduí en matemàtica mitjançant l’estudi de les obres de Lagrange i les de Laplace, i el 1849 obtingué una càtedra al Queen's College de Corcaigh Féu importants treballs en anàlisi matemàtica i contribuí a la fixació del llavors naixent concepte d’invariància Però la seva aportació més important fou l’inici de la lògica simbòlica És autor de The Mathematical Analysis of Logic 1847, The Calculus of Logic 1848 i de la seva obra mestra, An Investigation into the Laws of Thought, on which are Founded the Mathematical Theories of Logic and Probabilities 1854 El seu treball, que…
estoïcisme
Filosofia
Escola filosòfica grecoromana.
Hom distingeix tres períodes dins l’estoïcisme l’estoïcisme primitiu segle III aC, representat per Zenó de Cítium, Cleantes i Crisip, que consisteix en una doctrina de base materialista que combina les línies generals dels cínics i d’Heràclit, tracta sobretot de física i lògica i es caracteritza pel dogmatisme, representat bàsicament per Crisip l’estoïcisme mitjà segle II-I aC, representat per Paneci i Posidoni, que incorpora elements platònics, abandona gradualment el materialisme i aborda preferentment temes morals i l’estoïcisme nou s I, representat per Sèneca, Epictet i Marc…
condicional
Lògica
Dit de la connectiva binària si..., llavors
, que representa l’anomenada implicació material
.
En la lògica simbòlica és representada pel signe ⊃
abstracte | abstracta
Filosofia
Dit de tota noció considerada de manera més o menys general i separadament de les representacions en les quals és donada.
Les ciències abstractes són les que empren les abstraccions més elevades metafísica, lògica, matemàtiques
implicació
Lògica
Relació formal consistent en el fet que una idea o proposició n’implica una altra.
En lògica simbòlica s’expressa mitjançant el signe ⊰ En matemàtiques hom utilitza el símbol ⇒
deducció natural
Lògica
Mètode de lògica proposat per Gerhard Gentzen el 1934, consistent en unes regles d’inferència, vàlides tant en la lògica sentencial com en la quantificacional.