Search results

...eometric knowledge representation |series=[[Synthese]] library: studies in epistemology, logic, methodology, and philosophy of science |volume=359 |location=Cham | ...eometric knowledge representation |series=[[Synthese]] library: studies in epistemology, logic, methodology, and philosophy of science |volume=359 |location=Cham | ...

...="Olsson" /> One advantage of its formal method in contrast to traditional epistemology is that its concepts and theorems can be defined with a high degree of prec ...her. The Bayesian approach has also been fruitful in the field of [[social epistemology]], for example, concerning the problem of [[testimony]] or the problem of g ...

...d 0s than the philosophical concepts normally associated with those terms. Formal arguments that are invalid are often associated with at least one fallacy w A formula of a [[formal language]] is a valid formula if and only if it is true under every possibl ...

...computer science]] ([[artificial intelligence]]), [[philosophy]] ([[formal epistemology]]), [[economics]] ([[game theory]]) and [[cognitive science]]. In computer ...= Ivan|publisher = Routledge|year = 1993|isbn = 978-0415057264}}</ref> The formal work, based on modal logic, that inaugurated contemporary research into epi ...

...te web|title=Bayesian Epistemology| url=https://plato.stanford.edu/entries/epistemology-bayesian/|publisher=Stanford Encyclopedia of Philosophy|access-date=Decembe ...''X'' will be preserved with respect to ''B'' (cf. [[#Formal_derivation|a Formal Derivation]] below). ...

...to be correct than a decision attained by a single expert. It serves as a formal argument for the idea of [[wisdom of the crowd]], for decision of [[Questio ...=https://muse.jhu.edu/article/240352|journal=Episteme: A Journal of Social Epistemology|volume=5|issue=1|pages=56–73|doi=10.1353/epi.0.0023|s2cid=9214091|issn=1750 ...

...logic (or "dialectic") within the context of their theory of language and epistemology.<ref name="otoolejennings400">{{Harvnb|O'Toole|Jennings|2004|p=400}}</ref> ..., unlike the [[Logical disjunction|inclusive or]] generally used in modern formal logic.<ref>{{Harvnb|Inwood|2003|p=231}}</ref> These connectives are combine ...

...s between the DSRP ''theory'' and the DSRP ''method''. The theory is the [[Formal system|mathematical formalism]] and philosophical underpinnings, while the ...of [[Constructivism (learning theory)|constructivism]] and [[evolutionary epistemology]]. The DSRP method is used in education and has influenced [[educational re ...

...as a [[countable noun]], the term "a logic" refers to a specific logical [[formal system]] that articulates a [[proof system]]. Logic plays a central role in ...c and apply it to other fields, such as [[metaphysics]], [[ethics]], and [[epistemology]]. Deviant logics, on the other hand, reject certain classical intuitions a ...

...atics and new mathematics that homotopical types make possible); and the [[Formal proof|formalization]] of each of these in computer [[proof assistant]]s. ...-editors = 3 |editor4-last = Sundholm |editor4-first = G. |series = Logic, Epistemology, and the Unity of Science |citeseerx = 10.1.1.750.3626 |s2cid = 4499538 }} ...

...p://www.maths.manchester.ac.uk/~jeff/lecture-notes/fewst.pdf Munich Formal Epistemology Workshop Slides]'' (PDF). ...

...similarity and difference of any pair in the minimum triple. However, his formal methods denied the competence of mathematics or digital serial and parallel In experimental [[Epistemology]] Pask, the "philosopher mechanic", produced a tool kit to analyse the basi ...

...s of experimentation and inquiry. Rather than seeing it as synonymous with formal political institutions, Dewey instead thought of democracy as a "mode of as ...|doi=10.3366/epi.2006.3.1-2.8 |s2cid=49329745 }}</ref> Rather than rely on formal theorems as the previous arguments do, the experimental model instead sees ...

...}).</ref> are traditionally credited with independently giving the modern "formal" definition of a function as a [[relation (mathematics)|relation]] in which De Morgan's 1847 "FORMAL LOGIC OR, The Calculus of Inference, Necessary and Probable" observes that ...

...ecognized hierarchy in the educational system.<ref name=berkey-ed /> While formal studies in madrasas were open only to men, women of prominent urban familie === Epistemology === ...

{{defn |1=A rule of inference in formal logic where from any proposition, a disjunction can be formed by disjoining {{defn |1=A type of quantifier in formal logic that allows for the expression of dependencies between different quan ...

...|quote=Mathematics&nbsp;... is simply the study of abstract structures, or formal patterns of connectedness.}}</ref> [[space]] ([[geometry]]),<ref name=OED/> ...'matrices'') is a [[rectangular]] array or table of [[number]]s, [[symbol (formal)|symbol]]s, or [[expression (mathematics)|expression]]s, arranged in rows a ...

...ter 1; Alfred Sohn-Rethel, ''Intellectual and manual labour: a critique of epistemology''. London: Macmillan, 1978; Craig Pritchard, "Value: an inquiry into relati ...want, within the framework of laws, customs and norms (Marx discusses the formal equality of market actors in exchange more in chapter 2 of ''[[Capital, Vol ...