Search results
Jump to navigation
Jump to search
- {{main|Keynote lectures/Astronomy}} '''Notation''': let the symbol <math>\oplus</math> indicate the [[Keynote lectures/Earth|Earth]]. ...11 KB (1,621 words) - 02:22, 1 December 2020
- W.F. Lawvere: 1963. Functorial Semantics of Algebraic Theories. ''Proc. Natl. Acad. Sci. USA'' , 50: 869--872 John E. Roberts. More lectures on algebraic quantum field theory. In ...7 KB (873 words) - 16:14, 12 September 2020
- ...ronomy resources}}{{tlx|Reasoning resources}}{{tlx|Repellor vehicle}}{{tlx|Semantics resources}}{{tlx|Technology resources}}{{tlx|Terminology resources}}{{tlx|U [[Category:Abstractions/Lectures]] ...22 KB (3,213 words) - 02:22, 1 December 2020
- ...87. "Elementary Particles and the Laws of Physics: The 1986 Dirac Memorial Lectures". Lawvere, F. W., *Functorial Semantics of Algebraic Theories, ...7 KB (928 words) - 05:21, 12 September 2020
- ==Semantics== * [[Draft:Original research/Semantics|Semantics]] (28 kB) (25 October 2019) ...37 KB (5,433 words) - 02:17, 30 April 2020
- {{tlx|Dominant group}}{{tlx|Linguistics resources}}{{tlx|Reasoning}}{{Semantics resources}}{{tlx|Terminology resources}}{{Sisterlinks|Rigorous definition}} [[Category:Dominant group/Lectures]] ...16 KB (2,461 words) - 01:51, 5 December 2020
- ...rd in modern times under the heading of ''semantics'', especially ''formal semantics'' and ''model theory''. Another association of longstanding interest is th * Dewey, J. (1900–1901), ''Lectures on Ethics 1900?1901'', Donald F. Koch (ed.), Southern Illinois University P ...36 KB (5,441 words) - 08:04, 18 December 2022
- ...[logic]] (the trivium), along with [[arithmetic]], [[geometry]], [[Keynote lectures/Astronomy|astronomy]] and [[School:Music and Dance|music]] (the quadrivium) * [[Draft:Original research/Semantics|Semantics]] (28 kB) (25 October 2019) ...43 KB (5,978 words) - 02:21, 1 December 2020
- Ghilardi, S., 1989, Presheaf Semantics and Independence Results for some Non-classical first-order logics, ...Nouns, Mass Nouns, and their Transformations: a Unified Category-theoretic Semantics, Language, Logic and Concepts'' , Cambridge: MIT Press, 427--452. ...39 KB (5,748 words) - 08:52, 20 April 2023
- | series = The Paul Carus Lectures {{Reasoning resources}}{{tlx|Semantics resources}}{{Sisterlinks|Logic}} ...37 KB (5,314 words) - 03:48, 16 December 2020
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77-94. Lawvere, F. W.: 1963, Functorial Semantics of Algebraic Theories, ...42 KB (6,254 words) - 04:48, 12 September 2020
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, (2): 77--94. Ghilardi, S., 1989, "Presheaf Semantics and Independence Results for some Non-classical first-order logics", Archiv ...55 KB (8,200 words) - 14:11, 6 May 2023
- Ghilardi, S., 1989, Presheaf Semantics and Independence Results for some ...Nouns, Mass Nouns, and their Transformations: a Unified Category-theoretic Semantics, in ''Language, Logic and Concepts'' , Cambridge: MIT Press, 427--452. ...48 KB (7,037 words) - 16:18, 4 October 2023
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77-94. Ghilardi, S., 1989, "Presheaf Semantics and Independence Results for some Non-classical first-order logics.", Archi ...64 KB (9,619 words) - 14:11, 6 May 2023
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77-94. Ghilardi, S., 1989, "Presheaf Semantics and Independence Results for some Non-classical first-order logics.", Archi ...65 KB (9,661 words) - 04:57, 12 September 2020
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77-94. Ghilardi, S., 1989, "Presheaf Semantics and Independence Results for some Non-classical first-order logics.", Archi ...66 KB (9,841 words) - 12:46, 6 May 2023
- ...s and Categoricity II. Twentieth-Century Metalogic to Twenty-first-Century Semantics, ''History and Philosophy of Logic'' , 23, 2, 77-94. Ghilardi, S., 1989, "Presheaf Semantics and Independence Results for some Non-classical first-order logics.", Archi ...66 KB (9,854 words) - 12:46, 6 May 2023
- ...the [[Harvard University]] Lectures of 1865 and the [[Lowell Institute]] Lectures of 1866. There he sums up the characters of the three kinds of reasoning i Early in the first series of lectures Peirce gives a very revealing illustration of how he then thinks of the nat ...58 KB (7,631 words) - 14:59, 2 February 2021
- ...nd voiced the flawed argument in informal discussions (but not articles or lectures). Despite some awareness (but not professionalism) in mathematical logic,<r ...rence|refer]] to objects and relations between objects. The [[w:Extension (semantics)|extension]] of an expression is the corresponding ...189 KB (30,891 words) - 05:30, 18 June 2022