Search results

{{Short description|Concept of logic or linguistics}} In [[logic]] and [[linguistics]], an expression is '''syncategorematic''' if it lacks ...

...britannica.com/topic/reductio-ad-absurdum|title=Reductio ad absurdum {{!}} logic|website=Encyclopedia Britannica|language=en|access-date=2019-11-27}}</ref>< ...rmally given the abbreviation RAA, which is expressible in [[propositional logic]]. This axiom is the introduction rule for negation (see ''[[negation intro ...

[[Babylonian mathematics|Babylonian]] and [[Ancient Egyptian mathematics|Egyptian mathematics]] solving quadratic equations ==== Greek geomety ==== ...

{{short description|System of propositional logic developed by the Stoic philosophers}} ...ropositional logic]] developed by the [[Stoicism|Stoic]] philosophers in [[ancient Greece]]. ...

...t Schröder]] and the closely related [[Schröder number]]s, and the ancient Greek mathematician [[Hipparchus]] who appears from evidence in [[Plutarch]] to h |title = On the shoulders of Hipparchus: A reappraisal of ancient Greek combinatorics ...

...mpton-322/ |access-date=2023-04-04 |website=Institute for the Study of the Ancient World, [[New York University]]}}</ref> * {{annotated link|Timeline of ancient Greek mathematicians}} ...

...{{cite journal |last=Ossendrijver |first=Mathieu |date=Jan 29, 2016 |title=Ancient Babylonian astronomers calculated Jupiter's position from the area under a ...odicals/convergence/on-squares-rectangles-and-square-roots-square-roots-in-ancient-chinese-mathematics |access-date=2022-11-03 |website=www.maa.org}}</ref> ...

...ribes - Geographicus - Israel-schryver-1729.jpg|thumb|right|250px|A map of ancient Israel, most likely drawn by the Dutch engraver Schryver in 1729, showing I ...k]] known as the [[Septuagint]], made in the last few centuries BC. Extant ancient manuscripts of the [[Septuagint]] version include [[Codex Vaticanus]] ('''B ...

From the time of the [[Greek mathematics|ancient Greeks]], the [[Infinity (philosophy)|philosophical nature of infinity]] ha ...-theory/80EDFF3616F8D58590EBA0DCB9FD2E3E |journal=The Bulletin of Symbolic Logic |volume=16 |issue=3 |pages=359–377 |doi=10.2178/bsl/1286284558 |via=Cambrid ...

...]] known as the [[Septuagint]], made in the last few centuries BCE. Extant ancient manuscripts of the Septuagint version include [[Codex Vaticanus]] ('''B'''; ...hat YHWH himself challenges the king of Assyria for his faulty theological logic:{{sfn|Dietrich|2007|p=261}}{{sfn|Nelson|1987|p=240}} ...

Based on ancient Greek methods, an ''axiomatic system'' is a formal description of a way to establ # The laws of '''[[logic]]'''. ...

...t of the real numbers satisfying exactly the same sentences in first-order logic as the real numbers themselves. The set of [[hyperreal number]]s <!-- is eq ...d not be exactly determined.<ref>T. K. Puttaswamy, "The Accomplishments of Ancient Indian Mathematicians", pp. 410–11.&nbsp;In: {{citation |title = Mathematic ...

...a]] challenged this argument and proposed an alternative, based on [[modal logic]]. Attempts have also been made to validate Anselm's proof using an [[autom ...the ontological argument appears explicitly in the writings of the ancient Greek philosopher [[Xenophanes]] and variations appear in writings by [[Parmenide ...

|greek prefix=[[Wiktionary:mono-|mono-]]/[[Wiktionary:haplo-|haplo-]] |lang1=[[Greek numeral]] ...

...model, and critiques of [[Ptolemaic astronomy]]. He also made strides in [[logic]], mathematics but especially trigonometry, biology, and chemistry. Nasir a ...and Tus, he studied the [[Quran]], [[Hadith]], [[Ja'fari jurisprudence]], logic, philosophy, mathematics, medicine, and astronomy.<ref name="Dabashi">Dabas ...

{{About|the study of correct reasoning||Logic (disambiguation)|and|Logician (disambiguation)}} {{Redirect-multi|2|Logical|Logically|the rapper|Logic (rapper)|the British company|Logically (company)}} ...

The theorem is named for the [[Ancient Greece|Greek]] philosopher [[Pythagoras]], born around 570 BC. The theorem has been [[M ...gorean proof, but acknowledges from the outset of his discussion "that the Greek literature which we possess belonging to the first five centuries after Pyt ...

...e]] has also been proposed.<ref name=nyt>{{Cite news|title=How Old Is This Ancient Vision of the Stars?|url=https://www.nytimes.com/2020/09/13/science/nebra-s The ancient Hebrews, like all the ancient peoples of the Near East, believed the sky was a solid dome with the [[Sun] ...

..., [[number theory]], and [[calculus]], and other fields of inquiry, like [[logic]] and the [[empirical sciences]]. ...iable (mathematics)|variables]] and examines how mathematical [[Statement (logic)|statements]] may be transformed.<ref name="auto4">{{multiref | {{harvnb|Ma ...

...=March 15, 2015}}</ref><ref>{{cite web|url=http://www.math.buffalo.edu/mad/Ancient-Africa/ishango.html|title=an old Mathematical Object|publisher=|accessdate= ...first [[Babylonian cuneiform numerals|numeral system]], and a system of [[Ancient Mesopotamian units of measurement|weights and measures]]. ...