ConferenceCall 2025 03 05 - Revision history

Forum: /* Discussion */

2025-04-08T00:44:17Z

Discussion

← Older revision		Revision as of 00:44, 8 April 2025
Line 33:		Line 33:

	== Discussion ==		== Discussion ==
			12:05 Bobbin Teegarden: Is a holon just another concept of a 'set'?

			12:10 Ravi Sharma: Does operation mean a function as you put process after that?<br/>
			12:13 Ravi Sharma: Many languages distinguish 1, 2 and many as well differentiate genders 3 types.

			12:13 Mike Bennett: An interesting feature of language is that we treat zero as a plural e.g. there are zero marbles.

			12:14 Bobbin Teegarden: Reacted to "An interesting featu..." with 👍

			12:15 Alican Tuezuen: Isn't the construction is through the "induction"? Maybe a very naive one

			12:21 Ravi Sharma: what about incremental construction of holistic progression? how do you specify this dynamics?<br/>
			12:23 Ravi Sharma: Is intdeterministic same or different than stochastic?<br/>
			12:30 Ravi Sharma: Tensors and matrices of relativity certainly imply existing together?

			12:32 Greg Sharp: How is “Tag” on a union distinct from an adjunction?

			12:42 Ravi Sharma: Is mereology then intensional only?<br/>
			12:47 Ravi Sharma: Extensibility would imply concatenation as nary collection?

			12:48 Greg Sharp: What distinguishes the construction of a class (intensional or extensional) from the construction of a collection?<br/>
			12:48 Greg Sharp: Can you say more on the role of identity in regulating the constructive process?

			12:54 Mike Bennett: Can you say a little on how this fits into Chris Partridge's notion of an extensional ontology?

			12:56 Gary Berg-Cross: I may have to leave so I'l put my Q here it relates to Mike Gruninger's talk that the sixth problem posed by Hilberth that has never been adequately addressed. Many of us are interested in sets of physical objects and their intensional definitions
			* Does plural logical speak to the Mathematical treatment of the axioms of physics?
			* 13:15 janet singer: Gary’s question also on physics relevant here

			13:00 Greg Sharp: Can an intensional set whose stages of change are tracked (by say, an adjunction) be treated as a set of extensional sets?

			13:05 Douglas Miles: Usually mathematics is just example of a sanity test for real KR&R<br/>
			13:05 Douglas Miles: I mean that Mathematics is supposed to be the easiest minimal test case because we dont have to get very esoteric <br/>
			13:08 Douglas Miles: I am glad the speaker is happy to embrace the Intensional! It is refreshing<br/>
			13:10 Douglas Miles: Can everyhting that is normally worked with extensionally initlaly be converted to intensional first so you can use a more powerfull/careful/robust approach? Even equality? <br/>
			13:13 Douglas Miles: (no mic.. Would someone ask the previous question for me?)
			13:21 Douglas Miles: Right Intensional logic is more tolerant (Elaboration Tolerant!)

			13:11 Alican Tuezuen: Thank you for the insights! Need to leave for another meeting

	== Resources ==		== Resources ==

Forum at 20:12, 20 February 2025

2025-02-20T20:12:11Z

← Older revision		Revision as of 20:12, 20 February 2025
Line 31:		Line 31:
	* Expected Call Duration: 1 hour		* Expected Call Duration: 1 hour
	{{:OntologySummit2025/ConferenceCallInformation}}		{{:OntologySummit2025/ConferenceCallInformation}}

	~~== Participants ==~~

	== Discussion ==		== Discussion ==

Forum: /* Agenda */

2025-02-20T20:11:54Z

Agenda

← Older revision		Revision as of 20:11, 20 February 2025
Line 21:		Line 21:

	== Agenda ==		== Agenda ==
	~~TBA~~		'''Øystein Linnebo'''
			* Title: ''Constructional ontology and criteria of identity''
			* Abstract: Gödel and others have suggested that a set can be regarded as constructed from its elements. Given any objects, we can apply the “set of” operation to construct the set of these objects. Inspired by Gödel’s suggestion, this talk presents a far more general constructional approach to ontology. First, I clarify what it is for some objects to be “constructed” from others. The key is that all truths about the “new” objects that are constructed must reduce to truths about the “old” objects on which the construction is based. Then, I explain the central role of criteria of identity in the constructional approach. When constructing “new” objects, it is particularly important to stipulate what it takes for them to be identical or distinct. A variety of examples are provided, including mereological sums, ordered pairs, as well as cardinal and ordinal numbers. Finally, I present a logical framework in which this constructional approach can be developed. In this framework, a large and natural family of forms of construction can be proved to be consistent.

	== Conference Call Information ==		== Conference Call Information ==

Forum: Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Track 2 |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::05 Mar 2025 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Alex Shkotin |} = Ontology Summit 2025 {{#show:{{PAGENAME}}|?session}}..."

2025-01-14T02:26:54Z

Created page with "{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10" |- ! scope="row" | Session | session::Track 2 |- ! scope="row" | Duration | duration::1 hour |- ! scope="row" rowspan="3" | Date/Time | has date::05 Mar 2025 17:00 GMT |- | 9:00am PST/12:00pm EST |- | 5:00pm GMT/6:00pm CET |- ! scope="row" | Convener | Alex Shkotin |} = Ontology Summit 2025 {{#show:{{PAGENAME}}|?session}}..."

New page

{| class="wikitable" style="float:right; margin-left: 10px;" border="1" cellpadding="10"
|-
! scope="row" | Session
| [[session::Track 2]]
|-
! scope="row" | Duration
| [[duration::1 hour]]
|-
! scope="row" rowspan="3" | Date/Time
| [[has date::05 Mar 2025 17:00 GMT]]
|-
| 9:00am PST/12:00pm EST
|-
| 5:00pm GMT/6:00pm CET
|-
! scope="row" | Convener
| [[convener::AlexShkotin|Alex Shkotin]]
|}

= [[OntologySummit2025|Ontology Summit 2025]] {{#show:{{PAGENAME}}|?session}} =

== Agenda ==
TBA

== Conference Call Information ==
* Date: '''Wednesday, 05 Mar 2025'''
* Start Time: 9:00am PST / 12:00pm EST / 6:00pm CET / 5:00pm GMT / 1700 UTC
** ref: [http://www.timeanddate.com/worldclock/fixedtime.html?month=3&day=5&year=2025&hour=12&min=00&sec=0&p1=179 World Clock]
* Expected Call Duration: 1 hour
{{:OntologySummit2025/ConferenceCallInformation}}

== Participants ==

== Discussion ==

== Resources ==

== Previous Meetings ==
{{#ask: [[Category:OntologySummit2025]] [[Category:Icom_conf_Conference]] [[<<ConferenceCall_2025_03_04]]
|?|?Session|mainlabel=-|order=desc|limit=3}}

== Next Meetings ==
{{#ask: [[Category:OntologySummit2025]] [[Category:Icom_conf_Conference]] [[>>ConferenceCall_2025_03_06]]
|?|?Session|mainlabel=-|order=asc|limit=3}}

[[Category:OntologySummit2025]]
[[Category:Icom_conf_Conference]]
[[Category:Occurrence| ]]